std::call_once不能直接传带捕获lambda或非noexcept可调用对象，因其要求参数必须CopyConstructible且noexcept；once_flag必须为静态/全局生命周期，否则失效；若初始化函数抛异常，flag保持未触发，后续仍会重试。
std::call_once 为什么不能直接传函数对象？
直接写 std::call_once(flag, func) 看似合理，但若 func 是带捕获的 lambda 或需要绑定参数的可调用对象，编译器大概率报错：「no matching function for call to ‘call_once’」。这是因为 std::call_once 要求第二个参数必须是可复制构造（CopyConstructible）且无抛出异常（noexcept）的可调用类型——而带捕获的 lambda 默认不可复制，且不满足 noexcept 约束。
常见错误写法：
auto lambda = [ptr = std::make_shared<int>(42)] { /* use ptr */ };
std::call_once(flag, lambda); // ❌ 编译失败解决办法只有两个：
- 改用无捕获 lambda（自动满足复制和 noexcept）
- 显式用
std::move包裹并确保目标函数声明为noexcept，或改用函数指针 / 静态函数
std::once_flag 必须是静态或全局生命周期
std::once_flag 对象本身不能是局部自动变量，否则每次函数调用都会新建一个 flag，导致「每次都执行」——完全失去单次语义。它必须在初始化逻辑的作用域外持久存在。
立即学习“C++免费学习笔记（深入）”；
典型误用：
void init() {
static std::once_flag flag; // ✅ 正确：静态存储期
std::call_once(flag, []{ /* ... */ });
}
<p>void broken_init() {
std::once_flag flag; // ❌ 错误：每次调用都重置
std::call_once(flag, []{ /<em> ... </em>/ }); // 每次都执行
}适用场景包括：
- 类内静态成员变量初始化（配合 static 成员
std::once_flag） - 函数内静态
std::once_flag（最常用） - 全局变量（不推荐，耦合强）
初始化函数抛异常会怎样？
如果传给 std::call_once 的 callable 抛出异常，该次调用会传播异常，且 std::once_flag 保持未触发状态——下次调用 std::call_once 仍会尝试执行。这不是 bug，而是标准规定的行为：「only the first call that does not throw an exception marks the flag as executed」。
这意味着你必须自己处理异常，否则可能重复初始化、资源泄漏或逻辑错乱。例如：
std::call_once(flag, []{
auto p = new int[1000]; // 可能抛 bad_alloc
if (!p) throw std::runtime_error("alloc failed");
global_ptr = p;
});更安全的做法：
- 把可能抛异常的操作移到 callable 外部，只在其中做无异常保证（nothrow）的赋值
- 或在 callable 内 catch 并转换为返回码/原子标记，避免异常穿透
- 绝不要依赖「抛异常后自动跳过后续调用」——它不会发生
和 std::mutex + 手动 double-checked locking 比有什么坑？
有人试图用 std::mutex 加锁 + 原子检查模拟 std::call_once，但极易出错。比如漏加 memory_order_acquire/release、忘记锁粒度、或在检查与加锁之间被抢占导致重复初始化。
std::call_once 的优势不是「更简单」，而是「由标准库保证线程安全的精确一次语义」——它内部使用平台级原语（如 futex、InitializeCriticalSectionOnce），比手写更轻量、更可靠。
但要注意：
- 它不提供初始化结果的返回值，你需要额外用
static变量或原子标志记录状态 - 它不能取消或重置；一旦执行成功，flag 不可复用
- 调试时无法打断点观察「哪次调用真正执行了」，因为执行权由系统调度决定
真正容易被忽略的是：std::once_flag 对象本身没有默认构造函数，也不能 move 或 copy——它只能零初始化（{}）或作为静态/全局变量隐式初始化。哪怕只是想把它塞进容器或传递给另一个函数，都得绕路用指针或封装。
