Python中‘nonlocal’变量在递归调用时是否总是继承外层函数值？

你所描述的场景中，递归调用helper时不会因为nonlocal head声明将head重置为外层初始的None值，会保留上一次递归赋值的head = nex.next结果。

核心原理说明 #

• nonlocal是作用域绑定声明，不是运行时赋值语句：它的作用只是告诉Python解释器，当前helper函数内使用的head不属于helper自身的局部变量，需要向上查找外层嵌套作用域（也就是swapPairs函数的作用域）的同名变量。这个声明是在函数定义阶段就处理好的规则，不是每次执行helper时都会触发的操作，更不会执行重置赋值的逻辑。
• 所有递归调用的helper共享同一个外层变量：你在任意一层helper中对head做赋值操作，本质都是直接修改swapPairs作用域下的head变量本身，所有递归实例读写的都是同一个变量，因此上一层递归修改后的值会被下一层递归继承。

行为验证示例 #

你可以用下面的简化代码验证这个逻辑：

def outer():
    # 外层作用域变量初始值
    count = 0
    def recursive_func():
        nonlocal count
        count += 1
        if count < 5:
            # 递归调用
            recursive_func()
        return count
    return recursive_func()

print(outer()) # 输出结果为5，说明count没有被重置为初始值0

针对你第二个疑问的明确答复 #

nonlocal head的作用是将内部函数的head变量永久绑定到外层函数的对应变量，不是仅在内部函数初始化时取一次初始值。后续所有对内部函数head的读写操作，本质都是直接操作外层函数的同名变量。

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