C++中如何正确实现双重检查锁定模式 现代C++内存模型下的单例优化方案

双重检查锁定用于减少加锁开销，只在首次初始化时加锁，后续访问无需进入临界区。1. 使用原子变量（std::atomic++）确保跨线程可见性；2. 通过memory_order_acquire和memory_order_release形成内存屏障，防止指令重排；3. 第一次检查非阻塞，第二次加锁确保构造完成后再写入指针。错误实现可能因重排导致读取未完全构造的对象。正确写法需结合原子操作与内存顺序，而推荐的替代方案是c++11静态局部变量方式，简洁且线程安全。

在C++中实现线程安全的单例模式时，双重检查锁定（Double-Checked Locking Pattern）是一个常见的优化手段。它旨在减少加锁带来的性能开销，只在第一次初始化时加锁，后续访问无需再进入临界区。

但很多人写出来的“双重检查”其实并不正确，尤其是在现代C++内存模型下，如果没有正确使用内存顺序或原子操作，可能会导致未定义行为，比如读取到未完全构造的对象。

下面我们就来看看如何在现代C++中正确地实现这个模式。

立即学习“C++免费学习笔记（深入）”；

为什么需要双重检查锁定？

通常我们会用静态局部变量来实现懒加载的单例，比如这样：

MyClass& GetInstance() {
    static MyClass instance;
    return instance;
}

这种方式简洁且线程安全（C++11起），但在某些场景下不够灵活，比如我们希望控制实例的创建时机，或者想延迟加载以提升启动速度。

这时候就会想到手动管理单例对象，结合互斥锁来保证线程安全：

std::mutex mtx;

MyClass* GetInstance() {
    std::lock_guard<std::mutex> lock(mtx);
    if (!instance) {
        instance = new MyClass();
    }
    return instance;
}

问题是：每次调用都要加锁，效率低。于是就引出了双重检查锁定，它的核心思想是：只在第一次创建对象时加锁，之后不再加锁。

正确实现双重检查锁定的关键点

要正确实现双重检查锁定，需要注意以下几点：

天工大模型

中国首个对标ChatGPT的双千亿级大语言模型

115

查看详情

• 使用原子变量确保可见性
• 防止指令重排影响对象构造顺序
• 合理使用内存顺序避免过度同步

下面是常见但错误的写法：

MyClass* ptr = nullptr;

MyClass* GetInstance() {
    if (!ptr) {                     // 第一次检查
        std::lock_guard<std::mutex> lock(mtx);
        if (!ptr) {                 // 第二次检查
            ptr = new MyClass();    // 潜在问题在这里
        }
    }
    return ptr;
}

问题出在

ptr = new MyClass()

1. 分配内存
2. 调用构造函数
3. 将指针赋值给

   ptr

   登录后复制

由于编译器或CPU可能对指令进行重排优化，在多线程环境下可能导致其他线程看到一个已经分配内存但尚未构造完成的对象。

如何修正？使用原子变量 + 内存顺序

正确的做法是将

ptr

std::atomic<MyClass*>

std::atomic<MyClass*> ptr(nullptr);
std::mutex mtx;

MyClass* GetInstance() {
    MyClass* p = ptr.load(std::memory_order_acquire);
    if (!p) {
        std::lock_guard<std::mutex> lock(mtx);
        p = ptr.load(std::memory_order_relaxed);
        if (!p) {
            p = new MyClass();
            ptr.store(p, std::memory_order_release);  // 确保构造完成后再写入
        }
    }
    return p;
}

这里有几个关键点：

• std::atomic

  登录后复制
  保证了跨线程的可见性

• memory_order_acquire

  登录后复制
  和

  memory_order_release

  登录后复制
  形成内存屏障，防止构造过程被重排序
• 第一次检查是非阻塞的，第二次才真正加锁

替代方案：更简单的办法

如果你只是想要一个线程安全的单例，并不关心具体实现细节，推荐使用C++11标准提供的静态局部变量方式：

MyClass& GetInstance() {
    static MyClass instance;
    return instance;
}

这是最简洁、最安全的做法，而且现代编译器都做了很好的优化。

只有当你确实需要手动控制生命周期或延迟加载时，才考虑双重检查锁定这种复杂模式。

基本上就这些。双重检查锁定看起来简单，但要写对并不容易，尤其是在涉及并发和内存模型的时候。理解背后原理，才能写出高效又安全的代码。

以上就是C++中如何正确实现双重检查锁定模式 现代C++内存模型下的单例优化方案的详细内容，更多请关注php中文网其它相关文章！