《并发编程实战》单生产者单消费者无锁队列push方法疑问

首先得明确这类无锁队列的典型结构：队列始终维护一个空的「哨兵节点」，tail指针始终指向这个哨兵节点。push操作的核心逻辑是利用哨兵节点避免数据竞争，结合你的疑问场景，步骤大概是这样的：

1. 获取当前的tail节点（记为old_tail，此时它是空的哨兵）
2. 分配一个新的空节点p，作为下一轮的哨兵
3. 将old_tail->next指向p（先把新节点链入队列）
4. 把要插入的数据交换到old_tail->data中
5. 最后将tail指针更新为p（让tail指向新的空哨兵）

为什么不能用p->data.swap(new_data)或p->data=new_data？ #

• p的角色是下一轮push的空哨兵，它需要保持空状态，不能用来存储当前要插入的数据。如果把数据放到p里，队列的tail指针就不再指向空哨兵，后续push操作会逻辑混乱，消费者也无法正确识别有效数据的边界。
• 真正需要存储新数据的是old_tail——它原本是当前的空哨兵，现在要被转化为「有效数据节点」，供后续消费者读取。

为什么用swap而不是直接赋值？ #

• 效率优先：如果data是大对象（比如复杂容器、自定义结构体），直接赋值会触发深拷贝，开销很大；而swap操作通常是O(1)的，只是交换对象的内部指针/资源，性能远高于赋值。
• 异常安全：如果data的赋值操作可能抛出异常，swap的异常风险更低（大多数标准库容器的swap都是noexcept的），能保证push操作的原子性（在单生产者场景下）。

你的理解误区在于混淆了「哨兵节点」和「数据节点」的角色：你以为新创建的p是用来存数据的，但实际上它是下一轮的空哨兵，当前要插入的数据应该放到原本的哨兵节点（old_tail）中，这样才能保证队列的无锁逻辑正确运行。

内容的提问来源于stack exchange，提问作者nvn