该函数返回的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视为rvalue引用。 所以我期望Widget w(make_widget())调用移动构造函数。 但事实并非如此。 此外，它只打印

Default

所以我不知道调用了哪个版本的构造函数。 然后我也尝试显式返回rvalue。 也就是说， return std::move(w) 。 考虑到上述结果，我的预期正确，它正确地称为移动构造函数，并打印

Default
Move

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

Answer 1

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

不，我相信作者并不是这个意思。 RVO与某些rvalue参考无关。 make_widget和main的w是Widget类型的左值。 如果您有类型的变量Widget&& ，它的价值类是左值（因为它有一个身份）和它的类型是右值引用。

您看到的Default是由于Widget w; 在make_widget()里面。 由于返回值优化，避免了将其复制到main的w的操作，因此您不会再看到任何内容。 如果你想看到没有RVO的输出，那么如果你使用它就把-fno-elide-constructors传递给g++ （用VC ++禁用RVO 是不可能的 ），你会看到

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)用于返回与右值构成创建临时的，因此你看到在输出额外的移动 。