Python nonlocal 变量：理解作用域和绑定

本文旨在深入解析 Python 中 nonlocal 关键字的用法及其背后的作用域机制。通过示例代码，我们将详细解释 nonlocal 如何影响变量的绑定，以及它与 global 关键字的区别。理解这些概念对于编写清晰、可维护的 Python 代码至关重要。

nonlocal 关键字的作用

nonlocal 关键字用于在嵌套函数中声明一个变量，使其引用到外部函数（但不是全局作用域）的变量。这允许内部函数修改外部函数作用域中的变量。理解 nonlocal 的关键在于理解 Python 的作用域规则。

作用域规则简介

Python 使用 LEGB 规则来查找变量：

• Local: 本地作用域，即函数内部的作用域。
• Enclosing function locals: 外部嵌套函数的作用域。
• Global: 全局作用域。
• Built-in: 内置作用域。

当在函数中引用一个变量时，Python 首先在本地作用域查找，然后是外部函数作用域，接着是全局作用域，最后是内置作用域。

立即学习“Python免费学习笔记（深入）”；

示例分析

考虑以下代码：

def scope_test():
    def do_local():
        spam = "local spam"

    def do_nonlocal():
        nonlocal spam
        spam = "nonlocal spam"

    def do_global():
        global spam
        spam = "global spam"

    spam = "test spam"
    do_local()
    print("After local assignment:", spam)
    do_nonlocal()
    print("After nonlocal assignment:", spam)
    do_global()
    print("After global assignment:", spam)

scope_test()
print("In global scope:", spam)

这段代码展示了 local、nonlocal 和 global 关键字的不同行为。

ChatDOC

ChatDOC是一款基于chatgpt的文件阅读助手，可以快速从pdf中提取、定位和总结信息

下载

1. spam = "test spam": 在 scope_test 函数中，spam 被赋值为 "test spam"。这是 scope_test 函数的本地变量。
2. do_local(): 在 do_local 函数中，spam 被赋值为 "local spam"。这个 spam 是 do_local 函数的本地变量，与 scope_test 中的 spam 无关。
3. do_nonlocal(): 在 do_nonlocal 函数中，nonlocal spam 声明 spam 引用的是外部函数 scope_test 中的 spam。因此，spam = "nonlocal spam" 修改了 scope_test 中的 spam 的值。
4. do_global(): 在 do_global 函数中，global spam 声明 spam 引用的是全局作用域中的 spam。如果全局作用域中没有 spam，则会创建一个新的全局变量 spam。因此，spam = "global spam" 修改了全局作用域中的 spam 的值。

这段代码的输出结果如下：

After local assignment: test spam
After nonlocal assignment: nonlocal spam
After global assignment: nonlocal spam
In global scope: global spam

nonlocal 与 global 的区别

nonlocal 和 global 的主要区别在于它们引用的作用域不同。nonlocal 引用的是外部嵌套函数的作用域，而 global 引用的是全局作用域。

注意事项

• nonlocal 只能在嵌套函数中使用。
• nonlocal 声明的变量必须在外部函数中已经存在，否则会引发 SyntaxError: no binding for nonlocal 'spam' found 错误。
• 在函数中，如果一个变量被赋值，Python 会认为它是本地变量。如果要引用外部函数作用域中的变量，必须使用 nonlocal 声明。

示例：理解变量绑定

以下示例进一步说明了 Python 如何在函数编译时确定变量的绑定：

spam = 10

def function1():
    print(spam)

def function2():
    print(spam)
    spam = 11

function1() 可以正常运行，因为 spam 在其中被视为全局变量。但是，function2() 会引发 UnboundLocalError 错误。这是因为 Python 在编译 function2() 时发现 spam 被赋值，因此认为 spam 是一个本地变量。然而，在赋值之前，spam 已经被引用，因此引发错误。

总结

理解 nonlocal 关键字以及 Python 的作用域规则对于编写复杂的程序至关重要。通过合理使用 nonlocal 和 global，可以更好地控制变量的作用域，避免潜在的错误，并提高代码的可读性和可维护性。