C++中在对象析构函数内移动该对象是否安全？

我99%确定答案是‘是’，但想再次验证假设是否正确，同时确认未来C++标准是否会改变相关规则（比如是否真的会引入破坏性移动）。我的场景如下：

我有一个由std::shared_ptr<Request>管理生命周期的Request类型对象。当该对象即将销毁（即引用计数为0，std::shared_ptr调用~Request析构函数）时，我需要检查某个条件，并创建一个拥有完全相同数据的Request新实例，本质是要延长订阅。我认为最简便的方式是调用Request类的移动构造函数：

Request::~Request()
{
  if(condition)
  {
    service.subscribe(std::make_shared<Request>(std::move(*this)));
  }
}

据我所知，在析构函数的上下文环境中，Request实例的所有数据成员仍处于存活状态，尚未被销毁，因此将它们移动到别处应该是安全的？我的假设是否符合C++的设计理念，没有做错误操作？

回答 #

你的做法是安全且完全符合C++标准设计理念的，具体分析如下：

1. 对象生命周期的合法性
   在析构函数执行期间，当前对象（包括所有非静态数据成员）仍然处于存活状态，直到析构函数的代码完全执行完毕。此时调用std::move(*this)将对象资源转移给新实例，完全符合C++对象生命周期规则——移动操作只会转移资源，不会提前销毁当前对象的成员，而析构函数后续的执行就是正常清理剩余状态，不会产生冲突。

2. 移动后的对象状态合规
   移动构造函数执行后，当前对象会进入“可析构但不可被其他操作使用”的合法状态，这正好适配析构函数的场景：因为析构函数接下来的工作就是销毁对象，不会再对它进行任何读写操作，所以完全不需要担心移动后的状态问题。

3. 关于未来C++标准的变化
   目前C20、C23标准都没有引入所谓“破坏性移动”的规则，而且从C的设计原则来看，这种会打破对象生命周期基本保证的特性几乎不可能被加入标准。C始终坚持：对象在析构函数执行期间保持完整，直到析构完成才真正结束生命周期。

额外注意事项 #

• 确保Request的移动构造函数实现正确：它应该转移资源而非复制，并且保证移动后的源对象可以安全析构。如果成员都是标准库类型（如std::string、std::vector），它们的移动构造已经满足要求，无需额外处理。
• 注意service.subscribe的异常安全性：析构函数中抛出未捕获的异常会直接导致程序终止，因此要么确保subscribe是noexcept的，要么在析构函数内部捕获并处理异常。

内容的提问来源于stack exchange，提问作者Dmytro Ovdiienko