compare_exchange_strong 总是失败是因为未更新期望值：它要求传入可修改的左值（如 int expected = old_val），失败时自动更新 expected 为当前值，否则重试必失败；正确自增需循环调用并依赖 updated expected。
compare_exchange_strong 为什么总是失败？
因为 compare_exchange_strong 是“比较并交换”：它先读当前值，再和你传入的「期望值」比；只有相等才写新值，否则把当前值写回你的期望变量。很多人漏掉这一步，直接传一个临时值，导致第二次调用时期望值还是旧的，必然失败。
常见错误现象：compare_exchange_strong 返回 false，但没检查或没更新期望值，后续重试永远卡住。
- 必须把期望值（
expected）声明为可修改的左值，比如int expected = old_val; - 每次失败后，
expected会被自动更新为当前实际值，下次重试可直接复用 - 不要用字面量或 const 变量传
expected，编译不过（参数是T&）
如何正确实现原子自增（++）
这是最典型的使用场景：不依赖锁，安全地给原子整数加一。核心是循环重试，直到成功。
std::atomic<int> counter{0};
int expected = counter.load();
while (!counter.compare_exchange_strong(expected, expected + 1)) {
// 失败时 expected 已被更新为当前值，继续下一轮
}
注意：compare_exchange_strong 的第二个参数是「想要写入的新值」，不是增量。如果想做 += delta，就得写 expected + delta。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 用
load()初始化expected，避免从寄存器或栈上读到陈旧值 - 别用
compare_exchange_weak替代——它可能虚假失败，在简单自增里没必要增加循环次数 - 如果操作逻辑复杂（比如要基于当前值算新值），确保计算在循环内、且只依赖
expected
内存序参数怎么选：memory_order_seq_cst 还是更松的？
默认用 std::memory_order_seq_cst 最安全，但会影响性能；若明确知道其他线程访问模式，可降级。
- 单个原子变量独立更新（如计数器、标志位）：保持默认即可，语义清晰不易出错
- 多个原子变量需协同（如生产者-消费者中的指针+计数器）：考虑
memory_order_acquire/memory_order_release配对 - 绝不要在
compare_exchange_strong中混用memory_order_relaxed做条件判断——可能因重排导致逻辑错乱
示例：带内存序的写法：counter.compare_exchange_strong(expected, expected + 1, std::memory_order_acq_rel)。
compare_exchange_strong 在结构体上能用吗？
可以，但有硬性限制：类型必须是 trivially copyable，且不能有用户定义的构造/析构/赋值函数。编译器需要能按位比较和复制。
常见失败原因：std::atomic<mystruct></mystruct> 编译报错 “user-provided constructor”，哪怕只是 MyStruct() = default; 也可能破坏 triviality。
- 用
static_assert(std::is_trivially_copyable_v<mystruct>)</mystruct>提前检查 - 含
std::string、std::vector等非 POD 成员的结构体无法原子化 - 若必须操作复杂对象，改用
std::atomic<:shared_ptr>></:shared_ptr>或配合 mutex
真正难的不是写对语法，而是确认你正在同步的数据访问模式是否真的只需要 compare_exchange_strong —— 很多时候，看似无锁，实则隐藏了 ABA 或内存重排风险。
