atomic 通过硬件原子指令和内存屏障解决数据竞争，适用于简单状态同步；但非万能锁替代品，多变量协同更新仍需 mutex。
atomic 是 C++ 中避免数据竞争最轻量、最直接的工具，但它不是万能锁替代品——用错场景反而引发更隐蔽的 bug。
atomic 为什么能解决数据竞争？
数据竞争的本质是多个线程对同一内存位置做**非原子的读-改-写**（如 i++），而 std::atomic 保证这类操作在硬件或编译器层面不可分割。它不靠互斥锁阻塞线程，而是依赖 CPU 提供的原子指令（如 x86 的 LOCK XADD）或内存屏障（memory barrier）来同步缓存与主存。
- 必须显式声明：原始类型（
int、bool等）不能直接当原子变量用，得包装成std::atomic - 默认使用
memory_order_seq_cst（顺序一致性），语义最强但可能有性能开销；高频场景可降级为relaxed或acquire/release - 注意：
std::atomic不保证对象内所有成员都原子——比如std::atomic是非法的，因为std::string不是 trivially copyable
哪些操作真正“原子”？哪些只是“看起来像”？
不是所有 std::atomic 成员函数都生成单条 CPU 指令。例如：
-
load()、store()、exchange()、compare_exchange_weak/strong()—— 真正原子，对应硬件指令 -
operator++()、fetch_add()—— 原子，但底层可能是LOCK ADD类指令 -
operator=赋值：仅对 trivial 类型（如int）是原子的；对自定义 struct，即使声明为std::atomic，也仅当MyStruct是 trivially copyable 且大小 ≤ 指针宽时才可用 lock-free 实现，否则退化为内部互斥锁（可通过is_lock_free()检查）
和 mutex 相比，什么时候该选 atomic？
atomic 适合简单共享状态同步，比如计数器、标志位、无锁队列节点指针更新；一旦逻辑涉及多个变量协同变更（如“先检查余额再扣款”），就必须用 std::mutex 或事务性内存（TSX）等更高阶机制。
立即学习“C++免费学习笔记（深入）”；
