为何无global关键字时，局部作用域全局变量赋值会导致前置引用报错？

先看两段代码的表现差异：

可正常执行的代码 #

a = 1

def foo():
    b = a + 2
    print(b)
    
foo()

这段代码会输出3，运行无报错。

执行报错的代码 #

a = 1

def foo():
    b = a + 2
    print(b)
    
    a = a + 4
    print(a)
foo()

这段代码会抛出UnboundLocalError: local variable 'a' referenced before assignment错误。

核心原因：Python编译阶段的作用域判定逻辑 #

Python在编译函数代码的阶段，会扫描整个函数体，把所有存在赋值操作的变量直接标记为当前函数的局部变量——不管这个赋值语句写在函数的哪个位置。

在第二个例子里，函数foo的最后一行有a = a + 4的赋值操作，所以Python会直接把foo作用域内的a认定为局部变量。当函数执行到b = a + 2时，它不会去全局作用域查找a，而是尝试使用局部的a，但此时局部的a还未被赋值，因此触发了"引用未赋值的局部变量"错误。

两种场景的本质区别 #

• 当函数内部没有对变量的赋值操作时，Python会按照LEGB查找规则（局部作用域→嵌套作用域→全局作用域→内置作用域），向上查找变量的值，所以第一个例子里能正常拿到全局的a=1。
• 当函数内部存在对变量的赋值操作时，Python会直接将该变量绑定为当前函数的局部变量，哪怕赋值语句在代码后面，也会优先使用局部变量，不再去全局作用域查找——这就是导致报错的关键。

如果想在第二个例子里使用全局的a，可以用global关键字声明：

a = 1

def foo():
    global a  # 声明a为全局变量
    b = a + 2
    print(b)
    
    a = a + 4
    print(a)
foo()

这段代码会输出3和5，同时全局变量a会被修改为5。

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