Python递归调用draw函数时n值不降反升的运行逻辑疑问

问题核心原因 #

你观察到的n值“升高”和“返回后数值变化”的现象，本质是不同层级递归调用的局部变量互相独立，递归遵循「逐层调用、逐层返回」的执行规则，不存在同一个n变量先减小后增大的情况。

疑问1：n=0返回后为什么打印的n是1？ #

当执行到n=1层级的draw(t, length, n-1)代码时，会新创建一个n=0的draw调用上下文：

• 这个新的调用里局部变量n是0，命中if n == 0的分支打印Return后直接结束
• 调用结束后会回到发起调用的上层（也就是n=1的draw调用上下文）继续执行后续代码
• 上层上下文里的局部变量n本身就是1，从调用子函数到返回的整个过程里没有被修改过，所以接下来打印的Pre right turn, n = 1是上层的n值，不是“n从0变成了1”。

疑问2：为什么n值会从1升高到2、3？ #

递归调用的执行逻辑可以类比成嵌套函数调用，你的初始调用是draw(bob, 15, 3)，也就是最外层是n=3的上下文：

1. n=3的draw执行到第一个递归调用时，发起n=2的draw调用，进入n=2的上下文
2. n=2的draw执行到第一个递归调用时，发起n=1的draw调用，进入n=1的上下文
3. n=1的draw所有代码执行完毕后，返回到n=2的上下文继续执行后续代码，此时打印的n就是n=2上下文的局部变量值
4. 等n=2的draw所有代码执行完毕后，返回到最外层n=3的上下文继续执行后续代码，此时打印的n就是n=3上下文的局部变量值
   所谓的n值“升高”，只是调用执行完毕后逐层返回到上层上下文，读取到了上层定义的局部变量值而已，不同层级的n只是名字相同，存储和值完全独立。

极简示例验证 #

你可以运行下面的简化递归代码更直观观察执行逻辑：

def test(n):
    if n == 0:
        print("返回，当前子调用层级n=0")
        return
    print(f"进入n={n}层级，发起n-1的子调用")
    test(n-1)
    print(f"回到n={n}层级，子调用已完成，继续执行当前层后续代码")

test(2)

运行输出：

进入n=2层级，发起n-1的子调用
进入n=1层级，发起n-1的子调用
返回，当前子调用层级n=0
回到n=1层级，子调用已完成，继续执行当前层后续代码
回到n=2层级，子调用已完成，继续执行当前层后续代码

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