未调用rvalue引用的C++移动构造函数

Question

class MyClass {
  public:
      MyClass()
      {
          std::cout << "default constructor\n";
      }
      MyClass(MyClass& a)
      {
          std::cout << "copy constructor\n";
      }

      MyClass(MyClass&& b)
      {
          std::cout << "move constructor\n";
      } 
};  

void test(MyClass&& temp)
{
    MyClass a(MyClass{}); // calls MOVE constructor as expected
    MyClass b(temp); // calls COPY constructor... not expected...? 
}

int main()
{
    test(MyClass{});
    return 0;
}

对于上面的代码，我预期test()中的两个对象创建都会调用move构造函数，因为b是一个r值引用类型(MyClass&)。

但是，将b传递给MyClasss构造函数并不像预期的那样调用move构造函数，而是调用copy构造函数。

为什么第二种情况调用复制构造函数，即使传递的参数是MyClass&(r-值引用)？

我在用gcc 5.2.1。要复制我的结果，您必须将-fno-elide-constructors选项传递给gcc，以禁用复制省略优化。

void test(MyClass&& temp)
{
    if (std::is_rvalue_reference<decltype(temp)>::value)
        std::cout << "temp is rvalue reference!!\n";
    else
       std::cout << "temp is NOT rvalue!!\n";
}

上面的代码输出"temp是rvalue引用“，即使temp是命名的。

temp的类型是rvalue引用类型。

Answer 1

void ( MyClass && temp) { MyClass a(MyClass{})；//调用按预期移动构造函数MyClass b(temp)；//调用复制构造函数出乎意料.？

这是因为，temp (因为它有名称)是对rvalue的lvalue引用。若要在任何时候将其视为rvalue，请调用std::move

void test(MyClass&& temp)
{
    MyClass a(MyClass{}); // calls MOVE constructor as expected
    MyClass b(std::move(temp)); // calls MOVE constructor... :-) 
}