因为std::stack默认基于std::deque或std::vector，其内部操作（如内存管理、size更新）非原子且依赖互斥锁；真无锁需用原子指针+cas维护链表，确保节点生命周期可控、内存序正确及aba问题防护。
为什么直接用 std::stack 不算无锁
因为 std::stack 默认底层是 std::deque 或 std::vector，所有操作都依赖互斥锁（哪怕你没显式加锁，容器内部的内存管理、size 更新等都非原子）。真要无锁，必须自己用原子指针 + CAS 操作维护节点链表。
std::atomic<t></t> 是核心，但不能直接存 Node*
无锁栈本质是单向链表头插/头删，靠一个原子指针指向栈顶。但注意：std::atomic<node></node> 在 C++11 起才支持，且必须确保 Node 对象生命周期可控——不能在出栈后立刻 delete，否则可能被其他线程正在 CAS 的旧指针访问（A-B-A 问题暂不展开，但这是最常 crash 的点）。
- 定义节点时，
next字段必须是std::atomic<node></node>，不能是裸指针 - 构造函数里必须用
next.store(nullptr, std::memory_order_relaxed)初始化 - 所有对
top的读写必须用load()/store()或compare_exchange_weak()
push() 必须用 compare_exchange_weak 循环重试
典型错误是只做一次 CAS：失败就放弃或抛异常。无锁结构要求“失败即重试”，直到成功。下面这段是关键逻辑：
void push(T val) {
Node* node = new Node{val};
Node* expected;
do {
expected = top.load();
node->next.store(expected, std::memory_order_relaxed);
} while (!top.compare_exchange_weak(expected, node,
std::memory_order_release, std::memory_order_relaxed));
}
这里 std::memory_order_release 保证 node 数据写入对其他线程可见；compare_exchange_weak 可能因伪失败返回 false，所以必须循环。
pop() 返回值怎么安全处理内存
无锁 pop 无法像有锁那样“先取值再删”，必须先原子地摘下节点，再读值、再释放内存。常见错误是：
- 直接
delete top.exchange(nullptr)→ 丢失原链表 - pop 后立刻
delete→ 其他线程可能正用着这个节点地址做 CAS
正确做法是返回值 + 延迟回收（比如用 hazard pointer 或 epoch-based reclamation），但最简实现可先返回 std::optional<t></t>，并把 delete 推给调用方负责（明确约定：pop 出的指针所有权移交）。
更现实的做法：用智能指针（如 std::shared_ptr<node></node>）配合 std::atomic<:shared_ptr>></:shared_ptr>，但会引入引用计数开销，且 C++11 的 shared_ptr 原子操作不是 lock-free —— 这就是为什么“简单无锁栈”往往只适合教学或低竞争场景。
真正落地时，多数人最终会退回到 std::mutex + std::stack，除非 profiling 确实卡在锁争用上。无锁不是银弹，它把复杂性从锁调度转移到了内存序和生命周期管理上。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
