带哑节点的单线程队列并发优势及实现疑问解析

首先明确：空队列状态下，head和tail确实指向同一个哑节点，这是带哑节点队列的标准初始设计——哑节点本身不存储有效数据，仅作为占位符简化边界条件处理。

针对你提到的疑问细节：

• 首次push时，因为head和tail指向同一哑节点，此时给tail->data赋值确实会修改head指向的节点内容，从这个角度看确实“操作了head”。但书中强调的“push仅操作tail节点”是从多线程场景下的锁竞争优化角度出发的：当队列非空时，tail已经指向独立的哑节点，后续push操作只需操作tail指针及其指向的节点，完全不需要触碰head，因此可以只持有tail锁，避免和需要操作head的pop操作产生锁竞争。而首次push的边界场景只是特例，不会影响整体设计的性能优势。
• 你观察到的打印结果完全符合预期：首次push前，head和tail地址相同；push完成后，队列会创建一个新的哑节点，将原哑节点（现在存储了有效数据）的next指向新哑节点，再把tail移动到新哑节点上。此时head仍指向存储有效数据的原节点，tail指向新哑节点，二者地址自然不同。

补充多线程实现的细节：当检测到head==tail时（空队列状态），push操作需要额外获取head锁，因为此时修改的节点同时被head指向，避免和可能的pop操作冲突；而当队列非空后，push仅需持有tail锁即可，这也是该设计的核心优化点。

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