atomic是C++中通过std::atomic模板类提供的不可中断操作机制，用于多线程环境下保证共享变量读写的安全性，避免数据竞争；它支持load、store、fetch_add等原子操作，并可通过memory_order控制内存顺序，在计数器、标志位、无锁编程等场景中提供比互斥锁更轻量高效的同步手段。
在C++中，原子操作（atomic）指的是不可被中断的操作，即该操作在执行过程中不会被线程调度机制打断。这意味着多个线程同时访问同一个共享变量时，使用原子类型可以保证对该变量的读取、修改或写入操作是“完整”的，不会出现数据竞争（data race），从而避免未定义行为。
什么是atomic？
C++标准库中的 std::atomic
例如：
std::atomiccounter{0};
上面这行代码定义了一个原子整型变量 counter，对它的自增、赋值等操作都是原子的。
立即学习“C++免费学习笔记（深入）”；
常见的原子操作包括：
- load()：原子地读取值
- store(val)：原子地写入值
- fetch_add()、fetch_sub()：原子加减
- exchange()：交换值
- compare_exchange_weak() 和 compare_exchange_strong()：比较并交换（CAS）
为什么需要原子操作？
在多线程程序中，当多个线程同时修改同一个共享变量而没有同步机制时，会出现数据竞争。比如两个线程同时执行 counter++，这个操作实际上包含三步：读值、加1、写回。如果这两个线程交错执行，最终结果可能比预期少。
虽然可以用互斥锁（std::mutex）来保护共享变量，但锁的开销较大，特别是在高并发且操作简单的情况下。原子操作提供了一种更轻量级的同步方式，适用于简单的共享变量操作。
典型应用场景
原子操作特别适合以下几种场景：
-
计数器：比如统计请求次数、对象创建次数等。使用 std::atomic
可以安全实现线程安全计数。 -
标志位控制：如用一个布尔变量表示是否退出循环。多个线程可能读写这个标志，使用 std::atomic
避免缓存不一致问题。 - 无锁编程（lock-free programming）：通过CAS操作构建无锁队列、栈等数据结构，提升性能。
- 单例模式双重检查锁定（DCLP）：配合内存序使用原子指针，确保对象初始化的线程安全。
内存顺序（memory_order）简介
原子操作允许指定内存顺序，控制操作周围的内存访问如何排序。常用的有：
- memory_order_relaxed：最宽松，只保证原子性，不保证顺序
- memory_order_acquire / release：用于实现同步，常用于锁或标志位
- memory_order_seq_cst：默认选项，提供顺序一致性，最安全但也可能稍慢
例如：
counter.fetch_add(1, std::memory_order_relaxed);
在不需要严格同步顺序时，使用宽松内存序可提高性能。
基本上就这些。原子操作不是万能替代锁的方案，但它为特定场景提供了高效、简洁的线程安全手段。理解 atomic 的使用时机和内存模型，对编写高性能并发程序非常重要。
