为什么要使用 const 进行隐式转换？

Question

在大量阅读ISO/IEC 14882, Programming language – C++ 之后，我仍然不确定为什么需要const 来隐式转换为具有如下单参数构造函数的用户定义类型

#include <iostream>

class X {
public:
   X( int value ) {
      printf("constructor initialized with %i",value);
   }
}

void implicit_conversion_func( const X& value ) {
   //produces "constructor initialized with 99"
}

int main (int argc, char * const argv[]) {
   implicit_conversion_func(99);
}

从第 4 节第 3 行开始

表达式 e 可以隐式转换为类型 T 当且仅当声明 T t=e;对于一些发明的临时变量 t (8.5) 是良构的。某些语言结构要求将表达式转换为布尔值。出现在这种上下文中的表达式 e 被称为在上下文中转换为 bool 并且当且仅当声明 bool t(e);对于一些发明的临时变量 t (8.5) 是良构的。任一隐式转换的效果与执行声明和初始化，然后使用临时变量作为转换的结果相同。如果 T 是左值引用类型 (8.3.2)，则结果为左值，否则为右值。当且仅当初始化将其用作左值时，表达式 e 才用作左值。

随后我在 8.5 第 6 行中找到了与用户定义类型相关的初始化程序部分

如果程序要求对 const 限定类型 T 的对象进行默认初始化，则 T 应是具有用户提供的默认构造函数的类类型。

最后，我在 12.3 第 2 行结束了关于用户定义转换的说明

用户定义的转换仅适用于明确的情况（10.2、12.3.2）。

不用说，10.2 和 12.3.2 没有回答我的问题。

1. 有人能解释一下const 对隐式转换的影响吗？
2. const 的使用是否使转换在 12.3 第 2 行“明确”？
3. const 是否会影响第 4 节中讨论的左值和右值？

Answer 1

这与转换是隐式并没有太大关系。此外，它与转换 并没有太大关系。这真的是关于 rvalues 与 lvalues。

当您将99 转换为X 时，结果是一个右值。在 C++ 中，转换的结果始终是右值（除非您转换为引用类型）。在 C++ 中，将非常量引用附加到右值是非法的。

例如，这段代码不会编译

X& r = X(99); // ERROR

因为它试图将非常量引用附加到右值。另一方面，这段代码很好

const X& cr = X(99); // OK

因为将 const 引用附加到右值是完全可以的。

同样的事情也会发生在您的代码中。它涉及隐式转换的事实有点无关紧要。您可以用显式替换隐式转换 一个

implicit_conversion_func(X(99));

并以同样的情况结束：使用const 编译，没有const 它没有。

同样，转换（显式或隐式）在这里扮演的唯一角色是它帮助我们产生一个右值。通常，您可以通过其他方式生成右值并遇到相同的问题

int &ir = 3 + 2; // ERROR
const int &cir = 3 + 2; // OK

Answer 2

根据第 5.2.2 节第 5 节，当函数的参数是 const 引用类型时，如果需要，会自动引入临时变量。在您的示例中，必须将X(99) 的右值结果放入一个临时变量中，以便该变量可以通过const 引用传递给implicit_conversion_func。