Python变量作用域陷阱：为什么函数内赋值会引发_局部变量未定义

导语：当你在Python函数中同时使用全局变量和局部变量时，是否遇到过匪夷所思的UnboundLocalError？本文通过字节码层面剖析变量作用域的核心机制，揭示Python设计哲学中的巧妙权衡。

匪夷所思的错误现场

python 复制代码

b = 6 
def f1(a):
    print(a)  # 成功打印参数a 
    print(b)  # 成功读取全局变量b 
 
f1(3)  # 输出：3 6 ✅

python 复制代码

b = 6 
def f2(a):
    print(a)
    print(b)  # 报错！UnboundLocalError 
    b = 9  # 这个赋值操作改变了规则 
 
f2(3)  # 输出3后报错 ❌

复制代码

# f1的字节码关键指令 
LOAD_GLOBAL 1 (b)  # 从全局空间读取b 
 
# f2的字节码关键指令 
LOAD_FAST 1 (b)    # 尝试从局部空间读取b

python 复制代码

def f3(a):
    global b  # 显式声明 
    print(b)
    b = 9  # 此时修改的是全局变量

python 复制代码

def f4(a, b=None):  # 通过参数显式传递 
    print(b) if b else None

python 复制代码

def outer():
    b = 6 
    def inner():
        nonlocal b  # 声明闭包变量 
        print(b)

函数内避免直接修改全局变量
超过20行的函数建议显式声明global/nonlocal
使用IDE时注意变量颜色标记（通常全局/局部变量会有不同高亮）
思考题：如果将示例中的print(b)改为print(b + 1)，错误会在哪一步触发？为什么？（欢迎评论区讨论）