C++中何时应将析构函数声明为=delete？相关惯用手法探讨

这个问题问得很精准——把析构函数标记为=delete确实是个有点反直觉但实用性拉满的C++技巧，先结合你提到的特性（栈对象没法声明，堆对象能new但不能delete），聊聊它的适用场景和行业里的惯用手法：

一、核心适用场景 #

• 强制对象走特定的生命周期管理流程
  有些类的对象，生命周期必须由专门的组件管控，比如资源池、工厂类或者底层操作系统API。举个例子：你写了一个内存池，对象的创建必须通过Pool::create()，销毁必须通过Pool::recycle()，这时候把析构函数=delete，就能从编译层面堵死用户直接delete对象或者声明栈对象的路子，必须按你设计的规则来。
  代码示例：

  class PoolObject {
  public:
      static PoolObject* create() {
          return new PoolObject(); // 只有池能创建
      }
      void recycle() {
          // 这里做池的回收逻辑，比如把对象放回空闲链表
          ::operator delete(this); // 绕开析构，直接释放内存
      }
      ~PoolObject() = delete; // 禁止用户销毁
  private:
      PoolObject() = default; // 私有构造，强制走create
  };
  

• 禁止对象被销毁（单例/永久服务类）
  有些单例或者全局服务类，我们希望它从程序启动到结束一直存在，压根不需要销毁。把析构函数=delete后，不管是有人想delete单例指针，还是不小心声明了局部单例对象，编译阶段直接报错。这种情况下不用怕内存泄漏，程序退出时操作系统会自动回收内存。
• 绑定硬件/特殊内存的不可销毁对象
  比如某些和硬件寄存器绑定的对象，或者内存被映射到只读区域的对象——销毁这类对象要么会触发硬件错误，要么就是非法内存操作。用=delete析构函数，能在编译期就把所有销毁尝试拦下来，比运行时加判断靠谱多了。

二、惯用手法 #

• 私有构造+delete析构，实现完全的生命周期管控
  这是最常见的组合：把构造函数设为私有，只暴露静态创建方法；析构函数=delete，只提供自定义的销毁接口。这样用户完全没法绕过你的规则创建/销毁对象，从根源上避免误操作。
• “一次性初始化”的永久对象
  比如程序启动时需要执行一些全局初始化逻辑，加载配置、启动后台服务之类的，这时候可以创建一个这样的对象：

  class AppInitializer {
  public:
      AppInitializer() {
          load_config();
          start_background_service();
      }
      ~AppInitializer() = delete; // 禁止销毁
  };
  
  // 程序启动时创建，一直活到结束
  static AppInitializer* app_init = new AppInitializer();
  

  这里不需要销毁，操作系统会兜底，=delete也防止有人瞎删。
• 防止意外的对象切片（小众但有用）
  如果基类析构被=delete，派生类要是试图创建栈对象或者被delete，编译会直接报错。这个场景不算常用，但可以用来强制派生类必须遵循基类的生命周期规则。

注意事项 #

划重点：析构=delete后，堆对象虽然能new，但绝对不能用delete销毁，所以必须配套自定义的销毁逻辑（比如上面的recycle()），不然肯定内存泄漏。另外，这类对象也不能用智能指针（比如std::unique_ptr会自动调用delete，编译直接炸），只能用裸指针配合自定义销毁接口。

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