Python 中的作用域：规则与应用

在 Python 编程中，作用域（Scope） 是指一个变量可以被访问和引用的范围。作用域与变量的生命周期密切相关，决定了变量何时被创建、何时被销毁以及在哪些地方可以使用它。理解作用域对于编写清晰、可维护的代码至关重要。

Python 中的作用域机制可以通过 LEGB 规则（Local, Enclosing, Global, Built-in）来理解。当我们在代码中引用一个变量时，Python 会按照这个规则逐层查找变量所在的作用域，直到找到变量或抛出错误。

1. 局部作用域（Local Scope）

局部作用域指的是在函数内部定义的变量，这些变量只能在该函数内被访问和操作。局部作用域是临时的，函数执行完毕后，局部作用域内的变量会被销毁。

举个例子：

def calculate_square():side_length = 5  # 局部变量print(side_length ** 2)  # 可以访问局部变量，输出 25calculate_square()
# print(side_length)  # 这会引发 NameError，因为 side_length 是局部变量

在上述代码中，side_length 是一个局部变量，它只能在 calculate_square 函数内部访问。函数外部尝试访问时，Python 会抛出 NameError，因为局部变量超出了其作用域。

2. 嵌套作用域（Enclosing Scope）

嵌套作用域是指一个函数内定义了另一个函数。内部函数可以访问外部函数的变量，而外部函数无法访问内部函数的变量。这种作用域一般出现在闭包中。

例子：

def outer_function():outer_var = 10  # 外部函数中的变量def inner_function():print(outer_var)  # 内部函数可以访问外部函数的变量inner_function()outer_function()

在上面的例子中，inner_function 可以访问 outer_function 中定义的变量 outer_var。这种情况说明，内部函数的作用域可以访问外部函数的变量，而外部函数无法访问内部函数的变量。

3. 全局作用域（Global Scope）

全局作用域是指在函数外部定义的变量。全局变量可以在程序的任何位置被访问和修改，除非在局部作用域或嵌套作用域中使用相同的变量名覆盖了全局变量。

global_var = 30  # 全局变量def print_global():print(global_var)  # 可以访问全局变量，输出 30print_global()
print(global_var)  # 也可以在全局作用域中访问，输出 30

在这个例子中，global_var 是全局变量，既可以在全局作用域中使用，也可以在函数 print_global 内部使用。

4. 内置作用域（Built-in Scope）

内置作用域包含了 Python 提供的一些内置名称和函数，如 print(), len(), str() 等。这些名称在其他作用域之前会首先被查找。需要注意的是，如果我们定义了与内置函数同名的变量或函数，可能会覆盖这些内置名称。

len = 10  # 重新定义了内置函数 lenprint(len)  # 输出 10，而不是原本的 len 函数

在上述代码中，我们将内置的 len 函数重新定义为一个整数 10，这导致后续对 len() 的调用返回的是 10，而不是原有的 len 函数。

5. LEGB 规则

Python 的作用域遵循 LEGB 规则，即：

Local：首先查找局部作用域，优先级最高。
Enclosing：如果局部作用域中找不到，接着查找任何外层函数的嵌套作用域。
Global：若嵌套作用域中也未找到，查找全局作用域。
Built-in：最后查找内置作用域。

Python 会按顺序依次检查这些作用域，直到找到变量。如果所有作用域都没有找到该变量，Python 会抛出 NameError 异常。

举个例子，下面的代码展示了 LEGB 规则的实际应用：

x = 5  # 全局作用域def outer_function():x = 10  # 外层函数的变量def inner_function():x = 15  # 内部函数的变量print(x)  # 访问的是内部函数的 x，输出 15inner_function()outer_function()

在这个例子中，inner_function 会首先查找其局部作用域中的 x 变量，如果没有找到，则会查找外部函数 outer_function 的作用域，最后查找全局作用域。由于 inner_function 中有定义 x，它会使用该局部变量。