根本原因是Python编译时即确定变量作用域：只要函数内有任何赋值，就标记为局部变量，global声明必须在最开头且所在分支必须被执行，否则仍报UnboundLocalError。
为什么写了 global x 还报 UnboundLocalError
根本原因不是没写 global，而是 global x 没出现在函数**最开头可执行位置**，或者被包在了未执行的分支里。Python 在编译函数时就扫描全部代码，只要函数体内有任何对 x 的赋值（比如 x += 1、x = 5），它就立刻把 x 标记为局部变量——哪怕这行赋值在 print(x) 后面，哪怕 global x 写在前面但被 if False: 包住了。
常见错误场景：
-
global x写在if块里，而该分支没运行 → 模块级x没被绑定，后续读取直接失败 -
global x写在print(x)之后 → 编译器已认定x是局部变量，但此时还没赋值，读取即报错 - 用
from config import X导入常量，又写global X→ 实际创建的是函数内新局部名X，不指向原模块变量
nonlocal 报 SyntaxError 而不是 UnboundLocalError 怎么回事
nonlocal 的检查发生在编译阶段，不是运行时。只要 Python 在外围函数作用域里找不到同名变量定义（哪怕只是声明没赋值），就直接拒绝编译，抛 SyntaxError: no binding for nonlocal 'y' found。
容易踩的坑：
立即学习“Python免费学习笔记（深入）”；
让 macOS 自动化像说话一样简单 —— 用代码控制你的 Mac，无需学习 AppleScript 系统要求 macOS 14+ (Sonoma) Python 3.9+ 需要开启：辅助功能 + 屏幕录制权限
- 外围函数中
y = 1写在if False:里 → 编译器认为“不存在y”，不等运行就报错 - 在模块顶层函数（非嵌套）里用
nonlocal x→ 必报错，因为没有“上一层非全局作用域” - 混用
global和nonlocal改同一个名字 → 可能导致绑定混乱，比如外层函数定义在模块顶层，其局部变量被nonlocal引用，同时又被另一个函数用global修改，实际改的是同一内存地址
可变对象修改为何不需要 global 却仍可能出错
对 list、dict 等可变对象调用 .append()、.update() 或 del lst[0]，只是修改对象内容，不改变变量绑定关系，所以确实不用 global。但一旦出现 =、+=、-= 这类重绑定操作，就必须加 global，否则触发 UnboundLocalError。
典型误判：
-
my_list.append(1)安全；my_list += [1]不安全 → 后者等价于my_list = my_list + [1]，触发重绑定 -
cache.clear()安全；cache = {}不安全 → 后者是全新绑定 - 多线程下即使加了
global，counter += 1仍可能丢数据 → 因为+=不是原子操作，需用threading.Lock或atomic类型
调试时怎么快速定位是 global 还是 nonlocal 问题
别只看报错信息，先用 dis.dis(func) 查字节码：如果看到 LOAD_FAST 就说明 Python 认定它是局部变量；看到 LOAD_GLOBAL 才是真读全局。再结合 id(x) 对比不同函数里的同名变量，如果 id 相同但预期不该共享，大概率是 global 和 nonlocal 意外指向了同一对象（比如外层函数定义在模块顶层）。
真正难缠的点在于：这些错误往往只在特定分支、特定调用路径下才暴露，静态检查工具很难覆盖，必须结合字节码和内存地址交叉验证。
