C++如何实现基于双重检查锁 (DCL) 的线程安全单例模式-C++-PHP中文网

std::call_once 比手写 dcl 更安全，因其封装了内存序、原子操作和 happens-before 保证，避免手动处理重排、可见性及构造完成性等易错细节。

c++如何实现基于双重检查锁 (dcl) 的线程安全单例模式

为什么直接用 `std::call_once` 比手写 DCL 更安全

手写双重检查锁（DCL）在 C++11 之前容易出错，核心问题在于编译器重排和 CPU 乱序执行可能导致未初始化对象被其他线程看到。C++11 引入 std::atomic 和内存序后，理论上可实现正确 DCL，但实际中极易漏掉 memory_order_acquire/memory_order_release 或误用 volatile（它对线程同步无效）。而 std::call_once 封装了所有底层细节，保证函数只执行一次且线程安全，无需手动处理指针可见性、构造完成性等问题。

实操建议：

优先用 std::call_once + 静态局部变量（见下节），这是最简洁、最不易出错的方式
若必须用 DCL（如需延迟加载且构造开销极大，且明确需要指针语义），必须使用 std::atomic<t></t>，不能用裸指针或 volatile T*
禁止在 DCL 中对非原子指针做两次读取（第一次判断是否为空，第二次返回），这会破坏 happens-before 关系

用静态局部变量 + `std::call_once` 实现最简线程安全单例

C++11 标准规定：函数内静态局部变量的首次初始化是线程安全的，且仅发生一次。这本质上就是语言内置的、经过充分验证的 DCL 替代方案。

示例代码：

class Singleton {
public:
    static Singleton& instance() {
        static Singleton inst; // 线程安全初始化，自动调用 std::call_once 等效逻辑
        return inst;
    }
private:
    Singleton() = default;
    ~Singleton() = default;
    Singleton(const Singleton&) = delete;
    Singleton& operator=(const Singleton&) = delete;
};

关键点：

C++14

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

下载

无需任何锁、std::atomic 或显式内存序
构造函数在第一次调用 instance() 时才执行，满足懒加载
销毁由静态存储期管理，在程序结束时自动调用析构（若需控制销毁时机，此方式不适用）
所有主流编译器（GCC、Clang、MSVC）均已正确实现该语义

DCL 手动实现时最容易踩的三个坑

如果项目强制要求手写 DCL（比如兼容旧标准、或需返回裸指针而非引用），以下错误几乎必然导致未定义行为：

用 T* m_instance 而非 std::atomic<t> m_instance</t>：普通指针读写不提供同步语义，其他线程可能看到中间状态（如指针已非空但对象未构造完）
第一次检查用 if (m_instance.load(std::memory_order_relaxed) == nullptr)，但没在 store 时配对使用 memory_order_release：导致构造完成与指针发布之间无同步，其他线程 load 到非空指针后仍可能读到未初始化成员
在 new 表达式后、store 前插入调试输出或日志：编译器/处理器可能把构造体内的写操作重排到 store 之后，造成“先发布后构造”

正确 DCL 片段（仅作参考，不推荐日常使用）：

class Singleton {
    static std::atomic<singleton> m_instance;
    Singleton() { /* 构造逻辑 */ }
public:
    static Singleton* instance() {
        Singleton* ptr = m_instance.load(std::memory_order_acquire);
        if (ptr == nullptr) {
            std::lock_guard<:mutex> lock(m_mutex);
            ptr = m_instance.load(std::memory_order_relaxed);
            if (ptr == nullptr) {
                ptr = new Singleton();
                m_instance.store(ptr, std::memory_order_release); // 必须 release
            }
        }
        return ptr;
    }
};</:mutex></singleton>