global变量必须在模块顶层定义，否则报UnboundLocalError；nonlocal要求变量必须存在于最近非全局外围函数作用域，否则编译时报SyntaxError；混用global/nonlocal或误用可变对象易致隐蔽bug。
global 声明但没在模块顶层定义变量，直接报 UnboundLocalError
很多人以为 global x 只是“告诉 Python 我要改全局变量”，其实它还有隐含前提：该变量必须已在模块作用域（即文件最外层）被赋值过。如果漏写了这一步，哪怕只在函数里写 global x + x = 1，运行时仍会抛 UnboundLocalError: local variable 'x' referenced before assignment —— 因为 Python 在编译阶段就认定 x 是局部变量，而后续又试图在赋值前读取它。
常见误写场景：
- 把
global x放在 if 分支里，但分支没执行，导致模块级x没被创建 - 从其他模块 import x，但没在当前文件做
x = ...初始化，就直接global x - 用
from config import X导入常量，误以为global X能修改原模块的X（实际不能，只会新建局部名）
nonlocal 引用嵌套作用域中不存在的变量，触发 SyntaxError
nonlocal 不像 global 那样容忍“变量尚未定义”，它在函数定义阶段就严格检查：目标变量必须存在于**最近的、非全局的外围函数作用域中**。一旦找不到，Python 直接拒绝编译，报 SyntaxError: no binding for nonlocal 'y' found。
典型踩坑点：
立即学习“Python免费学习笔记（深入）”；
- 写
nonlocal y，但外围函数里只有y = 1在 if 块内，且该块未执行 → 编译失败（不是运行时错） - 误以为类方法里的
self.y算“嵌套作用域”，对self.y用nonlocal y→ 报错，因为实例属性属于对象，不参与作用域链查找 - 闭包函数里想修改外层循环变量（如 for i in range(3): def f(): nonlocal i），但 Python 3.12 前不支持对循环变量声明
nonlocal（会报错）
global / nonlocal 混用导致变量绑定混乱
当一个变量既被 global 声明又被 nonlocal 声明（哪怕在不同函数里），容易引发意料外的覆盖或静默失效。最危险的是：某个函数用 nonlocal x 修改了外层函数的 x，而另一个函数用 global x 试图改模块级 x，结果发现两者指向同一个内存地址（如果外层函数恰好是在模块顶层定义的），造成跨函数副作用。
实操建议：
- 避免在同一个变量名上交替使用
global和nonlocal；如果真需要多层共享，显式传参或用类封装更安全 - 调试时注意
id(x)：如果global x和nonlocal x的id相同，说明它们意外绑定了同一对象（比如外层函数定义在模块顶层，其局部变量被nonlocal引用，而模块级又用global指向它） - PyCharm 或 VS Code 的变量高亮有时会误导——它可能把
nonlocal变量标成“来自 outer function”，但实际运行时若 outer function 未执行，该绑定根本不存在
闭包中用 nonlocal 修改可变对象，表面正常但逻辑难追踪
对 list / dict 等可变对象用 nonlocal，即使不重新赋值（如只调用 lst.append(1)），也不会触发 UnboundLocalError，因为没发生“变量名重绑定”。这会让 bug 更隐蔽：你可能以为只是在修改内容，但实际上该对象被多个闭包共享，一处修改影响所有引用。
例如：
def make_adder():
cache = []
def add(x):
nonlocal cache
cache.append(x) # ✅ 合法，不报错
return sum(cache)
return add
f = make_adder()
print(f(1)) # 1
print(f(2)) # 3 → cache 已被修改，下次调用继续累加
问题在于：如果 make_adder 被多次调用，每个 f 都有独立 cache，看似安全；但如果误把 cache = [] 写成 cache = some_global_list，再加 nonlocal cache，就会变成所有闭包共用一个列表。
这种 bug 很难通过单元测试发现，除非专门测状态残留。真正复杂的地方在于：错误不表现为崩溃，而是数据污染，且只在特定调用顺序下暴露。
