按值返回的函数的值类别总是xvalue吗？

Question

根据我的理解，下面的代码应该调用 Test 类的移动构造函数，因为这个函数是按值返回的，这意味着表达式 GetTestObj() 应该是右值并且 xvalues 被隐式移动但是为什么这段代码调用复制构造函数？

class Test
{
  public:
         Test()
         {
         }
         Test(const Test& arg)
         {
            std::cout<<"Copy Constructor Called..."<<std::endl;
         }
         Test(Test&& arg)
         {
            std::cout<<"Move Constructor Called..."<<std::endl;
         }
};

Test  GetMyTestObj()
{
      Test *ptr = new Test();
      return *ptr;
}
Test dummy = GetMyTestObj(); //Copy Constructor Called...

Answer 1

在您的代码中，实际上有一份从*ptr 复制到返回值，还有一份从GetMyTestObj() 移动到dummy。但是，编译器elides 移动了，所以您不会看到它被跟踪。如果您将 -fno-elide-constructors 传递给 GCC 或 Clang，那么您应该会看到副本和移动 (demo)。

如果要构造返回值来移动，需要使用std::move：

Test GetMyTestObj()
{
      Test *ptr = new Test();
      return std::move(*ptr);
}

但是，在这种情况下确实不需要动态分配；它效率低下，并且您的实现会泄漏内存。你应该只使用一个自动变量：

Test GetMyTestObj()
{
    Test test;
    //I assume you're doing something else here
    return test;
}

使用上面的代码，编译器实际上可以省略这两种结构。

如果你在那个函数中什么都不做，你应该直接构造dummy：

Test dummy{};

Answer 2

值没有被复制到这里（由于复制省略，没有调用构造函数）：

Test dummy = GetMyTestObj();

但在这里：

return *ptr;

因为函数必须从左值引用生成右值对象。基本上，这种情况下的GetMyTestObj()函数相当于：

Test *ptr = new Test();
Test returnValue(*ptr);
return returnValue;

Answer 3

这意味着表达式GetTestObj() 应该是右值并且xvalues 被隐式移动

首先，直接回答您的问题，GetTestObj() 是prvalue。

• 函数调用或非引用返回类型的重载运算符表达式，例如str.substr(1, 2)、str1 + str2 或it++；

重点是return *ptr;需要复制/移动操作； ptr 是一个命名变量，它是一个lvalue。 *ptr 也是左值，不能移动。

您可以显式使用std::move 使其成为可移动的xvalue：

return std::move(*ptr);