C++如何实现多线程环境下的线程安全单例模式(C++11及以后)-C++-PHP中文网

最简最安全的单例实现是用static局部变量，c++11保证其首次初始化线程安全、懒加载、自动析构且无需手动同步；必须显式删除拷贝和赋值以防止绕过控制。

c++如何实现多线程环境下的线程安全单例模式(c++11及以后)

用 `static` 局部变量实现 Meyers 单例（最简、最安全）

C++11 标准明确保证：函数内 static 局部变量的首次初始化是线程安全的。编译器自动生成等效于 std::call_once 的同步逻辑，无需你写锁、也不依赖 std::mutex。

构造函数只执行一次，其余并发线程会阻塞等待初始化完成，不是忙等
析构在程序退出时由静态存储期自动触发，且线程安全上下文中调用
懒加载 —— 实例在首次调用 getInstance() 时才构造，不浪费启动资源
禁止拷贝和赋值必须显式声明为 = delete，否则可能意外复制出新对象

示例：

class Singleton {
public:
    static Singleton& getInstance() {
        static Singleton instance; // ✅ C++11 线程安全
        return instance;
    }
    Singleton(const Singleton&) = delete;
    Singleton& operator=(const Singleton&) = delete;

private:
    Singleton() = default; // 可含耗时初始化（如打开文件、连数据库）
    ~Singleton() = default;
};

为什么不要手写双重检查锁定（DCLP）

手动实现 if (ptr == nullptr) { lock; if (ptr == nullptr) ptr = new T; } 在 C++ 中极易出错，尤其在构造函数可能抛异常或含复杂逻辑时。

new 若抛异常，ptr 仍为 nullptr，但内存已部分分配，后续重试可能泄漏或重复构造
旧标准下存在指令重排风险：对象内存分配后、构造函数执行前，指针就可能被其他线程读到
即使 C++11 引入 std::atomic 和内存序，正确实现 DCLP 仍需精确控制 memory_order，远超多数场景需求
编译器对 DCLP 的优化行为不稳定，不同平台/版本表现可能不一致

需要异常安全重置时，用 `std::call_once` + `std::unique_ptr`

标准 static 局部变量无法在运行时销毁并重建实例。若你的单例需支持「重置」（比如测试中反复初始化），就得换方案。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

把实例托管给 std::unique_ptr，配合 std::once_flag 和 std::call_once
构造逻辑放在 lambda 里，确保只执行一次；析构由 unique_ptr 自动管理
需手动注册 atexit 或在合适时机调用 reset()，否则程序退出时不自动释放
比 static 局部变量多一层间接访问（解引用），但开销可忽略

关键片段：

class Singleton {
public:
    static Singleton& getInstance() {
        std::call_once(onceFlag, []() {
            instance = std::make_unique<singleton>();
        });
        return *instance;
    }

private:
    Singleton() = default;
    static std::unique_ptr<singleton> instance;
    static std::once_flag onceFlag;
};

std::unique_ptr<singleton> Singleton::instance;
std::once_flag Singleton::onceFlag;</singleton></singleton></singleton>