std::atomic是c++中用于实现线程安全的模板类，通过提供原子操作避免数据竞争。它支持整型、指针等基础类型，常用操作包括load、store、exchange和compare_exchange_weak/strong，确保读写修改不可分割。配合内存序（如memory_order_relaxed、memory_order_seq_cst）可控制可见性与重排序，在保证正确性的同时优化性能。对于非平凡复制或不支持的自定义类型，可能退化为加锁实现，因此适用于需高效并发访问的共享变量场景。
在C++中，std::atomic 是一个模板类，用于封装变量并提供原子操作，确保对这些变量的读、写或修改在多线程环境下是“不可分割”的，即不会被其他线程中断。这是实现线程安全的重要工具之一，尤其适用于避免数据竞争（data race）。
原子操作的基本概念
原子操作指的是一个操作在执行过程中不会被线程调度机制打断。也就是说，从任意线程看来，该操作要么完全执行完毕，要么尚未开始，不存在中间状态。例如：
- 对一个共享计数器进行自增：counter++
- 检查并设置标志位：if (flag) flag = false;
这类操作如果不在原子层面完成，多个线程同时访问就可能导致结果错误。比如两个线程同时执行 counter++，实际可能只增加一次，因为读取、修改、写入这三个步骤可能交错执行。
std::atomic 的基本用法
使用 std::atomic 非常简单，只需将要保护的变量声明为原子类型：
立即学习“C++免费学习笔记（深入）”；
#include <atomic> #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(); // 最终 counter 值一定是 2000 return 0; }
上面的例子中，即使多个线程同时调用 fetch_add，由于它是原子操作，最终结果始终正确。
常用成员函数包括：
- load()：原子地读取当前值
- store(value)：原子地写入新值
- exchange(value)：替换值并返回旧值
- compare_exchange_weak() 和 compare_exchange_strong()：实现 CAS（Compare-And-Swap），常用于无锁编程
- fetch_add()、fetch_sub() 等：原子加减
内存序（Memory Order）的作用
std::atomic 允许指定内存顺序，控制操作的内存可见性和重排序行为。常见的选项有：
- memory_order_relaxed：仅保证原子性，不保证顺序，性能最高
- memory_order_acquire：用于读操作，确保之后的读写不会被重排到它前面
- memory_order_release：用于写操作，确保之前的读写不会被重排到它后面
- memory_order_acq_rel：同时具备 acquire 和 release 语义
- memory_order_seq_cst：默认选项，提供最严格的顺序一致性，但开销最大
合理选择内存序可以在保证正确性的前提下提升性能，尤其是在高性能并发场景中。
适用类型与限制
std::atomic 可用于整型、指针类型等支持原子操作的基础类型。对于自定义类型，C++ 要求其满足“可平凡复制”（trivially copyable），并且底层硬件支持原子操作，否则编译会报错或退化为加锁实现。
例如以下写法是合法的：
std::atomic<int> a{0}; std::atomic<bool> ready{false}; std::atomic<int*> ptr{nullptr};
但如下则可能不被支持：
struct MyStruct { int x, y; }; std::atomic<MyStruct> data; // 可能无法保证原子性，取决于平台
基本上就这些。std::atomic 提供了一种高效且清晰的方式来处理共享数据的并发访问，避免使用互斥锁带来的开销，是现代 C++ 多线程编程的核心组件之一。