原子操作是不可分割的操作，C++中通过std::atomic实现对共享变量的原子访问，避免数据竞争。它支持int、bool、指针等类型的原子操作，如fetch_add实现原子自增，常用于无锁编程。示例中两个线程各递增1000次，最终结果精确为2000。std::atomic允许指定内存序，如memory_order_relaxed仅保证原子性，memory_order_seq_cst提供最强顺序一致性，而acquire/release用于同步线程间操作。注意std::atomic仅适用于平凡可复制类型，复杂结构应避免直接原子化。可通过is_lock_free()判断是否无锁，依赖硬件CAS指令时性能更优。正确使用std::atomic需理解内存模型与操作语义，能显著提升多线程程序效率与安全性。
在C++多线程编程中，std::atomic 是保证共享数据原子访问的核心工具。它避免了传统锁机制的开销，同时防止数据竞争，确保操作的完整性。使用 std::atomic 可以对特定类型执行原子读、写、修改等操作，是实现无锁编程的基础。
什么是原子操作？
原子操作是指不会被线程调度机制打断的操作——要么完全执行，要么完全不执行，不存在中间状态。这在多线程环境下至关重要，尤其是对共享变量进行自增、赋值或交换时。
C++11 引入了 std::atomic 模板类，支持如 int、bool、指针等基本类型的原子封装。例如：
-
std::atomic
可安全地在多个线程中递增 -
std::atomic
常用于标志位控制 -
std::atomic
支持原子指针操作
基本用法示例
以下是一个典型的原子计数器例子：
立即学习“C++免费学习笔记（深入）”；
#include <atomic>
#include <thread>
#include <iostream>
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() << "\n";
return 0;
}
这里 fetch_add 确保每次加法都是原子的，不会出现竞态条件。最终结果一定是2000。
内存序（Memory Order）的选择
std::atomic 的操作可以指定内存顺序，影响性能和同步强度。常用选项包括：
- std::memory_order_relaxed：仅保证原子性，无同步或顺序约束，最快
- std::memory_order_acquire：用于读操作，确保之后的读写不会被重排到当前操作前
- std::memory_order_release：用于写操作，确保之前的读写不会被重排到当前操作后
- std::memory_order_acq_rel：结合 acquire 和 release
- std::memory_order_seq_cst：默认选项，提供最严格的顺序一致性
例如，在实现自旋锁或标志位通知时，常使用 acquire/release 来平衡性能与正确性。
原子操作的限制与注意事项
std::atomic 不适用于所有类型。只有平凡可复制（trivially copyable）类型才能被原子化。自定义结构体需谨慎使用，通常建议使用 std::atomic_flag 或配合互斥量处理复杂情况。
另外，并非所有原子操作都无锁。可通过 is_lock_free() 方法检查：
std::atomic<int> a;
if (a.is_lock_free()) {
std::cout << "Atomic int is lock-free.\n";
}
lock-free 操作性能更高，依赖于底层硬件支持（如CAS指令）。
基本上就这些。合理使用 std::atomic 能有效提升多线程程序的效率与安全性，关键是理解其语义和内存模型。不复杂但容易忽略细节。
