函数返回的 RVO 和 rvalue 是如何工作的？

Question

为了了解编译器如何选择类的构造函数，我编写了以下代码：

#include <iostream>

struct Widget
{
    Widget(Widget&& w){std::cout << "Move ctor" << std::endl;}
    Widget(void){std::cout << "Default ctor" << std::endl;}
    Widget(const Widget& w){std::cout << "Copy ctor" << std::endl;}
};

Widget make_widget(void) //helper function
{
    Widget w;
    return w;
}

int main(void)
{
    Widget w(make_widget());
}

根据 Effective Modern C++ 的第 25 项，由于返回值优化，编译器将 w 视为右值引用。所以我期望Widget w(make_widget()) 调用移动构造函数。但事实并非如此。此外，它只打印

Default

所以我不知道调用了哪个版本的构造函数。 然后我也尝试显式返回右值。即return std::move(w) . 考虑到上述结果，与我的预期相反，它正确调用了移动构造函数，并打印了

Default
Move

看来我正处于右值的迷宫中。请告诉我那里发生了什么。

Answer 1

根据 Effective Modern C++ 的第 25 项，由于返回值优化，编译器将 w 视为右值引用。

不，我确定作者不是那个意思。 RVO 与是否为右值引用无关。 make_widget 和 main 中的 w 是 Widget 类型的左值。如果你有一个Widget&& 类型的变量，它的值类别是左值（因为它有一个标识），它的类型是右值引用。

您看到的Default 是由于make_widget() 内部的Widget w;。由于返回值优化，避免了将其复制到main 中的w 的操作，因此您看不到更多内容。如果您想在没有 RVO 的情况下查看输出，则将 -fno-elide-constructors 传递给 g++（如果您使用它（使用 VC++ 禁用 RVO isn't possible），您会看到

Default (first creation)
Move    (creation of temporary with the move ctor)
Move    (copying of temporary to the one in main)

当您将return w 更改为return std::move(w) 时，为返回而创建的临时对象是使用右值构造的，因此您会在输出中看到一个额外的Move。