std::call_once和std::once_flag确保某函数在多线程下仅执行一次,首次调用时执行、后续直接返回;once_flag须为静态或全局变量,call_once支持异常安全和参数转发,但不替代互斥锁。

std::call_once 和 std::once_flag 是 C++11 引入的线程安全机制,专门用于**确保某个函数在多线程环境下只执行一次**,且是**首次调用时执行、后续调用直接返回**。它比手写双重检查锁(Double-Checked Locking)更简洁、更安全、更不易出错。
核心用法:配合使用,不可单独使用
std::once_flag 是一个标记类型,必须和 std::call_once 配合使用。它本身不提供任何成员函数,仅作为“是否已执行过”的内部状态载体。
std::call_once 是执行入口:传入一个 std::once_flag& 和一个可调用对象(函数、lambda、functor 等),它会原子地检查 flag 状态 —— 若未执行过,则执行该 callable 并标记为“已执行”;若已执行过,则直接返回,不重复执行。
基本语法示例
#include#include #include std::once_flag init_flag; int global_data = 0; void init_once() { std::cout << "Initializing... (thread ID: " << std::this_thread::get_id() << ")\n"; global_data = 42; } int main() { std::thread t1([]{ std::call_once(init_flag, init_once); }); std::thread t2([]{ std::call_once(init_flag, init_once); }); std::thread t3([]{ std::call_once(init_flag, init_once); }); t1.join(); t2.join(); t3.join(); std::cout << "global_data = " << global_data << "\n"; // 输出 42 }
运行结果中,"Initializing..." 只会打印一次,无论多少个线程同时调用 std::call_once,都严格保证 init_once() 执行且仅执行一次。
立即学习“C++免费学习笔记(深入)”;
关键注意事项
-
once_flag 必须是静态或全局生命周期:不能是局部栈变量(否则每次调用函数都会新建一个 flag,失去“一次”的语义)。常见做法是声明为
static std::once_flag或全局/类静态成员。 -
call_once 是异常安全的:如果 callable 抛出异常,
std::call_once会捕获并重新抛出,且该 flag 不会被标记为“已执行”,下次调用仍会尝试执行 —— 这意味着你需确保 callable 要么成功完成,要么能处理失败重试逻辑(通常初始化函数应避免抛异常,或用 try/catch 包裹内部逻辑)。 -
支持带参数的 callable:
std::call_once(flag, func, arg1, arg2, ...)会完美转发参数给 func(支持 move、const ref 等),无需包装成 lambda。 -
不是互斥锁替代品:它只解决“一次性初始化”问题,不保护后续对共享数据的并发访问。初始化完成后,如需读写
global_data,仍需额外同步(如 mutex、atomic 等)。
典型应用场景
- 单例模式的线程安全懒初始化(替代经典的 double-checked locking)
- 全局资源首次加载(如配置文件解析、日志系统启动、GPU 上下文创建)
- 函数内静态局部变量的底层实现机制(C++11 规定函数内 static 局部变量的初始化本身就是线程安全的,其背后常由
call_once类似机制实现) - 延迟注册回调、插件初始化等“首次触发即生效”的逻辑










