双重检查锁定与C++单例线程安全实现

在C++中实现线程安全的单例模式，推荐使用静态局部变量。1. 静态局部变量初始化线程安全且实现简洁；2. 无需手动加锁，初始化仅执行一次并自动析构；3. 若需控制销毁顺序或延迟加载，可结合智能指针和自定义删除器；4. 双重检查锁定虽高效但需注意内存屏障问题，现代标准下已非首选方案。选择实现方式时应根据项目需求权衡简洁性与控制粒度。

在C++中实现线程安全的单例模式，关键在于既要避免多线程环境下重复创建实例，又要兼顾性能和可维护性。双重检查锁定（Double-Checked Locking）曾是主流做法，但随着C++11引入静态局部变量的线程安全保证，现代实现方式变得更简洁可靠。

什么是双重检查锁定？

双重检查锁定的核心思想是在加锁前先检查是否已经创建了实例，避免每次访问都加锁，从而提升性能。典型的实现如下：

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

private:
    Singleton() {}
    static Singleton* instance;
    static std::mutex mutex_;
};

这种方式虽然高效，但在早期C++标准下容易因内存重排序导致未完全构造的对象被访问。因此必须确保使用了内存屏障或原子操作来防止这类问题。现代编译器通常会处理好这一点，但仍建议优先考虑更简洁的方式。

现代C++推荐：静态局部变量

从C++11开始，函数内部的静态局部变量初始化是线程安全的。这使得我们可以非常简洁地实现线程安全的单例：

class Singleton {
public:
    static Singleton& getInstance() {
        static Singleton instance;  // 局部静态变量，线程安全
        return instance;
    }

private:
    Singleton() {}
    ~Singleton() {}
    Singleton(const Singleton&) = delete;
    Singleton& operator=(const Singleton&) = delete;
};

这种写法有几个优点：

• 实现简单，没有显式的锁或条件判断。
• 初始化只执行一次，且线程安全。
• 自动析构，无需手动管理内存。

不过需要注意的是，如果对析构顺序有特殊要求，这种方式可能不够灵活。

常见误区与注意事项

在使用单例时，有几个常见误区需要注意：

• 不要在构造函数中调用其他可能依赖当前单例的方法，否则可能导致死锁或未定义行为。
• 尽量避免在多个单例之间相互依赖，这样容易引发初始化顺序问题。
• 如果需要延迟加载，并且希望控制销毁顺序，可以结合智能指针和定制的释放策略。

例如，使用 std::unique_ptr 和自定义删除器：

class Singleton {
public:
    static Singleton& getInstance() {
        static std::unique_ptr<Singleton, decltype(&deleter)> instance(createInstance(), &deleter);
        return *instance;
    }

private:
    static Singleton* createInstance() {
        return new Singleton();
    }

    static void deleter(Singleton* p) {
        delete p;
    }

    Singleton() {}
    friend struct Deleter;
};

这种方式可以更好地控制生命周期，但代码复杂度也随之上升。

基本上就这些。根据项目需求选择合适的方式即可：追求简洁就用静态局部变量；需要更多控制权时再考虑双重检查或智能指针方案。