本教程深入探讨 python 中 `nonlocal` 关键字的用法。它主要用于允许嵌套函数修改其直接外层（非全局）作用域中的变量，而非创建新的局部变量。文章通过对比变量的重新赋值与可变对象内容的修改，详细阐述 `nonlocal` 的适用场景，并提供代码示例以加深理解，帮助开发者避免常见误区。
在 Python 编程中，理解变量作用域是至关重要的。当处理嵌套函数时，nonlocal 关键字扮演着一个特定且关键的角色，它允许内部函数修改其外层非全局作用域中的变量。本文将详细解析 nonlocal 的工作原理、适用场景以及与 global 关键字的区别，并通过实例代码帮助读者透彻理解。
Python 作用域规则回顾
Python 遵循 LEGB（Local, Enclosing, Global, Built-in）的查找顺序来解析变量名：
- Local (L)：当前函数内部的作用域。
- Enclosing (E)：外层（非全局）函数的作用域，也称为闭包作用域。
- Global (G)：模块级别的全局作用域。
- Built-in (B)：Python 内置模块的名称作用域。
当一个函数尝试对一个变量进行赋值操作时，Python 默认会在当前函数的局部作用域中创建或修改该变量。如果希望修改外层作用域的变量，就需要明确声明。
nonlocal 关键字的作用
nonlocal 关键字用于在嵌套函数中声明一个变量，表明该变量并非当前函数的局部变量，也不是全局变量，而是其直接外层（非全局）函数作用域中的变量。通过 nonlocal 声明后，对该变量的任何赋值操作都会直接修改外层作用域中的同名变量。
立即学习“Python免费学习笔记（深入）”；
nonlocal 与 global 的区别：
- global：用于声明变量是全局作用域中的变量，无论它在哪个函数内部被声明。
- nonlocal：用于声明变量是其直接外层（非全局）函数作用域中的变量。它不能用于修改全局变量。
何时需要使用 nonlocal
当内部函数需要重新赋值其外层（非全局）作用域中的变量时，必须使用 nonlocal。如果不使用 nonlocal，赋值操作将默认在内部函数中创建一个新的局部变量。
示例：计数器函数
考虑一个场景，我们想创建一个外部函数，它包含一个计数器，并返回一个内部函数，每次调用内部函数时，计数器都会递增。
def create_counter():
count = 0 # 外层作用域的变量
def increment():
# 如果没有 nonlocal count，这里的 count += 1 会在 increment 内部创建一个新的局部 count
# 从而不会影响到外层的 count 变量
nonlocal count
count += 1
print(f"内部函数调用后计数: {count}")
return count
return increment
# 创建一个计数器实例
my_counter = create_counter()
# 调用内部函数，每次调用都修改外层的 count
my_counter() # 输出: 内部函数调用后计数: 1
my_counter() # 输出: 内部函数调用后计数: 2
print(f"外部函数作用域中的最终计数: {my_counter()}") # 输出: 内部函数调用后计数: 3, 外部函数作用域中的最终计数: 3在这个例子中，nonlocal count 确保了 increment 函数中的 count += 1 操作修改的是 create_counter 函数作用域中的 count 变量，而不是在 increment 内部创建一个新的局部 count。
何时不需要使用 nonlocal
理解 nonlocal 的适用场景，同样重要的是知道何时不需要使用它。主要有两种情况：
-
仅访问外层变量：如果内部函数只是读取外层作用域的变量，而没有对其进行赋值操作，则不需要使用 nonlocal。Python 的 LEGB 规则会自动向上查找。
def outer_read_only(): message = "Hello from outer!" def inner_read(): print(message) # 直接访问外层的 message 变量 inner_read() outer_read_only() # 输出: Hello from outer! -
修改可变对象的内容，而非重新赋值变量本身：这是最常见的误区。如果外层作用域的变量引用了一个可变对象（如列表、字典、集合），而内部函数只是通过该引用修改了对象的内容（例如，调用 list.append()、set.add()、dict.update() 等方法），而不是将变量重新指向一个新的对象，那么也不需要使用 nonlocal。
这是因为变量本身（即指向内存地址的引用）并没有改变，改变的是引用所指向的那个对象内部的状态。
示例：修改集合内容
以下代码模拟了 Leetcode 问题中 dfs 函数的场景，其中 visited 是一个集合。
def outer_mutable_example(): # visited 是一个集合，集合是可变对象 visited = set() def inner_modify_set(): # 这里只是向 visited 集合中添加元素 # 并没有将 visited 变量重新赋值给一个新的集合对象 visited.add("element_A") visited.add("element_B") print(f"内部函数修改后集合: {visited}") inner_modify_set() print(f"外部函数作用域中的最终集合: {visited}") outer_mutable_example() # 输出: 内部函数修改后集合: {'element_A', 'element_B'} # 输出: 外部函数作用域中的最终集合: {'element_A', 'element_B'}在上述代码中，inner_modify_set 函数通过 visited.add() 方法修改了 visited 集合的内容。visited 这个变量本身仍然指向原来的集合对象，它没有被重新赋值。因此，不需要使用 nonlocal visited。如果内部函数执行了 visited = {"new_set_element"} 这样的操作，那么就需要 nonlocal 了，因为这会尝试将 visited 重新赋值为一个新的集合对象。
总结
nonlocal 关键字是 Python 中处理嵌套函数作用域的重要工具。它允许内部函数修改其直接外层（非全局）作用域中的变量，但仅限于重新赋值操作。当内部函数只是访问外层变量，或者只是修改可变对象的内容而没有重新赋值变量本身时，则无需使用 nonlocal。正确理解和运用 nonlocal 能够帮助我们编写出更清晰、更符合预期的闭包和嵌套函数代码。
