compare_exchange_weak必须置于do-while循环中且expected为可修改非const引用，否则因伪失败和expected未更新导致死循环或逻辑错误；它在arm等平台允许虚假失败，并覆写expected为当前值。
compare_exchange_weak 必须写在 do-while 循环里
无锁链表插入（比如头插）本质是“读 head → 构造新节点 → 原子更新 head”，这三步之间存在竞争窗口。单次调用 compare_exchange_weak 几乎必然失败——不是因为值被改了，而是它在 ARM/AArch64 上允许伪失败（spurious failure），x86 虽不常触发，但语义一致。不循环就等于放弃重试能力，插入直接丢弃。
正确结构只有一种：do 块先基于当前 expected 构造 desired，再调用 compare_exchange_weak；失败时它会自动把 head 当前真实值写回 expected，下一轮直接可用。
-
int expected = head.load(); do { Node* desired = new_node; } while (!head.compare_exchange_weak(expected, desired));—— ✅ 可行，expected是可修改左值 -
if (head.compare_exchange_weak(expected, desired)) { ... }—— ❌ 竞争窗口未覆盖，逻辑必然漏更新 -
const Node* exp = head.load(); head.compare_exchange_weak(exp, desired);—— ❌exp是 const，函数无法覆写，下次仍拿旧地址比，死循环
expected 必须是非 const 的可修改左值引用
compare_exchange_weak 的第一个参数是 T&，不是输入参数，而是输入-输出参数：成功时用于比对，失败时被覆写为原子变量当前值。这是循环能自维持的唯一机制。
常见错误就是把它当普通值传：
-
int expected = 0; compare_exchange_weak(expected, 1);—— ❌expected初始固定，失败后不会刷新，重试永远用 0 -
compare_exchange_weak(0, 1);—— ❌ 字面量不能绑定非常量引用，编译失败 -
Node* temp = head.load(); compare_exchange_weak(temp, new_node);—— ⚠️ 若不在循环内、或没被函数更新，就退化成固定指针比对，ABA 问题也更易暴露 -
Node* expected = head.load(); do { ... } while (!head.compare_exchange_weak(expected, desired));—— ✅expected可写、生命周期覆盖全程、每次失败自动刷新
指针 CAS 插入必须防 ABA 问题
裸指针的 compare_exchange_weak 在无锁链表中极易触发 ABA：节点 A 被弹出、析构、新节点恰好分配到同一地址，CAS 误判“还是原来的 A”，导致链表断裂或访问已释放内存。
这不是 compare_exchange_weak 的 bug，而是指针本身缺乏版本信息。解决路径有限且必须显式处理：
- 用带版本号的 tagged pointer：
std::atomic<uint64_t></uint64_t>存(ptr >> 3) | (version & 7)，CAS 时一起比对低位版本 - 用 Hazard Pointer 或 epoch-based reclamation 延迟回收节点，确保指针复用前旧对象已不可达
- 避免在插入逻辑里做耗时操作（如
new分配、锁、IO），否则会拉长竞争窗口，放大 ABA 和伪失败影响
weak 和 strong 在插入场景怎么选
在链表插入这种典型循环重试路径上，compare_exchange_weak 是首选。它在 x86 上通常和 strong 性能一致，在 ARM 上生成更轻量指令（如 LDAXR/STLXR），代价是允许伪失败——而这正是循环设计要兜底的部分。
compare_exchange_strong 内部隐含重试逻辑，反而增加分支预测压力和指令开销，高并发下吞吐可能低 10%~15%。
- 优先用
weak：所有循环插入、删除、头尾推进等热点路径 - 考虑用
strong：仅单次尝试逻辑（如初始化哨兵节点）、失败需立即告警、或伪失败会破坏业务原子性（如事务型插入） - 混合策略可行：前 3 次用
weak，失败后切strong，避免极端争用下伪失败堆积
真正难的不是写对循环，而是理解 expected 是个会被覆写的“活变量”——它不是你传进去的那个值，而是你下一轮重试的起点。漏掉这个认知，代码表面能编译，运行起来却卡死或崩溃。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
