Python作用域遵循LEGB规则,但赋值会强制声明局部变量,导致UnboundLocalError;for循环不创建作用域而推导式会;nonlocal/global是绑定重定向而非访问开关;类体是独立作用域,方法内不可直接访问类变量。
Python 的作用域规则看似简单,实则藏着不少反直觉的细节。很多人以为“变量在哪定义就在哪可用”,结果在闭包、循环、异常处理或类定义里频频踩坑——问题往往不出在语法,而出在对 LEGB 规则(Local → En

只要函数内任何位置对一个变量做了赋值(=),Python 编译器就会把这个变量标记为“局部变量”,整个函数体都受此影响。即使赋值语句根本没执行,该变量在之前的位置也会报 UnboundLocalError。
例如:
def func():这是最常被误解的一点:在函数中写 for i in range(3):,循环变量 i 会泄漏到函数局部作用域末尾;而 [i for i in range(3)] 中的 i 是独立的局部变量,外部不可见(Python 3+)。
这意味着:
global x 并不表示“我要读全局的 x”,而是告诉解释器:“后续所有对 x 的赋值,都应作用于模块级变量 x”。同样,nonlocal x 指向最近一层 enclosing 作用域中的 x,且要求该变量必须已存在。
常见误区:
类代码块本身是一个作用域(LEGB 中的 E 层),所以类内定义的变量(如 X = 1)对方法来说属于 enclosing,但方法无法直接通过 X 访问——因为方法的 enclosing 是类,而类作用域不参与属性查找链(属性查的是 instance.__dict__ → class.__dict__ → ...)。
换句话说: