不能直接用std::atomic存储节点指针，因其模板参数需trivially copyable，而含构造/析构的节点不满足；且仅原子操作指针值，无法防止ABA问题和use-after-free，必须用compare_exchange_weak循环重试并配合内存回收机制。
为什么不能直接用 std::atomic<t></t> 存储节点指针
因为 C++ 标准要求 std::atomic 的模板参数必须是 trivially copyable 类型，而链表节点（含指针成员）本身通常不是 lock-free 的——即使你用 std::atomic<node></node>，底层可能退化为 mutex 模拟，is_lock_free() 返回 false。真正要的是对头指针的 lock-free 更新，不是对整个节点做原子赋值。
compare_exchange_weak 是核心，但必须配合循环重试
单向链表 Push 本质是「读取当前 head → 构造新节点 → 将新节点 next 指向旧 head → 原子更新 head 为新节点」。中间任何一步被其他线程抢先修改 head，就必须放弃当前操作、重新读取再试。
常见错误是只调用一次 compare_exchange_weak 就认为成功，实际必须写成 do-while 循环：
Node* old_head = head_.load(std::memory_order_acquire);
do {
new_node->next = old_head;
} while (!head_.compare_exchange_weak(old_head, new_node,
std::memory_order_release, std::memory_order_acquire));
注意两点：compare_exchange_weak 第二个参数是输入输出参数，失败时会把当前真实值写回 old_head；memory_order_release 保证新节点构造（如数据写入）不被重排到 CAS 之后。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
节点内存分配必须线程安全，且不能提前释放
无锁结构不管理内存生命周期，Push 中的 new_node 必须来自线程安全的分配器（如 std::pmr::polymorphic_allocator 或自定义 lock-free freelist），否则 new 本身就成了瓶颈或竞争点。
更关键的是：一旦节点被 Push 进链表，就不能在任意时刻 delete 它——因为其他线程可能正通过旧的 head 值访问它。必须等所有潜在读者都完成遍历（即实现 safe memory reclamation，如 epoch-based 或 hazard pointer）。漏掉这点，程序大概率在高并发下崩溃。
没有 ABA 问题？别太早放心
单向链表 Push 看似只改 head，不涉及中间节点修改，似乎逃开了 ABA。但如果你复用节点（比如 pop 后把节点放回 freelist，再 push 出去），就可能遇到 ABA：线程 A 读到 head=X，被抢占；线程 B 把 X pop 出去、又 push 回来（地址没变但内容已不同）；线程 A 继续 CAS 成功，却把旧状态覆盖上去。
解决方法只有两个：
- 用
std::atomic<uint64_t></uint64_t>包装指针+版本号（如std::atomic<:pair uint32_t>></:pair>不合法，得手撸 128-bit CAS 或拆成两个 64-bit 原子变量） - 彻底避免节点复用，每次
Push都分配新内存（简单但有 GC 压力）
cmpxchg16b 实现，但需确认编译器和 CPU 支持；后者看似低效，实测中常比带版本号的方案更快——因为避免了额外的内存加载和比较开销。 
