c++ - 了解返回时的右值引用

Question

例如我有如下代码

//g++  5.4.0

#include <iostream>

struct data
{
    int n;
    data()
    {
        std::cout << "data()\n";
    }
    data(const data&)
    {
        std::cout << "data(const data&)\n";
    }
    data(data&&)
    {
        std::cout << "data(data&&)\n";
    }
};

class container
{
    data d;    
public:
    data getData()
    {
        return std::move(d);
    }
};

int main()
{
    container c;
    data result = c.getData();
}

输出是:

data() 
data(data&&)

我不明白它是如何工作的。我没有将返回类型声明为 data&&，但移动构造函数可以很好地处理结果。是的，代码是 std::move(d) 但返回类型不是 data&&。那么它是怎样工作的？

Answer 1

此答案更改为 c++17 .

data getData()
{
    return std::move(d);
}

此方法将 d 移动到其返回值中。

data x = foo.getData();

这一个从getData 的返回值构造x。但是，如果 getData 返回纯右值(匹配的值类型)，C++ 标准鼓励并允许省略 这种结构。 Elision是指将返回值的identity和lifetime与x合并。只有一个对象存在，而不是两个。

这允许跳过副作用，例如移动构造函数中的打印语句。

所以d是被移动的对象，移动直接构造了x。

如果您将 getData 更改为返回 data&&，那么现在在 getData 内部没有进行任何移动，但是在构造 时在外部进行了一次移动x.

在c++17 getData 的返回值从来都不是一个对象，它是一个纯右值，并且纯右值在 c++17 中更像是创建对象的指令。实际上省略不再是可选的。