不能直接用 std::forward_list 或裸 std::atomic 实现真正高性能无锁单向链表，因其无法同时解决 ABA 问题、内存回收难题和原子链接操作；std::forward_list 内部不暴露节点指针且操作非原子，而仅声明 next 为 std::atomic<Node*> 只保证指针读写原子性，无法防止地址复用导致的 CAS 误判与链表结构破坏。
不能直接用 std::forward_list 或裸 std::atomic<node></node> 实现真正高性能的无锁单向链表——它必须同时解决 ABA、内存回收和原子链接三重问题，否则轻则逻辑错乱，重则 UAF 崩溃。
为什么 std::forward_list 和普通 atomic 都不行
std::forward_list 内部没有暴露节点指针，所有操作加锁或非原子，根本无法参与无锁协作；而只把 next 声明为 std::atomic<node></node> 仅保证指针读写不撕裂，但无法防止：A 线程读到 head == p，B 删除 p 后重用同一地址新建节点，A 的 CAS 成功却链接到“新 p”，链表结构被静默破坏。这不是罕见边界，而是必然发生的 ABA 问题。
常见错误包括：
- 用
store()直接覆盖head，导致中间节点丢失 - 插入时没循环重试
compare_exchange_weak，失败后继续用旧old_head构造新节点 - 节点含
std::string或虚函数，构造/析构触发异常或非 trivial 操作，破坏无锁前提
Node 和 head 必须怎么定义才安全
节点结构必须是 POD 类型，无析构、无异常、无动态分配成员：
立即学习“C++免费学习笔记（深入）”；
struct Node {
int data;
std::atomic<Node*> next{nullptr};
};std::atomic<Node*> head{nullptr}; 是唯一合法起点。注意三点：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 必须显式初始化为
nullptr，否则load()返回未定义值 - 所有访问（
load()、store()、compare_exchange_weak()）必须通过原子成员函数，禁止直接解引用或赋值 - 不要用
std::shared_ptr<Node>替代std::atomic<Node*>——它的原子操作只保引用计数，不保next字段读写原子性
push_front 怎么写才真正无锁且正确
必须用 CAS 循环实现“读-改-写”原子语义，且每次循环内重新绑定 new_node->next：
Node* new_node = new Node{val};
Node* old_head = head.load();
do {
new_node->next.store(old_head, std::memory_order_relaxed);
} while (!head.compare_exchange_weak(old_head, new_node));关键点：
-
compare_exchange_weak失败时，old_head自动更新为当前真实值，直接复用即可 -
new_node->next赋值必须在循环体内，否则可能指向已被其他线程修改的旧old_head - 默认
memory_order_seq_cst最安全；若追求性能，head.compare_exchange_weak可降为memory_order_acq_rel，但需确保所有节点字段访问配对
pop_front 为什么不能裸删，以及最简可行方案
真正的无锁 pop_front 在单向链表中不可行：你无法原子地“读 head → 读 head->next → 写 head = head->next”，中间任意一步都可能被并发修改，导致节点被释放后仍有线程在遍历它（UAF）。所以必须引入内存回收机制。
最简落地方式是逻辑删除 + 后台清理：
- 给
Node加std::atomic<bool> marked{false} -
pop_front先 CAS 标记头节点，再 CAS 更新head，失败则重试 - 另起线程定期扫描并
delete所有marked节点（或使用std::shared_ptr配合原子 load，让生命周期由引用计数兜底）
如果业务能接受节点永不释放（如固定大小内存池），可跳过回收，但 ABA 仍需用 tagged pointer 解决——这比回收机制更易出错，且平台依赖强（x86-64 低 3 位可安全用作 tag，ARM64 需查 ABI）。
