compare_exchange_weak必须在循环中使用且expected为非const可修改左值引用，否则因伪失败无法更新expected导致死循环；它会失败时覆写expected为当前值，是输入-输出参数。
compare_exchange_weak 必须写在循环里，否则大概率死循环或逻辑错
它不是“偶尔失败”，而是设计上就要求你用循环兜底。伪失败（spurious failure）在 ARM 上真实存在——中断、缓存行失效、上下文切换都可能让 compare_exchange_weak 返回 false，哪怕 expected 值完全匹配。更关键的是：失败时它会把原子变量当前真实值写回你传入的 expected 引用里，这是下一轮重试的唯一依据。
常见错误现象：
-
int expected = 0; atomic_var.compare_exchange_weak(expected, 1);—— 只调一次，expected固定不变，伪失败后永远卡住 -
const int exp = atomic_var.load(); atomic_var.compare_exchange_weak(exp, 1);—— 绑定到const，函数无法更新exp，下次仍拿旧值重试 -
int expected = atomic_var.load(); if (atomic_var.compare_exchange_weak(expected, desired)) { ... }—— 单次判断毫无意义，竞争窗口始终存在
正确模式只有一种：int expected = atomic_var.load(); do { /* 构造 desired */ } while (!atomic_var.compare_exchange_weak(expected, desired));
expected 必须是非 const 的左值引用，且不能是临时量
expected 是输入-输出参数，不是只读输入。它的地址会被 compare_exchange_weak 写入最新快照，否则循环失去自推进能力。C++ 标准强制要求它为非 const 的可修改左值引用，编译器会在绑定临时量或 const 变量时报错（或静默降级为未定义行为）。
立即学习“C++免费学习笔记（深入）”；
容易踩的坑：
- 声明成
const int& expected = ...—— 编译失败或逻辑崩溃 - 直接传字面量：
atomic_var.compare_exchange_weak(0, 1)—— 不合法，连编译都过不去 - 用 auto 推导出 const 类型：
auto expected = atomic_var.load();→expected是int值类型，不是引用
务必显式写成：int expected = atomic_var.load();（自动推导为左值引用语义），或 int& expected_ref = expected; 后传参。
weak 和 strong 怎么选？不是强弱问题，是场景适配问题
两者性能差异不在“实现质量”，而在是否容忍伪失败及底层指令选择。x86 上它们常编译为同一条 cmpxchg，但 ARM 上 compare_exchange_weak 生成 LDAXR/STLXR（轻量、允许伪失败），而 compare_exchange_strong 用 LDXR/STXR 并内嵌隐式重试循环（无伪失败，但分支开销更高）。
优先用 compare_exchange_weak 的场景：
- 所有循环重试结构：无锁栈
push/pop、队列enqueue/dequeue、计数器递增 - 高吞吐热点路径：ARM 下实测吞吐比
strong高 10%~15%
考虑用 compare_exchange_strong 的场景：
- 单次尝试逻辑，比如初始化一个全局标志位
std::atomic<bool> initialized{false}</bool> - 失败需触发昂贵操作：写日志、发告警、降级处理
- 业务语义禁止伪失败：如金融事务状态跃迁，false 必须代表真实冲突
指针 CAS 的 ABA 问题不是 compare_exchange_weak 的 bug
裸指针 std::atomic<node></node> 的 compare_exchange_weak 正常工作，但无法防止 ABA：节点 A 被弹出、析构、新节点恰好分配到同一地址，CAS 误判“还是 A”，导致链表断裂或 use-after-free。
这不是函数缺陷，而是指针本身缺乏版本信息。可行解法只有显式增强：
- 用带版本号的 tagged pointer：
std::atomic<uint64_t></uint64_t>存(ptr >> 2) | (version & 0x3)，CAS 时比对整个 64 位 - 用 hazard pointer 或 epoch-based reclamation 延迟节点回收，确保地址不被复用
别指望 compare_exchange_weak 自动解决 ABA——它只保证原子性，不保证语义完整性。
