不能直接用 std::atomic 操作链表节点指针，因为其仅保证指针读写原子性，不保证“读指针→改next→写回”整组操作的原子性；正确做法是用 std::shared_ptr 配合 compare_exchange_weak 实现无锁 push_front 和 pop_front，并依赖其引用计数防 aba、管理生命周期。
为什么不能直接用 std::atomic<t></t> 操作链表节点指针
因为 std::atomic<t></t> 只保证指针本身的读写原子性，不保证「读出旧指针 → 修改其 next 字段 → 写回新指针」这一系列操作的原子性。典型错误是：两个线程同时执行 head.load()->next = new_node，结果其中一个写被覆盖，节点丢失。真正需要的是 CAS（Compare-And-Swap）配合内存序控制，且必须对整个节点结构做原子更新——但 C++ 原生不支持原子化 struct（除非 trivially copyable 且大小 ≤ 指针），所以得靠 std::atomic<:uintptr_t></:uintptr_t> 或专用节点指针封装。
如何用 std::atomic<:shared_ptr>></:shared_ptr> 实现安全 push_front
这是最实用、可落地的方案：利用 std::shared_ptr 的控制块原子性，配合 compare_exchange_weak 实现无锁插入。关键点在于每次 CAS 都基于当前 head 的快照，失败就重试，避免 ABA 问题（std::shared_ptr 的引用计数天然防 ABA）。
- 节点定义必须含
std::shared_ptr<node></node>类型的next字段，不能用裸指针 -
push_front必须用循环 +compare_exchange_weak，不能只 load/store - 内存序用
memory_order_relaxed读，memory_order_release写，CAS 本身用memory_order_acq_rel
struct Node {
int data;
std::shared_ptr<node> next;
Node(int d) : data(d) {}
};
class LockFreeSinglyLinkedList {
std::atomic<:shared_ptr>> head{nullptr};
public:
void push_front(int data) {
auto new_node = std::make_shared<node>(data);
std::shared_ptr<node> expected;
do {
expected = head.load(std::memory_order_relaxed);
new_node->next = expected;
} while (!head.compare_exchange_weak(expected, new_node,
std::memory_order_acq_rel,
std::memory_order_relaxed));
}
};
</node></node></:shared_ptr></node>
pop_front 为什么必须检查空和处理释放顺序
无锁 pop 的难点不在原子读，而在「取走节点后，如何安全释放它」。如果线程 A 取出 head，线程 B 同时又把它 re-inserted（比如在其他链表中复用），而 A 直接 delete，就会 dangling pointer。所以必须依赖 std::shared_ptr 的自动生命周期管理 —— pop 返回的是 std::shared_ptr，调用方决定何时析构；内部绝不手动 delete。
- pop 返回
std::shared_ptr<node></node>，不是裸指针或值拷贝 - CAS 失败时要重试，不能假设 head 不变
- 若链表为空，返回空
std::shared_ptr，不要抛异常或断言
std::shared_ptr<node> pop_front() {
std::shared_ptr<node> current = head.load(std::memory_order_acquire);
std::shared_ptr<node> expected;
do {
if (!current) return nullptr;
expected = current;
// 尝试把 head 改为 current->next
} while (!head.compare_exchange_weak(expected, current->next,
std::memory_order_acq_rel,
std::memory_order_acquire));
return current; // 引用计数仍有效，由调用方管理
}
</node></node></node>
实际部署时最容易被忽略的三个细节
这套实现看着简洁，但上线后出问题往往卡在这几处：
- 所有节点必须通过
std::make_shared构造，不能用new Node+std::shared_ptr构造函数，否则控制块和对象不在同一块内存，CAS 可能失败或未定义行为 - 不能在节点析构函数里再访问链表（比如试图 unlink 自己），会触发递归 CAS 或破坏原子状态
- 如果链表需遍历，必须清楚：遍历时看到的
next是某一时刻快照，无法保证全程一致；遍历本身不是原子操作，仅适合只读场景
无锁 ≠ 无约束。共享节点的生命周期、内存可见性、ABA 防御，全靠 std::shared_ptr 和 CAS 的组合来兜底。少一个环节，就可能丢数据或 crash。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
