[精] C++11中once_flag,call_once实现分析

本文深入探讨了C++11标准中用于线程同步的once_flag机制及其配套函数call_once的具体实现细节,为读者揭示了这些高级同步原语背后的原理。
<think>我们正在讨论C++中的std::once_flag和std::call_once。这两个工具用于确保某个函数只被调用一次,即使在多线程环境下也是如此。这通常用于实现线程安全的单例模式,或者初始化只应执行一次的资源。 我们将首先解释这两个组件的用途和基本用法,然后给出一个示例代码,最后根据内容提出相关问题。 </think>### `std::once_flag` 与 `std::call_once` 的用法 `std::once_flag` 和 `std::call_once` 是 C++11 引入的线程安全初始化工具,用于确保某个操作在多线程环境中仅执行一次,比双重检查锁定更简洁安全。以下是核心要点和用法: #### **核心作用** 1. **`std::once_flag`**: - 状态标志,记录关联操作是否已执行(不可复制,不可移动)。 2. **`std::call_once`**: - 接受一个 `once_flag` 和可调用对象(如函数、lambda)。 - **保证**:无论多少线程调用,可调用对象仅执行一次。 --- #### **使用步骤** 1. 声明全局/静态的 `once_flag` 对象(通常与单例关联)。 2. 在需要初始化的位置调用 `std::call_once`,传入操作逻辑。 #### **示例:线程安全的单例模式** ```cpp #include <mutex> class Singleton { public: static Singleton& getInstance() { std::call_once(initFlag, []() { instance.reset(new Singleton); }); return *instance; } private: Singleton() {} // 私有构造函数 static std::unique_ptr<Singleton> instance; static std::once_flag initFlag; // 初始化标志 }; // 静态成员初始化 std::unique_ptr<Singleton> Singleton::instance; std::once_flag Singleton::initFlag; ``` #### **关键特性** - **隐式同步**:内部通过锁和原子操作保证线程安全,无需手动管理内存顺序。 - **异常安全**:若操作抛出异常,其他线程会重新尝试执行。 - **替代场景**: - 替代双重检查锁定,避免指令重排风险。 - 初始化全局配置、日志系统等需一次性执行的资源。 --- #### **与双重检查锁定的对比** | 特性 | `std::call_once` | 双重检查锁定 | |---------------------|--------------------------------|--------------------------| | **复杂度** | 更简洁(无需显式锁/原子操作) | 需手动处理内存顺序和锁 | | **安全性** | 无指令重排风险 | 需谨慎使用 `volatile`/原子 | | **适用性** | C++11 及以上 | 跨语言通用 |
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值