std::call_once通过std::once_flag的原子状态和平台同步原语实现“首次调用者赢”，仅一个线程执行callable，其余等待；正确使用需满足三要素：once_flag静态存储期、callable不抛异常、所有线程共享同一flag内存。
std::call_once 为什么能保证只执行一次
它底层依赖 std::once_flag 的原子状态和平台级的线程同步原语（如 futex 或 Windows SRW lock），不是靠锁住整个函数，而是通过“首次调用者赢”的机制：多个线程同时抵达时，只有一个线程真正执行传入的 callable，其余阻塞等待该 callable 返回后才一起继续——所以初始化逻辑不会重复执行，也不会出现竞态。
正确声明和使用 std::call_once 的三要素
漏掉任意一个都会导致编译失败或未定义行为：
-
std::once_flag必须是 静态存储期（全局、静态局部、静态成员），不能是栈变量或堆分配对象 - 传给
std::call_once的 callable 必须可调用（函数指针、lambda、functor），且不能抛异常（否则程序 terminate） - 必须确保
std::once_flag在所有线程中访问的是同一块内存（即不能每个线程都 new 一个）
std::once_flag init_flag; std::string* g_config_ptr = nullptr;void init_config() { g_config_ptr = new std::string("loaded"); }
// 正确：静态 once_flag + 全局作用域调用 void get_config() { std::call_once(init_flag, init_config); // 此时 g_config_ptr 已安全初始化 }
在单例类中用 std::call_once 实现线程安全 getInstance()
比双重检查锁定（DCLP）更简洁、不易出错，且 C++11 起标准保证其正确性。关键点在于把初始化逻辑完全交给 std::call_once，不手动管理指针或锁。
class ConfigSingleton {
static std::once_flag m_init_flag;
static ConfigSingleton* m_instance;
ConfigSingleton() { /* 构造可能耗时或有副作用 */ }public:
static ConfigSingleton& getInstance() {
std::call_once(m_init_flag, []() {
m_instance = new ConfigSingleton();
});
return *m_instance;
}
};
// 定义静态成员（必须在 .cpp 中）
std::once_flag ConfigSingleton::m_init_flag;
ConfigSingleton* ConfigSingleton::m_instance = nullptr;
注意：m_init_flag 和 m_instance 都必须定义在类外；lambda 捕获为空，避免隐式捕获引发生命周期问题；构造函数不应抛异常，否则 std::call_once 会终止程序。
立即学习“C++免费学习笔记（深入）”；
常见误用和崩溃场景
这些错误在多线程下极难复现，但一旦发生就是 crash 或数据错乱：
- 把
std::once_flag声明为自动变量：void foo() { std::once_flag flag; std::call_once(flag, ...); }→ 每次调用新建 flag，完全失去“once”语义 - 在不同翻译单元中定义同名静态
std::once_flag→ ODR 违反，链接时可能合并也可能不合并，行为未定义 - callable 中抛出未捕获异常 →
std::call_once直接调用std::terminate()，进程退出 - 用
std::call_once初始化需要析构的对象（如文件句柄、socket）→ 它不提供销毁机制，单例生命周期无法与程序结束对齐
如果单例需要资源清理，要么用静态局部变量（C++11 起线程安全且自动析构），要么额外设计 shutdown 流程，别指望 std::call_once 管释放。
