不带std:：move[重复]的右值引用

Question

我有以下课程

class widget {
// The methods only print their name, i.e. c'tor, destructor etc.
public:
    widget();
    widget(const widget&);
    widget(widget&&);
    ~widget();
    auto operator=(const widget&)  -> widget&;
    auto operator=(widget&&) -> widget&;
};

我在下面的代码中使用

#include "widget.h"

auto main() -> int {

    widget c(std::move(widget()));
    c = std::move(widget());

    return 0;
};

由此产生的行为对我来说是可以理解的。在第一次调用中，构造一个小部件，然后调用移动构造函数，并在临时小部件上调用析构函数。

第二个调用也执行相同的操作，除了调用move赋值运算符而不是move构造函数。离开main方法，析构函数在＜code＞c＜code＞上调用。

现在是有趣的部分：

#include "widget.h"

auto main() -> int {

    widget c((widget()));
    c = widget();

    return 0;
};

如果我省略了对< code>std::move的调用，第一种情况会停止工作，只导致一次构造函数调用。而第二种情况仍然像以前一样工作。

我在这里错过了什么？为什么这两个函数调用以不同的方式处理它们的参数？我在gcc和clang上尝试了这个。

Answer 1

widget（）是一个纯右值（prvalue），因此

widget c((widget())); // use widget c{widget()} or c{widget{}} for more clear code

它将被移动。但是，编译器只执行复制/移动省略。使用＜code＞-fno-elide构造函数进行编译

每当您显式使用< code>std::move来移动prvalue时，您就不允许编译器执行省略；这就是为什么您会在第一个代码片段中看到move构造函数。这就是为什么试图通过使用< code>std::move作为返回来“帮助”编译器几乎总是一个坏主意(除非你真的想返回一个右值引用)。