folly Indestructible的有效应用场景及是否会引发内存泄漏的问询

我接触到Folly库中的Indestructible特性，它是Meyers单例模式的替代方案，构造时能减少一次内存分配，访问时减少一次指针解引用。官方给出的对比示例如下：

这是Meyers单例模式的写法，Indestructible作为它的替代方案，能在构造时少一次内存分配，访问时少一次指针解引用：

void doSomethingWithExpensiveData() {
  static const auto data =  // 永远不会被delete
      new map<string, int>{{"key1", 17}, {"key2", 19}, {"key3", 23}};
  callSomethingTakingAMapByRef(*data);
}

针对该特性，有两个疑问需要解答：

一、Indestructible的有效使用场景 #

• 高频访问的全局单例：比如程序运行全程需要频繁调用的配置中心、全局缓存对象，用Indestructible能省去每次访问时的指针解引用开销，直接提升访问性能。
• 构造/析构成本极高的对象：如果对象构造需要加载大量资源、耗时很长，或者析构时容易触发跨模块依赖顺序问题（比如析构时访问已被销毁的其他对象），Indestructible跳过析构流程，既能省掉析构的性能开销，还能避免析构引发的崩溃。
• 生命周期与程序绑定的对象：像日志器、全局状态管理器这类从程序启动到退出一直需要存在的组件，用Indestructible完全适配，没必要额外做析构操作。

二、是否会引发内存泄漏？ #

从内存检测工具的角度看，Indestructible管理的对象确实永远不会被主动释放，会被标记为“内存泄漏”。但在实际工程中，这属于预期内的可控情况：

• 这类对象只会分配一次内存，占用空间固定，不会随程序运行不断增长，不会导致内存耗尽。
• 程序退出时，操作系统会自动回收进程占用的所有内存，所以即使对象没被手动释放，也不会留下系统级的内存泄漏。
• 对比Meyers单例里new后不delete的写法，Indestructible只是把这种“故意不释放”的行为做了规范化、类型安全的封装，本质都是利用进程退出时系统回收内存的机制。

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