符合C++标准的类成员std::move移出操作正确性探究

1. 示例代码中的std::move是否符合C++标准？ #

完全符合。

虽然类C显式禁用了移动构造函数和移动赋值运算符，但这只是禁止整个C对象被移动。在成员函数give_data中，通过std::move(_data)将内部的unique_ptr<int>成员移出是合法的：

• unique_ptr本身是可移动类型，移动操作会转移其持有的指针所有权，同时将原unique_ptr置为nullptr。
• 这里只是操作类的成员变量，并没有触发整个C对象的移动语义，因此不受类级别的移动禁用限制。

这段代码编译运行均合法，main函数中能正确获取到值为42的int指针。

2. STL对象移动后“有效但未定义状态”的规则是否具有普遍性？ #

这个规则是STL容器和类型的约定，但并非C++标准强制要求所有自定义类必须遵守的规则。

C++标准仅要求：被移动后的对象必须处于可析构的状态，同时可以安全执行那些不依赖对象当前值的操作（比如给它赋值新值）。而STL进一步约定，移动后的对象处于“有效但未定义”状态——即对象的类不变式仍然成立，但具体的值未定义（比如移动后的vector可能为空，也可能保留原数据，具体实现由STL厂商决定）。

对于自定义类来说，遵循这个惯例是更合理的选择：这能让用户对类的行为有一致预期，避免误用移动后的对象导致意外问题。

3. 如何优化上述实现？ #

可以从以下几个角度优化：

• 明确类的不变式：确保C类在_data被移出后仍满足类的不变式。比如C的设计是否允许_data为nullptr？如果允许，当前实现已满足；如果不允许，需要在give_data调用后要么禁止对C对象的后续使用，要么提供恢复_data状态的方法。
• 考虑开放移动语义（如果业务允许）：如果C对象本身可以被移动，无需禁用移动构造和赋值。这样可以直接通过std::move(obj)将整个对象的资源转移，无需单独的give_data函数，代码会更简洁。
• 添加状态检查（可选）：如果后续可能对C对象进行操作，可以在类的其他成员函数中添加断言或检查，比如：

  void do_something() {
      assert(_data != nullptr && "C object's data has been moved out");
      // ... 操作_data
  }
  

  这样能提前发现误用移动后对象的问题。
• 保留[[nodiscard]]增强安全性：当前give_data已经使用[[nodiscard]]，这一设计很好，可以防止调用者意外忽略返回的unique_ptr，避免资源泄漏。

内容的提问来源于stack exchange，提问作者Thomas Maierhofer