Python作用域遵循LEGB规则，但赋值会强制声明局部变量，导致UnboundLocalError；for循环不创建作用域而推导式会；nonlocal/global是绑定重定向而非访问开关；类体是独立作用域，方法内不可直接访问类变量。
Python 的作用域规则看似简单，实则藏着不少反直觉的细节。很多人以为“变量在哪定义就在哪可用”，结果在闭包、循环、异常处理或类定义里频频踩坑——问题往往不出在语法，而出在对 LEGB 规则（Local → Enclosing → Global → Built-in）的机械理解，忽略了 Python 在编译期就确定作用域、且对赋值有强绑定行为这一关键事实。
赋值会“声明”局部作用域，哪怕它出现在条件分支里
只要函数内任何位置对一个变量做了赋值（=），Python 编译器就会把这个变量标记为“局部变量”，整个函数体都受此影响。即使赋值语句根本没执行，该变量在之前的位置也会报 UnboundLocalError。
例如：
def func():x = 10
if False:
x = 20 # 这行不会运行
print(x) # OK，输出 10
def bug_func():
print(x) # UnboundLocalError!
x = 20 # 只要这行存在，x 就被认定为局部变量
for 循环不创建新作用域，但列表推导式和生成器表达式会
这是最常被误解的一点：在函数中写 for i in range(3):，循环变量 i 会泄漏到函数局部作用域末尾；而 [i for i in range(3)] 中的 i 是独立的局部变量，外部不可见（Python 3+）。
立即学习“Python免费学习笔记（深入）”；
这意味着：
- 循环结束后，i 仍存在且保留最后一次迭代的值
- 嵌套函数若引用同名变量，可能意外捕获外层循环变量（常见于闭包延迟绑定问题）
- 想避免污染？显式用 del i 或改用不会泄漏的结构（如生成器表达式 + next()）
nonlocal 和 global 不是“访问开关”，而是“绑定重定向指令”
global x 并不表示“我要读全局的 x”，而是告诉解释器：“后续所有对 x 的赋值，都应作用于模块级变量 x”。同样，nonlocal x 指向最近一层 enclosing 作用域中的 x，且要求该变量必须已存在。
常见误区：
- 在未声明 nonlocal 的嵌套函数中给外层变量赋值 → 自动创建同名局部变量
- 写了 nonlocal x，但外层根本没有 x → SyntaxError（编译时报错，不是运行时）
- global 可以用于从未定义过的变量：函数内写 global y; y = 10，会在模块顶层创建 y
类定义体是独立作用域，但方法内部不是“类作用域”
类代码块本身是一个作用域（LEGB 中的 E 层），所以类内定义的变量（如 X = 1）对方法来说属于 enclosing，但方法无法直接通过 X 访问——因为方法的 enclosing 是类，而类作用域不参与属性查找链（属性查的是 instance.__dict__ → class.__dict__ → ...）。
换句话说：
- print(X) 在方法里会报 NameError（除非加 self.X 或 Cls.X）
- 类内函数（非方法）可以自然访问类变量，因为它们处于同一作用域层级
- 想在方法中简洁引用类变量？用 type(self).X 或显式写类名，别依赖作用域“自动提升”
