C++如何实现高效的线程安全单例模式(Double-Checked)-C++-PHP中文网

c++11起最安全高效的单例实现是静态局部变量，因其初始化由编译器自动生成线程安全逻辑（等效std::call_once），无需手动管理内存序、原子操作或锁，避免了dcl易出错的重排与半构造对象风险。

c++如何实现高效的线程安全单例模式(double-checked)

直接用 static 局部变量，别手写 Double-Checked Locking（DCL）。它容易出错、性能不比编译器生成的代码好，还增加维护成本。

为什么 DCL 在 C++ 里极易写错

核心问题不是“加没加锁”，而是内存可见性与指令重排。C++11 前完全不可靠；C++11 后若漏掉任意一项，仍会崩溃或读到半构造对象：

instance 必须是 std::atomic<singleton></singleton>，不能是裸指针
首次读必须用 load(std::memory_order_acquire)，否则后续读可能被重排到前面
new Singleton() 必须在 std::lock_guard 保护内，且不能被编译器优化出临界区
store(ptr, std::memory_order_release) 必须在锁内完成，否则其他线程看到非空指针时，对象状态不可见
用 volatile 修饰指针毫无作用——它不提供同步语义，也阻止不了重排

如果你真要手写 DCL：必须满足的最小条件

仅当需精确控制初始化时机（比如构造失败后重试）、或兼容 C++03 环境时才考虑。以下是最简可行骨架：

class Singleton {
public:
    static Singleton* getInstance() {
        Singleton* ptr = instance.load(std::memory_order_acquire);
        if (ptr == nullptr) {
            std::lock_guard<:mutex> lock(mutex_);
            ptr = instance.load(std::memory_order_relaxed); // 加锁后再查一次
            if (ptr == nullptr) {
                ptr = new Singleton(); // 必须在此处，且不能被移出锁外
                instance.store(ptr, std::memory_order_release);
            }
        }
        return ptr;
    }
<p>private:
Singleton() = default;
static std::atomic<singleton> instance;
static std::mutex mutex_;
};</singleton></p>
<p>std::atomic<singleton> Singleton::instance{nullptr};
std::mutex Singleton::mutex_;</singleton></p></:mutex>

注意：std::memory_order_relaxed 用于锁内二次检查，避免无谓的 acquire 开销；std::memory_order_acquire/release 是保证构造结果对其他线程可见的底线。