返回值还是右值引用？

Question

在 Scott Meyer 的新书中，他提出了一个右值引用限定符的示例用法，如下所示：

class Widget {
private:
    DataType values;

public:
    DataType& data() &  { return values; } 
    DataType  data() && { return std::move(values); } // why DataType?
};

这样：

auto values = makeWidget().data();

移动构造 values 而不是复制构造它。

为什么右值引用限定的data() 返回DataType 而不是DataType&&？在这种情况下，auto 仍会推断出DataType（尽管decltype(auto) 不会 - 但这不是更喜欢返回值而不是 ravlue ref 的唯一原因）。 This 高度投票的答案返回一个右值引用，这在概念上对我来说更有意义。

Answer 1

DataType data() && { return std::move(values); } // why DataType?

auto values = makeWidget().data();

保存返回值的临时变量将通过移动构造函数初始化，从move(values)复制初始化。

然后临时初始化values，但由于makeWidget().data() 是一个右值（准确地说是纯右值），因此再次调用移动构造函数 - 将临时值作为其参数。

现在考虑copy-elision：

当一个未绑定到任何引用的无名临时对象将被移动时 或复制到相同 cv 非限定类型的对象中， 复制/移动被省略。当那个临时的被建造时，它是 直接在仓库中建造，否则它会被移动 或复制到。当无名临时变量是返回的参数时 声明，这种复制省略的变体被称为 RVO，“返回值 优化”。

因此，第二步将（可能）被完全忽略，只剩下一个 - 如果返回类型是右值引用，我们无论如何都会拥有这个。

返回右值引用的问题在于，如果我们写

auto&& values = makeWidget().data();

values 将悬空，因为将 xvalue 绑定到引用不会延长任何东西的生命周期。当我们返回对象类型时，临时对象的生命周期就会延长。

Answer 2

auto&& 如果返回右值引用，将被破坏。在这种特殊情况下，链接的答案被破坏了。

这里的核心问题是您可以重载左值或右值，但实际上您可能想了解三个值类别 - 值、左值和右值。 C++在调用成员函数的时候不区分值和右值，所以你无法知道返回右值引用是否正确。无论您做出何种决定，都可以轻松构建不起作用的示例。