Question

为什么我传递给ClassA的构造函数的对象被认为是rvalue（临时）？我知道将参数设置为const会使错误消失，但我想了解发生了什么。

此行为适用于函数调用但不适用于构造函数？

#include <iostream>

using namespace std;

class ClassA {
public:
   ClassA() {}
   ClassA(ClassA&) {}
};

void f(ClassA&) {}

int main() {
   ClassA a;

   // Invalid initialization of non-const reference of type 'ClassA&' from an
   // rvalue of type 'ClassA'
   ClassA b = ClassA(a); 

   // Works fine
   f(a);

   return 0;
}

Answer 1

这里的右值是ClassA(a)表达式。

ClassA b = ClassA(a);

这是复制初始化，因此它将尝试调用ClassA的复制构造函数，其结果为ClassA(a)，这是一个右值。您已声明复制构造函数采用ClassA&，它不能绑定到rvalues，因此您会收到错误。

正如您所指出的，最好的解决方法是将const添加到复制构造函数中，以便它可以绑定到rvalues，但您也可以使用直接初始化或复制初始化而不进行类型转换：

ClassA b (a);
ClassA b {a}; //C++11
ClassA b = a;

请注意，虽然ClassA b = ClassA(a);需要有效的复制构造函数，但副本可能是elided。这当前是可选的，但有时可能会mandatory。

为什么这个对象被认为是右值？

1 个答案: