std::call_once比手写DCLP更安全，因其由标准库封装内存序、原子操作和happens-before保证，避免手动处理重排、可见性及构造完成性等易错细节。
双重检查锁（DCLP）在C++中为什么不能直接照搬Java写法
因为C++11之前没有明确的内存模型语义，volatile不提供原子性或内存序保证，而Java的volatile有happens-before语义。直接用老式C++写DCLP极易出现未初始化对象被访问——编译器重排+CPU乱序执行共同导致instance指针非空但内部字段仍是零值。
std::atomic + memory_order是唯一安全路径
必须用std::atomic<t></t>包装单例指针，并显式指定内存序。核心逻辑分三步：先读、再加锁、再二次读。关键点在于：
- 首次读用
memory_order_acquire，确保后续读取看到已构造完成的对象状态 - 写入用
memory_order_release，保证构造完成后再更新指针 - 中间的锁操作天然提供顺序屏障，无需额外
memory_order_seq_cst
示例片段：
class Singleton {
static std::atomic<Singleton*> instance;
Singleton() = default;
public:
static Singleton* getInstance() {
Singleton* ptr = instance.load(std::memory_order_acquire);
if (ptr == nullptr) {
std::lock_guard<std::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;
}
private:
static std::mutex mutex_;
};
std::atomic<Singleton*> Singleton::instance{nullptr};
更推荐用std::call_once和std::once_flag
它比手写DCLP更简洁、无内存序错误风险，且C++11起就完全可靠。底层由标准库保证“仅执行一次”且线程安全，连原子变量和锁都省了。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
-
std::once_flag是轻量级同步原语，不涉及动态分配 -
std::call_once自动处理竞态、异常安全（若构造函数抛异常，下次调用仍会重试） - 性能上，在多数实现中首次调用后几乎无开销，比DCLP分支预测更友好
写法极简：
class Singleton {
static std::unique_ptr<Singleton> instance;
static std::once_flag init_flag;
Singleton() = default;
public:
static Singleton& getInstance() {
std::call_once(init_flag, []{
instance = std::make_unique<Singleton>();
});
return *instance;
}
};
std::unique_ptr<Singleton> Singleton::instance;
std::once_flag Singleton::init_flag;
用裸指针+new时务必禁用编译器优化干扰
即使用了std::atomic，若构造函数内联过深或含简单POD成员，某些编译器（如GCC 7以前）可能把构造动作重排到指针存储之后。解决方法：
- 给Singleton构造函数加
__attribute__((noinline))（GCC/Clang）或__declspec(noinline)（MSVC） - 避免在构造函数里只做 trivial 初始化（比如只赋0），可插入
std::atomic_thread_fence(std::memory_order_seq_cst)作保守屏障 - 更稳妥的做法：改用
std::make_unique或placement new配合std::aligned_storage，控制对象生命周期完全独立于指针发布
真正难的不是写对DCLP，而是说服自己——绝大多数场景下，std::call_once就是正确答案；而一旦真要手写，std::atomic的memory_order选错一个，问题就只在高并发压测时偶发。
