Python中nonlocal为何无法创建新外部变量（与global差异解析）

这个问题问得特别到位——这其实是Python在设计这两个关键字时的定位差异导致的，咱们结合你的代码例子来拆解清楚：

先看global的逻辑 #

global关键字的作用是将变量绑定到全局作用域，而全局作用域是程序运行时就存在的“顶级命名空间”。Python允许在函数内部通过global声明直接创建新的全局变量，原因很简单：全局作用域是公开的、全局可见的，这种操作符合全局变量的使用场景——你可以在任何地方声明和使用全局变量（虽然不推荐滥用，但语法上是允许的）。

就像你的第一个例子：

def global_scope_test():
    def do_global():
        global spam
        spam = 'global spam'
    do_global()

global_scope_test()
print(spam)  # 输出 'global spam'

这里global spam告诉Python：“这个spam是全局命名空间里的变量”，哪怕全局之前没有定义过spam，赋值操作也会直接在全局作用域里新增这个绑定，所以后续print(spam)能正常拿到值。

再看nonlocal的设计初衷 #

nonlocal的定位是修改已经存在的外层嵌套作用域（非全局）的变量，它从一开始就不支持“凭空创建外层变量”。为什么要这么设计？

原因有两个：

• 嵌套作用域是和函数定义绑定的局部逻辑，属于函数内部的封闭空间。如果允许nonlocal创建新变量，会让代码的可读性和可维护性变差——你很难一眼看出这个变量到底是在哪一层嵌套作用域被定义的，容易产生逻辑混乱。
• 嵌套作用域是函数调用时才临时创建的（比如每次调用nonlocal_scope_test都会生成一个新的局部作用域），如果允许动态创建外层变量，会带来不可预测的bug，违背了Python“显式优于隐式”的设计原则。

你的第二个例子报错，就是因为外层的nonlocal_scope_test里根本没有定义spam：

def nonlocal_scope_test():
    # 这里缺少了 spam = '' 的定义
    def do_nonlocal():
        nonlocal spam
        spam = 'nonlocal spam'
    do_nonlocal()
    print(spam)

nonlocal_scope_test()  # 会抛出 SyntaxError: no binding for nonlocal 'spam' found

nonlocal spam要求外层嵌套作用域（也就是nonlocal_scope_test的局部作用域）必须已经存在spam这个变量，它的作用是“修改这个已存在的变量”，而不是“创建一个新的外层变量”。只要你在nonlocal_scope_test里加上spam = ''，代码就能正常运行了。

一句话总结 #

global是给全局命名空间“新增/修改”变量，全局作用域天然存在，所以允许新增；而nonlocal是给已存在的外层嵌套作用域修改变量，它的设计目标就是避免在嵌套层级里隐式创建变量，防止代码逻辑混乱。

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