c++ - 在派生对象上 move 构造函数

Question

如果派生对象具有 move 构造函数，并且基对象也具有 move 语义，那么从派生对象 move 构造函数调用基对象 move 构造函数的正确方法是什么？

我首先尝试了最明显的事情:

 Derived(Derived&& rval) : Base(rval)
 { }

但是，这似乎最终调用了 Base 对象的 复制构造函数。然后我在这里明确地尝试使用 std::move ，如下所示:

 Derived(Derived&& rval) : Base(std::move(rval))
 { }

这行得通，但我很困惑为什么它是必要的。我认为 std::move 只是返回一个右值引用。但是由于在这个例子中 rval 已经是一个右值引用，所以对 std::move 的调用应该是多余的。但是如果我在这里不使用 std::move ，它只会调用复制构造函数。那么为什么需要调用 std::move 呢？

Answer 1

rval 不是右值。它是 move 构造函数体内的左值。这就是为什么我们必须显式调用 std::move。

请参阅 this .重要的提示是

Note above that the argument x is treated as an lvalue internal to the move functions, even though it is declared as an rvalue reference parameter. That's why it is necessary to say move(x) instead of just x when passing down to the base class. This is a key safety feature of move semantics designed to prevent accidently moving twice from some named variable. All moves occur only from rvalues, or with an explicit cast to rvalue such as using std::move. If you have a name for the variable, it is an lvalue.