std::call_once 通过原子操作与状态机确保回调函数全局仅执行一次，抢到执行权的线程运行函数，其余线程等待完成即返回；std::once_flag 必须为静态或全局以保证唯一性，抛异常后永久标记失败且不重试。
std::call_once 为什么能保证只执行一次
它配合 std::once_flag 使用，确保传入的函数（或可调用对象）在整个程序生命周期内**对所有线程而言最多执行一次**。底层通过原子操作 + 内部状态机实现，不是靠简单加锁阻塞所有线程，而是让“抢到执行权”的线程真正运行函数，其余线程等待其完成后再直接返回。
常见错误是误以为多次调用 std::call_once 就会多次触发初始化 —— 实际上只要 std::once_flag 是同一个对象，哪怕在 100 个线程里各调一次，也只会有其中一个线程执行回调函数。
-
std::once_flag必须是静态存储期或全局/类静态成员；局部自动变量的std::once_flag每次函数调用都新建，失去“唯一性”语义 - 回调函数若抛异常，
std::call_once会把该std::once_flag置为“已失败”状态：后续调用仍会立即返回，但不会重试 —— 这点和 pthread_once 不同 - 不支持传递参数给回调函数（除非用 lambda 捕获，但注意捕获对象的生命周期）
std::once_flag 的声明位置决定线程安全范围
std::once_flag 本身是 trivially destructible、无构造/析构开销的类型，但它必须和要保护的资源有明确的生命周期绑定关系。声明位置错了，线程安全就形同虚设。
struct LazyInit {
static std::once_flag flag;
static std::unique_ptr resource;
static SomeHeavyResource& get() {
std::call_once(flag, []{
resource = std::make_unique();
});
return *resource;
}
};
上面是正确用法：flag 和 resource 都是静态的，初始化逻辑只跑一次，且对所有线程可见。
立即学习“C++免费学习笔记（深入）”；
- 如果把
std::once_flag声明在函数内部（非 static），每次调用函数都会生成新 flag，每个线程都可能执行初始化 —— 完全失去保护意义 - 如果 flag 是某个对象的非静态成员，那每个对象实例都有自己的一套 flag，初始化是 per-object 的，不是全局单例级的
- 不能用
std::move或赋值操作转移std::once_flag：它不可复制、不可移动，只能默认构造
和 std::mutex + 手动双重检查锁比有什么优势
手动写双重检查锁（DCLP）容易出错：C++11 之前因内存模型不明确导致重排序问题；即使 C++11 后，仍需谨慎使用 std::atomic 和 memory_order，稍有不慎就会引发未定义行为。而 std::call_once 把这些细节全封装好了，语义清晰、不易出错。
- 性能上，
std::call_once在“已初始化后”的路径是纯原子读（通常编译为单条ldar或mov），比 mutex 的 lock/unlock 开销小得多 - 可读性高：看到
std::call_once就知道这是“一次性初始化”，不用逐行分析锁粒度和条件判断逻辑 - 无需担心 static local variable 的初始化顺序问题（比如跨 translation unit 的初始化依赖），因为它是显式控制的
替代方案：C++11 起 static local 变量其实更常用
对于大多数单例式初始化场景，直接用 static local 变量更简洁：
SomeHeavyResource& get_resource() {
static SomeHeavyResource instance;
return instance;
}
它的初始化天然线程安全（C++11 标准保证），且自动管理生命周期。但注意它和 std::call_once 的关键区别：
- static local 初始化失败时会重复尝试（抛异常 → 下次再进函数又试），而
std::call_once失败后永远不重试 - static local 无法延迟到首次调用之外的时机（比如等某个配置加载完才初始化），
std::call_once可以放在任意逻辑分支里 - static local 无法用于 non-trivial 类型的数组、或需要带参数构造的情况（除非用指针 + new，那就回到手动管理）
所以真要用 std::call_once，通常是需要精确控制初始化时机，或者初始化逻辑复杂、可能失败且不想重试的场景。
