C++如何实现一个线程安全的单例模式?C++多线程下单例的正确写法【设计模式】

最推荐使用C++11局部静态变量实现Meyers单例,它天然线程安全、懒加载、无需手动加锁;C++11标准保证首次调用时仅一个线程执行构造,其余阻塞等待,简洁可靠。

在C++多线程环境下,实现线程安全的单例模式,最推荐的方式是使用C++11标准保证的局部静态变量初始化机制——它天然线程安全、懒加载、无需手动加锁,且简洁可靠。

✅ 推荐写法:Meyers单例(C++11及以后)

这是目前最简洁、最安全、最符合现代C++实践的单例实现:

class Singleton {
public:
    static Singleton& getInstance() {
        static Singleton instance;  // 局部静态变量:首次调用时构造,自动线程安全
        return instance;
    }

    Singleton(const Singleton&) = delete;
    Singleton& operator=(const Singleton&) = delete;

private:
    Singleton() = default;  // 可含初始化逻辑(如资源加载)
    ~Singleton() = default;
};

✔ 为什么安全? C++11标准明确规定:函数内局部静态变量的初始化是“一次性且线程安全”的(通过编译器生成的类似call_once的机制保障),多个线程首次并发调用getInstance()时,只会有一个执行构造,其余阻塞等待,无需用户干预。

⚠ 避免手写双重检查锁定(DCLP)

虽然经典,但在C++中极易出错(尤其在旧标准下):

  • 需要std::atomicvolatile + 内存屏障,否则存在指令重排风险
  • 构造函数可能被重排到指针赋值之后,导致其他线程拿到未初始化完成的对象
  • C++11前几乎无法正确实现;C++11后虽可写对,但远不如Meyers简洁可靠

除非有特殊需求(如需延迟构造时机控制、或必须支持C++03),否则不建议手动实现DCLP。

? 其他可行但非首选的方式

  • std::call_once + std::once_flag:显式控制初始化,适合需要传参或异常处理的场景
  • 静态成员变量 + 全局初始化:线程安全(程序启动时初始化),但不是懒加载,且全局对象析构顺序不可控
  • std::shared_ptr + std::atomic:可用于更复杂的生命周期管理,但增加开销和复杂度

这些方式可用,但多数场景下属于“过度设计”——Meyers单例已覆盖95%以上的实际需求。

基本上就这些。用好static局部变量,就是C++11及以上最优雅、最安全的单例答案。