本文详解使用两个队列模拟栈的 push 和 pop 操作，指出常见逻辑错误（如条件判断冗余、队列状态处理不当），并提供简洁、可验证的 python 实现，确保后进先出行为严格满足。
本文详解使用两个队列模拟栈的 push 和 pop 操作，指出常见逻辑错误（如条件判断冗余、队列状态处理不当），并提供简洁、可验证的 python 实现，确保后进先出行为严格满足。
在用两个队列实现栈时，核心目标是：保证每次 pop() 总能返回最新 push() 的元素，即维持 LIFO（后进先出）语义。关键在于——始终只让一个队列处于“活跃”状态（存放全部栈元素，且栈顶在队首），另一个为空；每次 push(x) 时，将新元素放入空队列，再将原队列中所有元素“倾倒”过去，使新元素位于新队列头部（即下次 pop 可直接取出）。
原代码存在多个关键缺陷：
- ❌ 条件判断混乱且冗余：例如 queue_1.empty()==1 应写作 queue_1.empty()（empty() 返回布尔值，非整数）；多重 if 分支未覆盖互斥逻辑，导致状态冲突；
- ❌ push 逻辑不统一：未明确“始终将新元素加入空队列并迁移旧元素”，而是根据队列非空状态分别向不同队列插入，破坏了栈序；
- ❌ pop 未维护队列状态一致性：弹出后未清空已使用的队列，导致后续 push 无法正确识别哪个队列为空。
以下是修复后的专业实现（函数式设计，避免全局变量，增强可读性与可测试性）：
from queue import Queue
def push(x: int, q1: Queue, q2: Queue) -> None:
"""Push element x onto stack: always enqueue to the empty queue, then migrate all from the other."""
if q1.empty():
q1.put(x)
while not q2.empty():
q1.put(q2.get())
else:
q2.put(x)
while not q1.empty():
q2.put(q1.get())
def pop(q1: Queue, q2: Queue) -> int:
"""Pop top element from stack; returns -1 if empty."""
if q1.empty() and q2.empty():
return -1
if q1.empty():
return q2.get()
return q1.get()
# ✅ 验证示例
if __name__ == "__main__":
q1, q2 = Queue(), Queue()
push(1, q1, q2)
push(2, q1, q2)
assert pop(q1, q2) == 2 # ✅
assert pop(q1, q2) == 1 # ✅
assert pop(q1, q2) == -1 # ✅ empty stack
关键注意事项：
- ✅ 状态互斥性：任意时刻，q1 与 q2 必然一空一非空（或全空），这是算法正确性的前提；
- ✅ 时间复杂度：push 为 O(n)，pop 为 O(1)，符合经典双队列栈实现；若需均摊 O(1)，可改用“懒迁移”策略（仅在必要时翻转），但本实现更直观易懂；
- ✅ 避免全局变量：通过参数传递队列对象，提升函数纯度与单元测试友好性；
- ⚠️ 不要混用 == 0/1 判断布尔值：Python 中 queue.empty() 返回 True/False，应直接用于条件表达式。
总结：实现双队列栈的本质，是主动维护“新元素必须成为下一个 pop 目标”的队首位置。通过每次 push 后强制重排，将新元素“推到队列最前”，即可自然达成栈行为——无需复杂分支，只需专注状态归一与迁移顺序。
