std::atomic 是c++中用于实现线程安全原子操作的模板类，可避免数据竞争并减少锁开销。它支持整型、指针等可平凡复制类型，常用操作包括 load、store、fetch_add、compare_exchange_weak 等，适用于计数器、标志位等场景。通过指定 memory_order 可调节内存顺序以平衡性能与一致性，如 relaxed 用于高性能计数，acquire/release 用于同步，seq_cst 为默认强顺序。自定义类型需满足特定条件才能原子化，否则需借助锁。正确使用 std::atomic 能提升并发效率，但需注意类型限制与内存序选择。

在C++中，std::atomic 是实现原子操作的核心工具，它能确保对共享变量的操作不会被多个线程同时修改而产生数据竞争。使用 std::atomic 可以避免使用互斥锁（mutex）带来的性能开销，适用于简单的共享状态同步场景，比如计数器、标志位等。

std::atomic 基本用法

std::atomic 是一个模板类，可以包装整型、指针等支持原子操作的类型。常用的基本类型如 int、bool、long 等都可以直接使用。

例如，定义一个原子整型计数器：

 #include <atomic> #include <iostream> #include <thread>  std::atomic<int> counter(0);  void increment() {     for (int i = 0; i < 1000; ++i) {         counter.fetch_add(1, std::memory_order_relaxed);     } }  int main() {     std::thread t1(increment);     std::thread t2(increment);      t1.join();     t2.join();      std::cout << "Final counter value: " << counter.load() << std::endl;     return 0; } 

上面代码中，两个线程同时对 counter 进行自增操作，由于使用了 std::atomic<int>，整个操作是线程安全的，最终结果为2000。

立即学习“C++免费学习笔记（深入）”；

常用的原子操作函数

std::atomic 提供了一系列成员函数用于执行原子读写和修改操作：

• load()：原子地读取当前值
• store(val)：原子地写入新值
• fetch_add(val)：原子加法，返回旧值
• fetch_sub(val)：原子减法
• exchange(val)：设置新值并返回旧值
• compare_exchange_weak(expected, desired)：比较并交换（CAS），常用于无锁编程

例如，使用 compare_exchange_weak 实现线程安全的单例或状态切换：

 std::atomic<bool> flag(false);  bool expected = false; if (flag.compare_exchange_weak(expected, true)) {     // 成功将 flag 从 false 改为 true     std::cout << "Flag acquired!" << std::endl; } else {     std::cout << "Flag already set." << std::endl; } 

内存顺序（Memory Order）控制

原子操作的性能和可见性可以通过指定内存顺序来调节。C++ 提供了多种 std::memory_order 枚举值：

PPT.CN,PPTCN,PPT.CN是什么,PPT.CN官网,PPT.CN如何使用

一键操作，智能生成专业级PPT

37

查看详情

• std::memory_order_relaxed：最宽松，只保证原子性，不保证顺序
• std::memory_order_acquire：用于读操作，保证之后的读写不会被重排到此操作前
• std::memory_order_release：用于写操作，保证之前的读写不会被重排到此操作后
• std::memory_order_acq_rel：同时具有 acquire 和 release 语义
• std::memory_order_seq_cst：默认选项，提供最严格的顺序一致性，性能开销最大

在不需要严格顺序的场景下，使用 relaxed 可提升性能。例如计数器：

 counter.fetch_add(1, std::memory_order_relaxed); 

而在需要同步多个变量时，通常使用 acquire/release 模式来建立 happens-before 关系。

适用类型与限制

std::atomic 并非支持所有类型。只有满足“可平凡复制（trivially copyable）”且硬件支持原子操作的类型才能使用。标准库对以下类型提供了特化：

• 整型（int, long, bool 等）
• 指针类型（T*）

对于自定义结构体，不能直接使用 std::atomic<MyStruct>，除非该类型是字节可复制且编译器确认支持原子操作。否则需配合锁或其他机制实现原子性。

基本上就这些。合理使用 std::atomic 能有效减少锁的使用，提高并发效率，但要注意内存顺序的选择和类型限制，避免误用导致隐蔽的并发问题。