C++单例实现为何无内存泄漏？两种实现有何差异？

一、为何第一种实现用new却未被AddressSanitizer检测到内存泄漏？ #

你提到的第一种实现中，Singleton对象通过new分配但没有显式delete，但fsanitize=address未报泄漏，核心原因有两点：

• 操作系统内存回收机制：进程退出时，操作系统会回收该进程占用的所有内存资源，包括这个单例对象的内存。AddressSanitizer默认不会将这种"仅在进程结束时由系统回收的内存"标记为泄漏——它不会在程序运行期间持续消耗内存，不属于真正意义上的内存泄漏。
• 对象生命周期特性：这个单例对象的生命周期与进程完全一致，从第一次调用instance()到进程结束始终存在，不存在"分配后无法访问且未释放"的情况，不符合内存泄漏的典型定义。

另外补充：C++11及以后标准中，static Singleton* singleton = new Singleton();属于魔术静态特性，初始化过程是线程安全的，只会执行一次new，不会出现多次分配的问题。

二、两种实现的核心差异 #

第一种实现代码 #

class Singleton {
    public:
        static Singleton& instance() {
            static Singleton* singleton = new Singleton();
            return *singleton;
        }

        void set_data(int value) { data = value; }
        int get_data() { return data; }
    private:
        Singleton() : data(0) {}
        ~Singleton() {}
        int data;    
};

第二种实现代码 #

class Singleton {
    public:
        static Singleton& instance() {
            static Singleton* singleton;
            
            if (singleton == nullptr) {
                singleton = new Singleton();
            }

            return *singleton;
        }

        void set_data(int value) { data = value; }
        int get_data() { return data; }
    private:
        Singleton() : data(0) {}
        ~Singleton() { delete this; }
        int data;    
};

两者的关键差异如下：

• 线程安全性：第一种实现依赖C++11魔术静态特性，static变量的初始化是线程安全的，确保只会创建一个实例；第二种实现的if (singleton == nullptr)是非原子操作，多线程环境下可能同时进入分支，导致多次执行new，创建多个实例或引发内存泄漏。
• 析构行为：第一种实现的对象永远不会被主动析构（析构函数私有且无delete操作），进程结束由系统回收内存；第二种实现的析构函数中调用delete this会触发未定义行为——delete会先调用析构函数，而析构函数里又执行delete this，形成无限递归，直接导致栈溢出崩溃。
• 初始化可靠性：第一种实现的初始化逻辑简洁且符合C++标准，确保只初始化一次；第二种实现的懒加载逻辑存在竞态条件，多线程场景下完全不可靠。
• 内存风险：第一种仅存在"进程结束时由系统回收的内存"，无运行时泄漏风险；第二种不仅可能因多线程多次分配导致真正的内存泄漏，还会因析构的无限递归直接导致程序崩溃。

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