c++中的std::call_once是什么_c++保证函数仅执行一次的线程安全方法

std::call_once 可保证多线程中某段代码仅执行一次,配合 std::once_flag 实现线程安全的延迟初始化,适用于单例、全局资源配置等场景,相比手动加锁更安全高效,且要求被调用函数不抛异常。

std::call_once 是 C++ 中用于保证某段代码在多线程环境下**只执行一次**的线程安全机制。它常用于实现延迟初始化,比如单例模式中的线程安全初始化,避免竞态条件和重复执行。

基本用法与原理

std::call_once 需要配合 std::once_flag 使用。once_flag 是一个标记,用来记录对应的操作是否已经执行过。每次调用 std::call_once 时,系统会检查该标记,只有首次调用会真正执行函数,其余线程会阻塞等待那次执行完成,之后直接返回。

示例代码:
#include 
#include 
#include 

std::once_flag flag;

void do_init() {
    std::cout << "初始化操作,仅执行一次\n";
}

void thread_func() {
    std::call_once(flag, do_init);
}

int main() {
    std::thread t1(thread_func);
    std::thread t2(thread_func);
    std::thread t3(thread_func);

    t1.join();
    t2.join();
    t3.join();

    return 0;
}

无论多少个线程调用 thread_funcdo_init 都只会被执行一次。

适用场景

std::call_once 特别适合以下情况:

  • 单例对象的线程安全初始化(Meyer 单例更简洁,但 call_once 提供更灵活的控制)
  • 全局资源的首次配置,如日志系统、数据库连接池的启动
  • 回调注册、信号处理设置等只需运行一次的逻辑

与其它机制对比

相比手动使用互斥锁加 if 判断的方式,std::call_once 更安全且高效:

  • 避免了“双重检查锁定”模式中可能的内存可见性问题
  • 不需要开发者手动管理锁的粒度和生命周期
  • 标准库内部做了优化,开销小,且确保唤醒所有等待线程

注意:传给 std::call_once 的函数不能抛出异常,否则程序会终止。如果初始化可能失败,应在函数内部处理异常,或使用状态变量标记失败。

基本上就这些。std::call_once 简洁、安全,是 C++ 多线程编程中实现“一次执行”语义的推荐方式。