Python使用list实现队列反转时递归方法append调用时机问题

你描述的执行逻辑对应代码大致如下：

from queue import Queue

def rev(queue: Queue):
    if queue.empty():
        return
    # 步骤1：弹出队首元素
    current_item = queue.get()
    # 步骤2：递归反转剩余队列
    rev(queue)
    # 步骤3：将弹出元素追加到队尾
    queue.put(current_item)

你观察到的现象是Python函数调用栈的 后进先出（LIFO） 规则导致的，核心逻辑如下：

• 所有Python函数调用都会存入内存的调用栈中，只有当当前调用的函数完全执行完成返回后，才会回到上一层函数继续执行后续代码。
• 每一层递归执行到rev(queue)这一行时，当前层的put/append操作会立刻暂停，CPU资源转去执行新触发的递归函数，当前层的后续代码会被暂存到调用栈的上下文里，等待子递归全部执行完成后再恢复执行。
• 直到递归触碰到终止条件（队列元素全部弹出，队列为空），最内层的递归函数直接返回，才会从调用栈中从内到外逐层恢复执行之前暂停的追加操作。

我们可以用初始队列为[1,2,3]的场景模拟完整执行流程：

1. 第一层递归：弹出1 → 调用rev([2,3]) → put(1)暂停
2. 第二层递归：弹出2 → 调用rev([3]) → put(2)暂停
3. 第三层递归：弹出3 → 调用rev([]) → put(3)暂停
4. 第四层递归：队列空，直接返回
   --- 递归全部调用完成，开始回溯执行追加操作 ---
5. 回到第三层：执行put(3) → 队列变为[3] → 返回
6. 回到第二层：执行put(2) → 队列变为[3,2] → 返回
7. 回到第一层：执行put(1) → 队列变为[3,2,1] → 函数执行完成

整个过程里append操作不是没有执行，是执行顺序被调用栈压到了所有递归调用的后面，刚好满足反转队列的逻辑要求。

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