std::atomic不可用=赋值因禁复制赋值，须用构造函数或store()初始化；atomic_flag是唯一保证无锁的类型，适合自旋锁；复合操作如fetch_add比load+store更可靠。
atomic 的基本声明和初始化为什么不能用 =
因为 std::atomic 是不可复制、不可赋值的类型，直接写 std::atomic<int> a = 42;</int> 会编译失败（错误信息类似 use of deleted function 'std::atomic<int>::atomic(const std::atomic<int>&)'</int></int>）。必须用构造函数或 .store() 显式赋初值。
正确写法：
std::atomic<int> a{42}; // ✅ 构造时初始化
std::atomic<int> b; // ✅ 默认初始化（值未定义，需后续 store）
b.store(100); // ✅ 显式写入
</int></int>
- 默认构造的
std::atomic<t></t>对于内置类型（如int、bool）不保证零初始化，务必显式.store()或用花括号初始化 - 自定义类型
T要用std::atomic，必须满足 trivially copyable，且不能有用户定义的拷贝/移动操作符 -
std::atomic_flag是唯一保证无锁（lock-free）的原子类型，适合做自旋锁，但只能表示 true/false
load() 和 store() 的内存序参数怎么选
不传内存序参数时，默认是 std::memory_order_seq_cst（顺序一致性），最安全也最慢；实际中常可降级以提升性能，但必须理解语义差异。
常见组合：
-
a.load(std::memory_order_acquire)：防止该读之后的内存访问被重排到它前面（用于“读取共享数据前先确认信号”） -
a.store(42, std::memory_order_release)：防止该写之前的内存访问被重排到它后面（用于“更新数据后再发信号”） -
a.fetch_add(1, std::memory_order_relaxed)：仅保证原子性，不约束重排，适合计数器等无需同步其他内存的场景
错误示例：a.store(1, std::memory_order_acquire) 是非法的——store 不允许用 acquire，load 不允许用 release。编译器会报错，别硬记，查 cppreference 就行。
fetch_add 等复合操作为什么比 load+store 更可靠
像 counter.fetch_add(1) 是单条原子指令（如 x86 的 xadd），而 counter.load(); counter.store(...) 是两步，中间可能被其他线程打断，导致竞态。即使加了内存序，也不能替代原子读-改-写操作本身。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
常用复合操作（全部返回旧值）：
-
a.fetch_add(n)/a.fetch_sub(n)：整型专用，支持+=类语义 -
a.fetch_and(mask)/a.fetch_or(mask)/a.fetch_xor(mask)：位操作，适合标志位管理 -
a.compare_exchange_weak(expected, desired)：CAS 原语，实现无锁结构的基础；注意它可能伪失败（spurious failure），需循环重试
别用 a++ 或 a += 1 —— 这些不是原子的，底层展开就是 load + add + store 三步。
atomic 和 atomic_flag 哪个更适合做自旋锁
std::atomic_flag 是唯一保证 lock-free 的原子类型，且大小固定为 1 字节，初始化即清零（ATOMIC_FLAG_INIT），没有构造函数开销；而 std::atomic<bool></bool> 在某些平台可能被实现为带锁的（is_lock_free() == false）。
自旋锁典型写法：
std::atomic_flag lock = ATOMIC_FLAG_INIT;
while (lock.test_and_set(std::memory_order_acquire)) {
// 自旋等待
}
// 临界区
lock.clear(std::memory_order_release);
-
test_and_set()返回旧值并设为 true，是原子的“读-改”操作 - 用
std::memory_order_acquire配合test_and_set，确保临界区代码不会被重排到锁获取之前 -
std::atomic<bool></bool>没有test_and_set，只能靠compare_exchange_weak模拟，多一层间接，且无法保证 lock-free
真正需要跨线程同步状态时，别只看类型名是否带 atomic，一定要检查 is_lock_free()，尤其在嵌入式或低延迟场景下，伪锁（emulated lock）可能带来意外延迟。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
