Python变量作用域详解与绑定解析

本文深入解析Python变量作用域，重点阐述`global`和`nonlocal`关键字对变量绑定的影响。Python遵循LEGB规则，在函数定义时便确定变量归属。默认情况下，函数内赋值的变量被视为局部变量，`global`关键字允许修改模块级别的全局变量，而`nonlocal`则用于操作封闭作用域中的变量。文章通过示例代码详细解释了局部绑定行为、`global`和`nonlocal`的用法，以及Python在“编译时”确定变量绑定方式的机制，帮助读者理解并避免`UnboundLocalError`。理解Python变量作用域对于编写清晰、可维护的代码至关重要。

在 Python 编程中，理解变量的作用域（Scope）至关重要。作用域定义了变量在程序中可以被访问的范围。Python 遵循 LEGB 规则来解析变量：局部（Local）、封闭（Enclosing Function Locals）、全局（Global）和内置（Built-in）。当我们在函数内部操作变量时，其行为会根据变量的声明方式而有所不同。

1. 变量的默认绑定行为：局部变量

在 Python 中，如果在函数内部对一个变量进行赋值操作，那么该变量默认会被视为该函数的局部变量。这意味着即使外部存在同名变量，函数内部的赋值也不会影响到外部的变量，而是创建或修改函数自身作用域内的局部变量。

考虑以下示例：

def scope_test():
    def do_local():
        spam = "local spam" # 默认创建局部变量

    spam = "test spam"
    do_local()
    print("After local assignment:", spam)

运行 scope_test() 后，输出将是 "After local assignment: test spam"。这表明 do_local() 函数内部对 spam 的赋值只影响了 do_local 自身的局部变量，而 scope_test 作用域内的 spam 保持不变。

2. global 关键字：操作模块级别变量

当我们需要在函数内部修改模块（即文件）级别的全局变量时，需要使用 global 关键字明确声明。global 关键字告诉 Python 解释器，该变量不是当前函数的局部变量，而是指向模块最外层作用域中的同名变量。

def scope_test():
    # ... 其他函数 ...
    def do_global():
        global spam # 声明 spam 为全局变量
        spam = "global spam"

    spam = "test spam" # scope_test 作用域的 spam
    # ...
    do_global()
    print("After global assignment:", spam) # 仍打印 scope_test 的 spam

在上述代码中，do_global() 内部的 global spam 声明使得 spam = "global spam" 这一赋值操作影响的是模块级别的 spam 变量。然而，当我们在 scope_test() 内部打印 spam 时，我们仍然看到的是 scope_test 自身的 spam 变量的值。只有在 scope_test() 调用结束后，在全局作用域再次打印 spam 时，才能看到 do_global() 所做的修改。

# 完整示例的全局部分
# ... (scope_test 函数定义) ...
scope_test()
print("In global scope:", spam) # 此时会打印 "global spam"

3. nonlocal 关键字：操作封闭作用域变量

nonlocal 关键字用于在嵌套函数中修改其直接外层（非全局）作用域中的变量。它允许内部函数访问并修改其封闭函数（Enclosing Function）中的变量，而不是创建新的局部变量。

def scope_test():
    def do_nonlocal():
        nonlocal spam # 声明 spam 为非局部变量
        spam = "nonlocal spam"

    spam = "test spam" # scope_test 作用域的 spam
    do_nonlocal()
    print("After nonlocal assignment:", spam)

在 do_nonlocal() 中使用 nonlocal spam 后，spam = "nonlocal spam" 会修改 scope_test 作用域中的 spam 变量。因此，print("After nonlocal assignment:", spam) 将输出 "After nonlocal assignment: nonlocal spam"。

4. 变量绑定的“编译时”确定性

理解 Python 变量作用域的关键在于，Python 在函数 定义时（或者说，在函数对象被“编译”时）就已经确定了函数内部变量的绑定方式。这意味着 Python 会扫描函数体，识别所有被赋值的变量。

• 如果一个变量在函数内部被赋值，并且没有被 global 或 nonlocal 关键字声明，那么它在该函数的所有引用都将被视为局部变量。
• 如果一个变量被 global 声明，那么它在该函数的所有引用都将指向模块级别的变量。
• 如果一个变量被 nonlocal 声明，那么它在该函数的所有引用都将指向最近的非全局封闭作用域中的同名变量。

这种“编译时”的绑定确定性解释了为什么在某些情况下会出现 UnboundLocalError。考虑以下示例：

spam = 10

def function1():
    print(spam) # spam 未在 function1 中赋值，被视为全局变量

def function2():
    print(spam) # 错误：UnboundLocalError
    spam = 11 # spam 在 function2 中被赋值，被视为局部变量

function1() 能够正常运行并打印 10，因为 spam 在 function1 内部没有被赋值，Python 会沿着 LEGB 规则向上查找，最终找到全局作用域的 spam。

然而，function2() 会抛出 UnboundLocalError。这是因为 Python 在解析 function2() 时，发现 spam = 11 这条赋值语句，因此它将 function2() 内部的所有 spam 引用都标记为局部变量。当 print(spam) 执行时，它尝试访问一个局部变量 spam，但此时 spam 尚未被赋值，从而导致错误。

5. 综合示例分析

结合上述概念，我们来完整分析最初提供的 scope_test 示例：

def scope_test():
    def do_local():
        spam = "local spam" # 1. 这里的 spam 是 do_local 的局部变量

    def do_nonlocal():
        nonlocal spam # 2. 这里的 spam 指向 scope_test 的 spam
        spam = "nonlocal spam"

    def do_global():
        global spam # 3. 这里的 spam 指向模块级别的 spam
        spam = "global spam"

    spam = "test spam" # 4. scope_test 的局部变量 spam

    do_local()
    print("After local assignment:", spam) # 5. 打印 scope_test 的 spam，仍为 "test spam"

    do_nonlocal()
    print("After nonlocal assignment:", spam) # 6. 打印 scope_test 的 spam，已被 do_nonlocal 修改为 "nonlocal spam"

    do_global()
    print("After global assignment:", spam) # 7. 打印 scope_test 的 spam，仍为 "nonlocal spam" (do_global 修改的是全局 spam)

scope_test()
print("In global scope:", spam) # 8. 打印模块级别的 spam，已被 do_global 修改为 "global spam"

执行流程及输出：

1. spam = "test spam"：在 scope_test 函数内部初始化一个局部变量 spam。
2. do_local() 调用：do_local 内部的 spam = "local spam" 创建了一个 新的 局部变量，不影响 scope_test 的 spam。
3. print("After local assignment:", spam)：输出 After local assignment: test spam。
4. do_nonlocal() 调用：nonlocal spam 指向 scope_test 的 spam。spam = "nonlocal spam" 将 scope_test 的 spam 修改为 "nonlocal spam"。
5. print("After nonlocal assignment:", spam)：输出 After nonlocal assignment: nonlocal spam。
6. do_global() 调用：global spam 指向模块最外层的 spam。spam = "global spam" 将模块级别的 spam 修改为 "global spam"。
7. print("After global assignment:", spam)：输出 After global assignment: nonlocal spam。此时打印的仍是 scope_test 作用域内的 spam，它未被 do_global 影响。
8. scope_test() 执行完毕，回到全局作用域。
9. print("In global scope:", spam)：输出 In global scope: global spam。此时打印的是模块级别的 spam，它已被 do_global 修改。

总结与注意事项

• 默认局部性： 在函数内部对变量赋值，若无特殊声明，默认创建或修改局部变量。
• global 关键字： 用于显式地在函数内部引用和修改模块级别的全局变量。
• nonlocal 关键字： 用于显式地在嵌套函数中引用和修改其最近的非全局封闭作用域中的变量。
• 绑定时机： Python 在函数定义时就确定了变量的绑定方式（局部、非局部或全局）。如果函数内部有赋值操作，该变量在该函数内就会被视为局部变量（除非使用 global/nonlocal）。
• 避免 UnboundLocalError： 了解绑定时机可以帮助理解并避免 UnboundLocalError，它通常发生在尝试在赋值之前读取一个被标记为局部变量的变量时。
• 最佳实践： 尽管 global 和 nonlocal 提供了强大的控制能力，但过度使用它们可能会导致代码难以理解和维护。通常建议通过函数参数传递数据和通过返回值返回结果，以保持函数间的清晰接口和低耦合性。在必要时，它们是解决特定作用域问题的有效工具。

文中关于的知识介绍，希望对你的学习有所帮助！若是受益匪浅，那就动动鼠标收藏这篇《Python变量作用域详解与绑定解析》文章吧，也可关注golang学习网公众号了解相关技术文章。