C++如何实现简单的无锁单向链表-C++-PHP中文网

不能直接用std::shared_ptr做无锁链表节点，因其引用计数原子性不保证next指针读写原子性，无法完成“读-改-写”操作；必须用std::atomic配cas及显式内存序。

c++如何实现简单的无锁单向链表

为什么不能直接用 `std::shared_ptr` 做无锁链表节点？

很多人一上来就用 std::shared_ptr 包裹节点，以为引用计数天然线程安全就能“无锁”。错——std::shared_ptr 的控制块原子操作只保引用计数本身，但 next 指针的读写仍可能被重排或撕裂，且 load/store 语义不明确。更关键的是：**多个线程同时修改同一节点的 next 字段时，没有原子性保证**。

真正能用的只有 std::atomic<t></t>（T 是节点类型），且必须配合 std::memory_order 显式约束内存序。

节点结构里 next 必须是 std::atomic<node></node>，不能是普通指针 + 手动原子操作
所有对 next 的读写必须通过 load()、store()、compare_exchange_weak() 等原子成员函数
std::shared_ptr 可以用于管理节点生命周期，但绝不能替代 std::atomic<node></node> 做链表链接

插入操作为何必须用 `compare_exchange_weak` 而不是 `store`？

单向链表的 push_front 本质是“把新节点插到 head 之前”，这需要原子地完成两件事：读取当前 head，再把新节点的 next 设为它，并把 head 改成新节点。这两步必须“一起成功或一起失败”，否则链表断裂或丢失节点。

store() 只能单次写入，无法保证“读-改-写”原子性；而 compare_exchange_weak() 提供 CAS（Compare-And-Swap）语义，是唯一安全选择。

典型写法：while (!head.compare_exchange_weak(expected, new_node)) { /* expected 自动更新 */ }
必须用循环重试：CAS 失败说明 head 已被其他线程修改，需用新值重试
memory order 选 std::memory_order_acq_rel（对 head）确保插入前后内存可见性；新节点的 next 初始化用 std::memory_order_relaxed 即可

遍历链表时怎么避免访问已释放的节点？

无锁结构下，节点可能被其他线程 unlink 并 delete，但你的遍历线程还在 dereference 它的 next。这不是空指针问题，而是 UAF（Use-After-Free）——最隐蔽也最难调试的 bug。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

标准解法是引入“安全发布”机制：节点只有在确认无人持有其指针后，才能释放。常见方案是 hazard pointer 或 RCU，但简单场景可用 std::shared_ptr 配合原子操作桥接：

插入时用 std::atomic_load(&head) 获取当前节点，然后 std::shared_ptr 构造（注意：需自定义删除器或确保节点析构安全）
遍历时每个节点都用 std::shared_ptr 持有，保证只要你在用，它就不会被释放
但注意：std::shared_ptr 构造本身不是原子的，必须先原子读 next，再构造，中间不能穿插其他操作

示例关键片段：

auto curr = std::atomic_load(&head);
while (curr != nullptr) {
    auto ptr = std::shared_ptr<node>(curr, [](Node* p) { /* 不立即 delete，等 refcount 降为 0 */ });
    // ... use ptr->data
    curr = ptr->next.load(std::memory_order_acquire);
}</node>