std::call_once通过std::once_flag的原子状态和系统同步原语（如futex）实现单次执行，不依赖全局锁；once_flag必须为静态/全局生命周期，否则失去“once”语义。
std::call_once 为什么能保证只执行一次
它底层依赖 std::once_flag 的原子状态和操作系统级的轻量同步原语（比如 futex 或 CRITICAL_SECTION），不是靠锁住整个函数体来实现的。只要所有线程都用同一个 std::once_flag 实例调用 std::call_once，哪怕并发调用一百次，也仅有一个线程真正执行传入的 callable，其余全部阻塞等待初始化完成。
关键点在于：std::once_flag 必须是静态或全局生命周期——局部变量的 std::once_flag 在函数返回后就销毁了，下次调用又是新对象，完全失去“once”语义。
- 错误写法：
void init() { std::once_flag flag; std::call_once(flag, []{...}); }→ 每次都新建 flag，毫无意义 - 正确写法：静态变量、全局变量、类静态成员，或封装在函数内部的 static 局部变量
- 不能 move、不能 copy
std::once_flag，只能直接定义或作为成员
怎么写一个线程安全的懒初始化全局对象
典型场景：某个 heavy-weight 资源（如数据库连接池、配置解析器）只在首次使用时创建，且必须确保多线程下不重复构造、不竞态读取未完成的对象。
核心结构是「static std::once_flag + static 指针/引用 + call_once 延迟赋值」：
立即学习“C++免费学习笔记（深入）”；
static std::unique_ptr<ConfigParser> g_config;
static std::once_flag g_config_init;
void ensure_config_loaded() {
std::call_once(g_config_init, [] {
g_config = std::make_unique<ConfigParser>("/etc/app.conf");
});
}
ConfigParser& get_config() {
ensure_config_loaded();
return *g_config;
}
- 不要把对象直接声明为
static ConfigParser obj并指望它的构造函数自动线程安全——C++11 虽然规定了静态局部变量的初始化是线程安全的，但那是针对“定义即初始化”的场景；而你往往需要带参数、捕获异常、或做条件判断，这时必须手动控制 - 如果初始化可能抛异常，
std::call_once会传播异常，且该std::once_flag仍被视为“已触发”，后续调用直接返回（不会重试） - 避免在 lambda 中捕获局部变量地址并存到全局——容易悬垂
std::call_once 和静态局部变量初始化的区别在哪
两者都能做到“首次调用才执行”，但适用边界不同：
- 静态局部变量初始化（如
static T x = expensive_init();）由编译器隐式插入std::call_once-风格逻辑，但仅限于“定义即初始化”，无法做 if/else、retry、日志、或跨多个变量协调 -
std::call_once是显式、可组合、可复用的机制，适合初始化一组相关资源，或在非函数作用域（如类静态成员初始化）中使用 - 性能上几乎无差别——现代标准库实现对两者都做了高度优化，都是单次原子检查 + 快路径直通
- 兼容性注意：C++11 起支持；若需 C++03 环境，得自己用 pthread_once 或 Win32 InitOnceExecuteOnce 模拟
常见崩溃和死锁陷阱
最常踩的坑不是语法错，而是生命周期和调用上下文错位：
- 在
std::call_once的 callable 里又调用了另一个依赖本初始化的函数，而那个函数内部又反过来调用当前std::call_once→ 死锁（std::call_once不可重入） - 把
std::once_flag放在栈上，并在线程分离（std::thread::detach()）后还试图访问 —— 栈帧已销毁，flag 变成野指针 - 多个模块各自定义同名 static
std::once_flag，以为共用，实则每个 TU 一份 → 初始化多次 - 在 DLL 卸载期间（如 DllMain）调用
std::call_once→ Windows 下极大概率 crash，因为 loader lock 已释放，CRT 状态不可靠
复杂点在于：这些错误不一定当场暴露，可能只在高并发、特定调度顺序、或 ASLR 开启时才触发。调试时别只盯代码逻辑，先确认 std::once_flag 的生存期和可见范围是否真的全局唯一。
