不能直接用std::atomic操作next指针，因其仅保证指针值原子性，无法防止ABA问题和中间态撕裂；必须配合compare_exchange_weak循环重试、所有next声明为atomic，并引入hazard pointer等内存回收机制。
为什么不能直接用 std::atomic 操作 next 指针
因为 std::atomic<node></node> 对指针的 load/store 是原子的，但链表常见的“读取当前节点 next → 修改它指向新节点”这种两步操作天然存在 ABA 问题，且无法保证 CAS（compare-and-swap）期间整个逻辑正确。裸指针 + std::atomic 无法安全实现插入或删除——比如删除时若只 CAS next，可能漏掉被其他线程刚插入又删掉的节点。
必须用 std::atomic 的 compare_exchange_weak 实现插入
插入新节点到 head 前，需确保 head 未被其他线程修改。典型做法是循环 CAS：
Node* old_head = head.load();
new_node->next = old_head;
while (!head.compare_exchange_weak(old_head, new_node)) {
new_node->next = old_head; // 失败后重读
}-
compare_exchange_weak可能虚假失败，必须在循环内重试 - 赋值
new_node->next = old_head必须在每次循环体内，不能提到外面——否则 old_head 更新后 new_node 指向旧值 - 不加内存序（默认
memory_order_seq_cst）最安全；性能敏感场景可降为memory_order_acq_rel，但需确保所有访问都配对
删除头节点时如何避免 ABA 问题
单纯比较 head 是否等于预期值不够：A 线程读到 head=A，B 线程删掉 A、插入 B、再删掉 B 插入 A，此时 head 又是 A，但已不是原来那个 A 节点。标准解法是给指针加版本号（tagged pointer）：
struct TaggedPtr {
uintptr_t value;
static constexpr int TAG_BITS = 2;
static constexpr uintptr_t TAG_MASK = (1ULL << TAG_BITS) - 1;
<pre class="brush:php;toolbar:false;">Node* get_ptr() const { return reinterpret_cast<Node*>(value & ~TAG_MASK); }
uint32_t get_tag() const { return value & TAG_MASK; }
uintptr_t pack(Node* ptr, uint32_t tag) { return reinterpret_cast<uintptr_t>(ptr) | (tag & TAG_MASK); }};
立即学习“C++免费学习笔记（深入）”；
- 用低几位存 tag（如 2 位支持 4 次重用），高位存真实指针
- CAS 改为对
TaggedPtr整体原子操作，每次删除成功后 tag+1 - 注意 x86-64 上指针低 3 位总是 0，可安全用于 tagging；ARM64 需确认平台 ABI 是否允许
遍历链表时为何不能依赖 next == nullptr 判断结尾
无锁环境下，某节点的 next 可能被其他线程刚设为非空，但该新节点尚未完成初始化（如 next 字段没写完），此时遍历会读到脏数据甚至崩溃。安全遍历唯一可靠方式是：只读已确认存在的节点，且每个节点生命周期由外部（如 hazard pointer 或 epoch-based reclamation）保障。
- 不要在遍历时对
node->next做任意解引用——先用load(memory_order_acquire)读取，再检查是否非空，再用acquire语义进入下一跳 - 没有内存回收机制（如 HP/RCU）时，禁止真正 delete 节点；否则遍历线程可能访问已释放内存
- 简单测试可用
std::shared_ptr<node></node>管理生命周期，但会引入引用计数开销，且不能完全避免 ABA
无锁链表真正难的不是插入删除逻辑，而是内存生命周期管理——这点常被忽略，但一旦出错就是段错误或静默数据损坏。
