c++的std::call_once和std::once_flag怎么用 保证函数只执行一次【多线程】

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

std::call_oncestd::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() 执行且仅执行一次。

关键注意事项

  • once_flag 必须是静态或全局生命周期:不能是局部栈变量(否则每次调用函数都会新建一个 flag,失去“一次”的语义)。常见做法是声明为 static std::once_flag 或全局/类静态成员。
  • call_once 是异常安全的:如果 callable 抛出异常,std::call_once 会捕获并重新抛出,且该 flag 不会被标记为“已执行”,下次调用仍会尝试执行 —— 这意味着你需确保 callable 要么成功完成,要么能处理失败重试逻辑(通常初始化函数应避免抛异常,或用 try/catch 包裹内部逻辑)。
  • 支持带参数的 callablestd::call_once(flag, func, arg1, arg2, ...) 会完美转发参数给 func(支持 move、const ref 等),无需包装成 lambda。
  • 不是互斥锁替代品:它只解决“一次性初始化”问题,不保护后续对共享数据的并发访问。初始化完成后,如需读写 global_data,仍需额外同步(如 mutex、atomic 等)。

典型应用场景

  • 单例模式的线程安全懒初始化(替代经典的 double-checked locking)
  • 全局资源首次加载(如配置文件解析、日志系统启动、GPU 上下文创建)
  • 函数内静态局部变量的底层实现机制(C++11 规定函数内 static 局部变量的初始化本身就是线程安全的,其背后常由 call_once 类似机制实现)
  • 延迟注册回调、插件初始化等“首次触发即生效”的逻辑