C++如何使用std::call_once实现线程安全初始化-C++-PHP中文网

std::call_once能保证只执行一次，因其底层依赖原子操作和系统同步原语（如pthread_once），仅一个线程执行callable，其余阻塞等待；once_flag必须为static或全局，否则失效。

c++如何使用std::call_once实现线程安全初始化

std::call_once 为什么能保证只执行一次

因为 std::call_once 内部依赖于底层原子操作和操作系统原语（如 pthread_once 或 Windows InitOnceExecuteOnce），它把函数调用和一个 std::once_flag 绑定。只要所有线程都用同一个 std::once_flag 实例调用 std::call_once，无论多少线程并发进入，最终只有**一个线程**会真正执行传入的 callable，其余全部阻塞等待其完成——哪怕那个线程中途抛异常，std::call_once 也仍视为“已尝试过”，后续调用直接返回，不再重试。

必须用 static 或全局 std::once_flag，不能在栈上定义

常见错误是把 std::once_flag 声明在函数局部作用域且非 static：

void init() {
    std::once_flag flag; // ❌ 错！每次调用都新建 flag，完全失去同步意义
    std::call_once(flag, []{ /* ... */ });
}

正确做法只有两种：

static std::once_flag flag; —— 最常用，作用域内唯一
static thread_local std::once_flag flag; —— 极少需要，每个线程独立触发（违背“全局仅一次”本意）
全局变量或类静态成员也可，但需注意初始化顺序问题

根本原因：std::once_flag 内部状态必须跨调用持久存在；栈变量生命周期太短，无法承载同步契约。

lambda 捕获与异常处理的实际约束

std::call_once 不会帮你吞异常——如果 callable 抛出异常，该异常会直接传播出去，且 std::once_flag 仍被标记为“已调用过”。这意味着：

C函数速查手册（CHM版）

下载

后续所有 std::call_once 调用立即返回，不再执行 callable
若初始化逻辑可能失败（比如文件读取、网络请求），必须在 lambda 内部 try/catch，否则第一次失败后永远无法重试
捕获方式推荐按值或 const 引用，避免悬空引用：用 [&] 捕获局部变量极易引发未定义行为

示例（安全写法）：

static std::once_flag init_flag;
static std::unique_ptr<config> config_ptr;
<p>std::call_once(init_flag, []{
try {
config_ptr = std::make_unique<config>("config.json");
} catch (const std::exception& e) {
// 记录日志，或设置默认配置
config_ptr = std::make_unique<config>();
}
});</config></config></p></config>