双检锁模式（附C++代码示例）

双检锁模式的含义

双检锁模式（Double-Checked Locking Pattern）是一种用于多线程编程中的设计模式，它主要用于减少同步开销的同时确保延迟初始化资源的线程安全。这种模式在首次创建实例时执行同步，但在创建实例之后，检查的开销减少，从而提高效率。

核心思想及解释

双检锁模式的核心思想是在多线程环境下，通过两次检查和一次锁定来保证对象的唯一性和线程安全，同时避免每次访问对象时都需要进行同步。第一次检查是为了避免不必要的同步，第二次检查是为了在锁定区域内确认再次检查，确保对象未被创建后再进行创建。

为什么要使用双检锁模式

1. 性能优化：传统的同步方法可能涉及重锁定和解锁操作，双检锁模式在大多数情况下避免了锁，减少了同步的开销。
2. 延迟初始化：仅在实际需要时才创建对象，节省资源。
3. 线程安全：适用于多线程环境，确保资源被安全地创建一次。

使用双检锁模式需要注意的点

1. 复杂性：实现较复杂，错误的实现可能导致线程安全问题。
2. 依赖于内存模型：在一些编程语言和平台中，由于内存模型的问题，双检锁可能不工作。C++11及之后的内存模型提供了更好的支持。
3. 使用场合限制：主要用于资源初始化较为昂贵的情况。

工程的应用场景

1. 单例模式：在创建单例对象时，常用双检锁模式确保线程安全。
2. 资源共享控制：在需要延迟初始化的资源共享控制中使用，如数据库连接。
3. 系统初始化：在系统启动时对某些服务或组件进行初始化。

示例代码及解释

下面是使用双检锁模式实现的线程安全的单例模式的示例：

#include <iostream>
#include <mutex>

class Singleton 
{
private:
    static Singleton* instance;
    static std::mutex mutex;

protected:
    Singleton() = default;

public:
    Singleton(Singleton& other) = delete;
    void operator=(const Singleton&) = delete;

    static Singleton* getInstance() 
    {
        if (instance == nullptr) // 第一次检查
        {
            std::lock_guard<std::mutex> lock(mutex); // 锁定
            if (instance == nullptr) // 第二次检查
            {
                instance = new Singleton();
            }
        }
        return instance;
    }
};

Singleton* Singleton::instance{nullptr};
std::mutex Singleton::mutex;

int main() 
{
    Singleton* singleton = Singleton::getInstance();
    std::cout << "Instance Address: " << singleton << std::endl;
    return 0;
}

输出代码运行结果

输出示例（地址会根据实际情况变化）：

Instance Address: 0x55d986bcae70

这个示例展示了双检锁模式在单例模式中的应用。getInstance() 方法首先检查实例是否已经创建，未创建时才进行锁定和第二次检查。这种方法确保了只有一个实例被创建，且之后的访问不会进行不必要的同步。