没有 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;
};

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

第二次调用也是如此，只是调用移动赋值运算符而不是移动构造函数。 离开 main 方法，在c 上调用析构函数。

---

现在有趣的部分来了：

#include "widget.h"

auto main() -> int {

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

    return 0;
};

如果我忽略了对std::move 的调用，第一种情况将停止工作并只调用一个构造函数。而第二种情况仍然像以前一样工作。

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

Answer 1

widget()是纯右值（prvalue），所以在行

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

它将被移动。但是，编译器只执行copy/move elision。使用-fno-elide-constructors 进行编译，您将看到对移动构造函数的调用的所有荣耀。

每当您明确使用std::move 移动prvalue 时，您都不允许编译器执行省略；这就是为什么您在第一个 sn-p 中看到移动构造函数的原因。这就是为什么尝试通过使用 std::move 作为返回值来“帮助”编译器几乎总是一个坏主意（除非你真的想返回一个右值引用）。