Python作用域与名字空间原理详解

Python静态作用域基础

Python采用静态词法作用域（Static Lexical Scoping）机制，这意味着变量的作用域完全取决于其定义时的代码位置，而与函数被调用的具体位置无关。

a = 2 def f(): a = 2

代码第一行定义的变量a处于全局作用域，其可见范围覆盖从定义点开始至文件末尾的所有后续代码。

函数f内部定义的变量a则处于局部作用域，其可见范围严格限制在函数f的代码块内部。

在Python中，只有函数定义（def）和类定义（class）会创建新的局部作用域。普通的控制流语句如if、for、while等不会创建独立的局部作用域，其中的变量仍属于外层作用域。

局部作用域的创建规则

函数与类的局部作用域

def f():
  a = 1
class A:
  b = 2
if 1 == 1:
  c = 3
for _ in range(1):
  d = 4
while True:
  e = 5
  break
print(c, d, e)
try:
  print(a)
except Exception as e:
  print(e)
try:
  print(b)
except Exception as e:
  print(e)

输出结果

3 4 5 name 'a' is not defined name 'b' is not defined

名字空间的动态与静态特性

在Python动态运行过程中，每个作用域都维护着三个名字空间：由局部变量组成的local名字空间，由全局变量组成的global名字空间，以及包含内建函数的builtins名字空间。当解释器查找变量时，遵循LEGB规则，即搜索顺序为Local（局部）-> Enclosing（嵌套/外层）-> Global（全局）-> Builtins（内建）。这一机制确保了局部变量可以屏蔽全局变量，而全局变量可以屏蔽内建变量。

Python的全局名字空间具有动态性。每当执行到一个赋值语句（包括def和class定义语句，因为它们本质上是给变量名赋值）时，当前的global名字空间就可能发生更新。

global名字空间的动态变化

print(dir()) a = 1 print(dir()) b = 2 print(dir())

输出结果

1 ['__annotations__', '__builtins__', '__cached__', '__doc__', '__file__', '__loader__', '__name__', '__package__', '__spec__'] 2 ['__annotations__', '__builtins__', '__cached__', '__doc__', '__file__', '__loader__', '__name__', '__package__', '__spec__', 'a'] 3 ['__annotations__', '__builtins__', '__cached__', '__doc__', '__file__', '__loader__', '__name__', '__package__', '__spec__', 'a', 'b']

通过上述输出结果可以清晰观察到，global名字空间是随着代码执行动态增加的，新定义的变量会逐步被添加进去。

这一特性意味着，尽管被称为“全局变量”，其实际作用范围并非整个文件的全局位置，而是仅限于该变量被赋值初始化之后的代码部分。在变量完成赋值并加入global名字空间之前，它在全局范围内是不可见的。

全局空间查找的调用位置依赖

当函数或类被调用时，它们所访问的global名字空间是指调用发生时刻所在的global名字空间，这与函数定义时的位置无关。

def f():
  print(a)

try:
  f()
except Exception as e:
  print(e)

a = 2
f()

输出结果

name 'a' is not defined 2

以函数f为例，它尝试打印全局变量a，而a在第9行才被定义。当在第5行调用f()时，由于此时a尚未执行赋值语句，未加入global名字空间，因此会抛出NameError错误；而在第10行再次调用f()时，a已经完成赋值并存在于global名字空间中，因此能成功打印出a的值。

为了提升运行效率，Python中的local名字空间采用静态实现方式。因为对于一个已定义的函数而言，其所包含的局部变量集合在编译阶段就是明确且固定的。

函数的local名字空间是静态的

a = 4
def f():
  try:
    print(a)
  except Exception as e:
    print(e)
  a = 1
f()

输出结果

local variable 'a' referenced before assignment

当代码尝试打印变量a时，解释器在local名字空间中已经找到了a的条目（因为局部变量在编译时已预注册），但此时a尚未完成赋值初始化，因此抛出UnboundLocalError异常。这证明了local名字空间与global名字空间的关键区别：local空间会在函数编译初期就将所有局部变量名注册进去，无论是否已赋值。

核心机制总结

总结：

1. Python采用静态词法作用域，变量的作用域由初始化定义的位置决定，与调用位置无关。

2. global名字空间是动态构建的，不同执行位置的global名字空间内容可能不同；而local名字空间是静态预分配的，局部变量在整个局部作用域（包括赋值前）均可见。

以上就是本文的全部内容，希望对大家的学习有所帮助，也希望大家多多支持本站。