c++ - move 构造函数是否必须调用 std::move()？

Question

我在我们的项目中遇到了这样的代码:

class A {
public:
  A(A&& obj): valid_(false), data_(obj.data_) {}
  //...
  void print() {
    for (auto x : data_) cout<<x<<" ";
    cout<<endl;
  }
private:
  bool valid_;
  vector<int> data_;
};

这是 move 构造函数的有效实现吗？在这种情况下，是否必须对 move 构造函数中的成员变量使用 std::move()？

Answer 1

重要的是要记住“左值”和“右值”以及其他“*值”的组合不适用于变量，而是应用于表达式。

表达式 obj.data_ 是一个左值表达式，最简单的方法是认为 &obj.data_ 是格式正确的，而取地址右值表达式不是。

要允许应用 move 语义，您必须获取此左值表达式的结果并通过 std::move 对其进行转换，以便它是 move 语义的右值表达式(对于任何类型的数据_恰好是)实际适用。

因此，是的，您必须应用 std::move。