直接用 std::atomic 实现无锁链表易出错，因原子指针不保所指对象生命周期，CAS 后解引用可能访问已释放内存；需配合 Hazard Pointer 等回收机制或禁复用节点，并严格遵循“重读 head→设 next→CAS”顺序。
为什么直接用 std::atomic<t></t> 实现无锁链表容易出错
因为原子指针只保证指针本身读写原子，不保证所指对象的生命周期；节点被其他线程释放后，load() 仍可能返回悬垂指针。常见错误是：CAS 成功后直接解引用 next，结果访问已 delete 的内存——这在多线程下必崩，且 ASan 都不一定能及时捕获。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 必须配合内存回收机制（如 Hazard Pointer 或 RCU），但初学者可先用保守方案：禁止节点复用，所有节点
new出来后永不delete（仅适用于短生命周期或内存充足场景） - 插入操作不能只改头指针，需确保新节点的
next字段在 CAS 前已正确初始化，否则其他线程可能读到未定义值 -
std::atomic<t>::compare_exchange_weak()</t>返回false时，必须重新读取当前头指针再重试，不能直接 continue
插入节点的核心 CAS 循环怎么写才安全
关键不是“怎么写循环”，而是循环里每一步的顺序和原子性边界。典型错误是先算好 new_node->next = head.load()，再 CAS，但中间 head 可能已被其他线程更新，导致跳过新节点。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 每次循环都重新读取
head：用auto expected = head.load();开头 - 设置新节点的
next必须在expected读取之后、CAS 之前：new_node->next = expected; - CAS 参数顺序别颠倒：
head.compare_exchange_weak(expected, new_node)，第一个是引用输出参数，第二个是期望替换值 - 如果 CAS 失败，
expected已被更新为当前真实值，直接下一轮循环，无需额外 load
示例片段：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
Node* new_node = new Node(val);
Node* expected;
do {
expected = head.load();
new_node->next = expected;
} while (!head.compare_exchange_weak(expected, new_node));遍历链表时如何避免访问已删除节点
无锁链表的遍历本质上是“尽力而为”：你无法阻止其他线程在你读 next 的瞬间删掉它。所以遍历只能用于只读快照类场景（如统计长度、打印调试），不能用于依赖节点稳定性的逻辑（如修改字段）。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 遍历时用普通指针逐级前进：
Node* curr = head.load(); while (curr) { ... curr = curr->next; }，但必须接受curr->next可能是已释放地址 - 若需强一致性遍历，必须引入同步机制（如全局读锁），那就不是无锁了
- 调试时可在节点析构前 sleep(1)，观察遍历崩溃点，确认是否真出现 ABA 或释放竞态
std::atomic<node></node> 在不同平台上的对齐与大小陷阱
x86-64 上 std::atomic<node></node> 通常能用 lock cmpxchg 原子实现，但 ARM64 或某些旧编译器可能降级为锁保护——此时看似无锁，实际有隐藏锁开销，性能反而不如 std::mutex。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 编译时加
-std=c++20并检查std::atomic<node>::is_lock_free()</node>返回 true，否则别标榜“无锁” - 确保
Node结构体首地址自然对齐（alignas(std::atomic<node>)</node>不必要，但Node*本身需 8 字节对齐） - Clang/GCC 下可用
__atomic_is_lock_free(sizeof(Node*), nullptr)编译期断言
真正落地时，多数业务场景用 std::mutex 包裹普通链表更稳；无锁链表的价值只在极高吞吐、极低延迟且 profiler 确认锁是瓶颈时才体现出来——而这时你早该用成熟的 boost::lockfree::slist 或 folly::AtomicUnorderedLinkedList 了。
