动态分配Widget时，std::move移动右值到类成员的安全性疑问

我见过如下使用std::move处理右值来为类成员赋值的C++代码：

class Widget {
  std::vector<int> m_data{};

public:
  // 1. 正常工作
  // x的内容会被本地复制，必要时m_data会扩容
  void set_data(const std::vector<int>& x) {
    m_data = x;
  }

  // 2. x会生成一个右值并被移动到m_data中。若Widget是动态分配的会怎样？
  void set_data(std::vector<int> x) {
    m_data = std::move(x);
  }

  // 3. x是调用前生成的右值。若Widget是动态分配的会怎样？
  void set_data(std::vector<int>&& x) noexcept {
    m_data = std::move(x);
  }
};

Widget* pW = new Widget{};
pW->set_data(std::vector<int>{1, 2, 3});

我无法理解第2和第3种实现。当Widget的作用域与传递给set_data()的右值不同时，如何能安全地将右值移动到类成员中？

编辑：经user17732522指出原代码传递的是左值而非右值，已修正代码。

核心解释：移动语义的本质与对象生命周期 #

移动操作的安全性和对象作用域无关，只和被移动对象的生命周期有效性有关——只要移动发生时，被移动对象还处于存活状态，操作就是安全的。下面分别拆解两种实现：

第2种实现：值传递+移动赋值 #

void set_data(std::vector<int> x) {
  m_data = std::move(x);
}

当调用pW->set_data(std::vector<int>{1, 2, 3})时：

1. 实参是临时右值std::vector<int>{1,2,3}，它会被移动构造到函数形参x中（而非复制，右值会触发移动语义）。
2. x是函数内部的局部对象，生命周期覆盖整个函数执行过程。执行m_data = std::move(x)时，x显然处于存活状态，移动操作合法。
3. 移动赋值仅会把x内部的资源（比如堆内存指针）转移给m_data，之后x进入“有效但未定义”的状态，但这不会影响m_data——m_data是类成员，生命周期和动态分配的Widget对象一致（直到delete pW）。
4. 哪怕Widget是动态分配的，只要set_data执行时Widget对象存在，m_data就能正常接收资源，完全不受作用域差异影响。

第3种实现：右值引用参数+移动赋值 #

void set_data(std::vector<int>&& x) noexcept {
  m_data = std::move(x);
}

这种逻辑更直接：

1. 临时右值std::vector<int>{1,2,3}会被绑定到右值引用x上，C++标准规定临时对象的生命周期会被延长到引用的生命周期结束，也就是整个set_data函数执行期间。
2. 执行m_data = std::move(x)时，临时对象仍然存活，移动操作安全。资源从临时对象转移到m_data后，临时对象会在函数返回时销毁，但此时m_data已经持有完整资源，不受原对象销毁的影响。
3. 动态分配的Widget只是让m_data的生命周期更长，移动操作本身的安全性只由操作瞬间原对象的有效性决定，和两者的作用域差异无关。

总结 #

不管是值传递还是右值引用传递，移动操作发生时被移动的对象（局部形参或被引用的临时对象）都处于有效生命周期内，资源转移完成后，原对象的销毁不会影响类成员m_data。动态分配的Widget不改变移动操作的安全性逻辑，只是延长了m_data持有资源的时间。

内容的提问来源于stack exchange，提问作者Robert Kubrick