compare_exchange_weak必须在循环中使用，因存在伪失败且需更新expected值；正确模式为先load再while循环重试，expected须为非const左值；weak适合循环CAS，strong适合单次关键操作；ABA问题需通过版本号或延迟回收解决。
compare_exchange_weak 必须写在循环里，否则大概率失败
它不是“试一次看行不行”的函数，而是设计为配合重试逻辑使用的原子原语。单独调用一次 compare_exchange_weak 几乎必然返回 false——哪怕值没被改过，因为 ARM/PowerPC 等平台允许伪失败（spurious failure），且函数会在失败时把当前真实值写回 expected 变量。
常见错误现象：
-
int expected = 0; atomic_var.compare_exchange_weak(expected, 1);—— 只调一次，expected始终是 0，下次重试还是拿 0 去比，永远失败 -
const int exp = atomic_var.load(); atomic_var.compare_exchange_weak(exp, 1);—— 编译可能过，但exp是 const，函数无法更新它，等效于上一条
正确做法只有这一种模式：
int expected = atomic_var.load();
while (!atomic_var.compare_exchange_weak(expected, desired)) {
// expected 已被自动更新为 atomic_var 当前值
// 下次循环用这个新值重试
}
expected 必须是非 const 的左值引用
compare_exchange_weak 的第一个参数是 T& expected，不是 const T&，也不是临时量。它靠修改这个引用所指向的变量来传递最新值，这是函数能“自适应重试”的唯一机制。
立即学习“C++免费学习笔记（深入）”；
容易踩的坑：
- 传入字面量：
compare_exchange_weak(0, 1)→ 编译失败（不能绑定非常量引用到右值） - 传入临时对象：
compare_exchange_weak(atomic_var.load(), 1)→ 同样编译失败 - 声明为
const int expected = ...→ 即使侥幸编译通过，函数内部无法写入，expected不会更新，循环卡死
所以必须显式声明一个可修改的变量，并确保它的生命周期覆盖整个循环体。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
compare_exchange_weak 和 strong 怎么选？别迷信“strong 更可靠”
选哪个不取决于“谁更正确”，而取决于你是否在循环中使用、以及对失败开销的容忍度。
关键差异：
-
compare_exchange_weak：可能伪失败，但单次调用指令更轻（ARM 上用LDAXR/STLXR），适合循环场景；失败后expected被更新，可立即重试 -
compare_exchange_strong：无伪失败，但某些平台（如旧版 ARM）内部会模拟一个隐式小循环来兜底，单次调用开销略高；适合只试一次、失败代价极高（比如要触发告警或降级）的场景
实战建议：
- 所有循环 CAS 场景（push/pop 无锁栈、无锁队列插入）一律用
weak - 如果循环中连续多次
weak失败（比如 >10 次），可以 fallback 到strong避免极端争用下伪失败堆积 - 不要在非循环逻辑里强行用
weak，那只是增加不可控失败分支
指针类型 CAS 的 ABA 问题不是 compare_exchange_weak 的锅
用 std::atomic<node></node> 实现无锁链表时，出现崩溃或数据错乱，常被误认为是 compare_exchange_weak 有 bug。实际是裸指针 CAS 固有的 ABA 问题：节点 A 被弹出、析构、新节点又分配到同一地址，CAS 误判“还是原来的 A”。
这不是内存序或函数选型问题，而是抽象层级缺失。解决路径有限且必须显式处理：
- 加版本号：用
std::atomic<uint64_t></uint64_t>存打包的(ptr, tag)，CAS 时一起比 - 延迟回收：用 Hazard Pointer 或 epoch-based reclamation，确保旧节点地址不会被立即复用
- 避免裸指针：改用
std::shared_ptr+compare_exchange_weak（但要注意控制块线程安全与性能折损）
没有银弹。一旦用了指针 CAS，ABA 就是绕不开的复杂点，必须在设计阶段就决定怎么防，而不是等 crash 了再查 compare_exchange_weak 返回值。
