1. C++单例模式的基本概念与需求
1.1 单例模式的核心思想与定义
在软件设计中，单例模式的核心思想是确保一个类只有一个唯一实例，并提供一个全局访问点让外部代码能够获取该实例。通过这种方式，可以避免重复创建开销、确保共享状态的一致性，以及方便对全局资源进行集中管理。全局访问点通常通过一个静态成员函数实现，外部无需关心对象的创建细节。
从实现角度看，唯一实例通常以静态成员变量的形式存在，初始化时机分为“提前初始化”和“延迟初始化”两大策略。无论选择哪种策略，设计者都需要考虑线程安全、内存可见性以及对象生命周期等问题。本文将围绕 C++单例模式实现方法全解：线程安全写法与DCLP（双重检查锁定）原理探讨这一主题展开，聚焦几种常见实现及其原理要点。
1.2 线程安全性与初始化时序
在多线程环境中，单例对象的创建需具备线程安全性，否则可能出现重复创建、对象指针悬空或内存访问竞争等问题。尤其是在懒汉式实现中，初始化时序要确保一个线程创建对象，其他线程能够看到该对象的正确状态。
此外，初始化顺序的可预测性也很重要，涉及到静态初始化、局部静态变量以及跨翻译单元的初始化顺序问题。通过对比不同写法，我们可以理解在何种场景下哪种实现更合适。初始化时序与内存可见性是后续几种实现的核心考量点。
// 简要示例：懒汉式（非线程安全版，后续有改进版本）
// 目的：演示概念，不作为最终实现
class Singleton {
private:static Singleton* instance;Singleton() {}
public:static Singleton* getInstance() {if (instance == nullptr) {instance = new Singleton();}return instance;}
};
Singleton* Singleton::instance = nullptr;
2. 线程安全写法的经典实现
2.1 懒汉式结合互斥锁的实现
第一种常见做法是通过<互斥锁来保护初始化过程，确保在并发场景下只有一个线程能创建实例，并且其他线程在对象创建完成前不会看到半成品。虽然能实现正确性，但会带来锁开销和细粒度并发下降的问题。下面给出一个完整的实现示例。
要点：使用静态指针保存实例，使用全局或静态的互斥锁来保护创建过程，确保多线程下的可见性和原子性。
#include <mutex>class Singleton {
private:static Singleton* instance;static std::mutex mtx;Singleton() {}public:static Singleton* getInstance() {std::lock_guard<std::mutex> lock(mtx);if (instance == nullptr) {instance = new Singleton();}return instance;}// 禁止拷贝与赋值Singleton(const Singleton&) = delete;Singleton& operator=(const Singleton&) = delete;
};
Singleton* Singleton::instance = nullptr;
std::mutex Singleton::mtx;
2.2 Meyers 单例：静态局部变量的实现
在C++11及其以后的标准中，局部静态变量的初始化具备线程安全性，这使得 Meyers 单例成为一个广受欢迎的实现方式。它提供了简单、清晰且在大多数场景下高效的线程安全保障。下面给出标准实现。
优点在于代码简洁、天然线程安全，缺点则是按需加载时的可控性相对较弱，且可能对早期资源依赖的初始化顺序产生影响。
class Singleton {
private:Singleton() {}
public:// 禁止拷贝与赋值Singleton(const Singleton&) = delete;Singleton& operator=(const Singleton&) = delete;static Singleton& getInstance() {static Singleton instance;return instance;}
};
2.3 使用 std::call_once 的实现
另一种较为强健的做法是利用 C++11 引入的std::call_once与once_flag来保证初始化只被执行一次，并且对并发控制有更明确的语义。该方法在高并发场景下能提供较好的时效性和可控性。
该实现将初始化动作放在一个受保护的回调中，并通过memory ordering来确保可见性，避免了早期版本中对指针/对象状态的错误可视性。
#include <mutex>
#include <atomic>class Singleton {
private:static Singleton* instance;static std::once_flag initFlag;Singleton() {}static void init() {instance = new Singleton();}public:static Singleton* getInstance() {std::call_once(initFlag, &Singleton::init);return instance;}Singleton(const Singleton&) = delete;Singleton& operator=(const Singleton&) = delete;
};
Singleton* Singleton::instance = nullptr;
std::once_flag Singleton::initFlag;
3. DCLP（双重检查锁定）原理探讨
3.1 DCLP 的工作原理与正确实现要点
“双重检查锁定”（Double-Checked Locking, DCLP）试图在低开销的情况下实现懒加载，但要正确实现就需要处理好内存可见性与指针重排序带来的风险。核心思想是：先进行非锁定的读取检查，如果检测到未初始化再进入加锁阶段进行二次检查，确认后再创建实例。为了在现代C++中实现正确，需要将实例指针声明为原子指针并使用适当的内存序。
典型正确的模式如下所示，利用std::atomic来避免指针被错误重排序导致的可见性问题，确保其他线程看到初始化完成的实例。
#include <atomic>
#include <mutex>class Singleton {
private:static std::atomic instance;static std::mutex mtx;Singleton() {}public:static Singleton* getInstance() {Singleton* tmp = instance.load(std::memory_order_acquire);if (tmp == nullptr) {std::lock_guard<std::mutex> lock(mtx);tmp = instance.load(std::memory_order_relaxed);if (tmp == nullptr) {tmp = new Singleton();instance.store(tmp, std::memory_order_release);}}return tmp;}Singleton(const Singleton&) = delete;Singleton& operator=(const Singleton&) = delete;
};
std::atomic Singleton::instance{ nullptr };
std::mutex Singleton::mtx;
3.2 为什么在某些场景下DCLP不可靠及注意事项
编译器优化、重排序以及内存模型的差异会影响DCLP的正确性。如果没有使用原子变量和合适的内存序，某些编译器/体系结构仍可能导致未初始化的对象被其他线程看到。对于不熟悉内存模型的开发者来说，直接依赖DCLP可能带来隐性风险。
在实践中，优先考虑更符合现代C++内存模型的实现方式，如使用静态局部变量（Meyers 单例）或通过std::call_once来实现初始化。DCLP在需要极致的低开销且对内存模型有明确控制的场景下才应谨慎使用。
