python 中的 `nonlocal` 关键字用于在嵌套函数中修改其直接外层（非全局）作用域中的变量。它主要解决的是在内部函数中对外部变量进行重新赋值而非仅仅修改其内容时的作用域问题。当内部函数试图重新绑定一个外部变量时，若不使用 `nonlocal`，python 会默认创建一个新的局部变量。理解 `nonlocal` 的核心在于区分变量的重新赋值与对可变对象内容的修改。
Python 变量作用域基础
在深入探讨 nonlocal 之前，理解 Python 的变量作用域规则至关重要。Python 遵循 LEGB 原则来查找变量：
- Local (L)：函数内部定义的变量。
- Enclosing (E)：外层（非全局）函数中定义的变量。
- Global (G)：模块级别定义的变量，或使用 global 关键字声明的变量。
- Built-in (B)：Python 内置的名称（如 print, len 等）。
当一个函数尝试访问一个变量时，它会按照 L -> E -> G -> B 的顺序查找。如果一个变量在函数内部被赋值，Python 默认会将其视为一个局部变量，即使外部作用域存在同名变量。
nonlocal 关键字的核心作用
nonlocal 关键字的引入是为了解决在嵌套函数中修改外层非全局变量的问题。当一个内部函数需要对一个在其直接外层作用域中定义的变量进行“重新赋值”（reassignment），而不是仅仅修改该变量所指向的可变对象的内容时，就需要使用 nonlocal。
如果没有 nonlocal 声明，内部函数对一个外部变量的赋值操作会创建一个新的局部变量，从而“遮蔽”了外部的同名变量。nonlocal 明确告诉 Python 解释器，该变量不是当前函数的局部变量，也不是全局变量，而是其直接外层作用域中的变量。
立即学习“Python免费学习笔记（深入）”；
关键区别：变量重赋值 vs. 可变对象内容修改
这是理解 nonlocal 何时使用、何时不使用的核心。
-
变量重赋值 (Reassignment)： 当你在内部函数中执行 variable = new_value 这样的操作时，你是在尝试将 variable 重新绑定到一个新的对象。如果 variable 是一个不可变类型（如整数、字符串、元组），或者你希望将其指向一个新的可变对象，那么这个操作就是重赋值。在这种情况下，如果 variable 存在于外层作用域且你希望修改外层变量，则必须使用 nonlocal。
示例：需要 nonlocal 的情况
def outer_function(): count = 0 # 外层作用域的变量 def inner_function(): # 如果没有 nonlocal count，这一行会创建一个新的局部变量 count = 1 nonlocal count count = 10 # 对外层 count 进行重新赋值 print(f"Inner function: count = {count}") inner_function() print(f"Outer function: count = {count}") outer_function() # 输出： # Inner function: count = 10 # Outer function: count = 10如果将 nonlocal count 移除，outer_function 会输出 count = 0，因为 inner_function 内部的 count = 10 只是创建了一个局部变量。
-
可变对象内容修改 (Modification of mutable object contents)： 当变量指向一个可变对象（如列表 list、字典 dict、集合 set）时，如果你执行的是修改该对象内容的操作（例如 list.append(), set.add(), dict['key'] = value），你并没有改变变量本身指向的内存地址，只是改变了该地址上的对象的状态。在这种情况下，Python 会沿着作用域链找到这个可变对象，并对其进行操作，因此不需要使用 nonlocal。
示例：不需要 nonlocal 的情况（如 Leetcode 题解中的 set.add()） 在提供的 Leetcode 题解代码中，visited 是一个 set 对象。dfs 函数内部对 visited 执行的操作是 visited.add(curr)。这是一个修改 set 对象内容的操作，而不是将 visited 重新赋值给一个新的 set 对象。因此，visited 变量本身仍然指向外部作用域的同一个 set 对象，无需 nonlocal 声明。
def outer_function_mutable(): my_list = [1, 2, 3] # 外层作用域的可变列表 def inner_function_mutable(): # 这里是对 my_list 所指向的列表对象进行修改，而不是重新赋值 my_list my_list.append(4) print(f"Inner function: my_list = {my_list}") inner_function_mutable() print(f"Outer function: my_list = {my_list}") outer_function_mutable() # 输出： # Inner function: my_list = [1, 2, 3, 4] # Outer function: my_list = [1, 2, 3, 4]在这个例子中，即使没有 nonlocal my_list，内部函数也能成功修改外部的 my_list。这是因为 my_list.append(4) 并没有创建新的局部 my_list 变量，而是操作了外部作用域中 my_list 所引用的同一个列表对象。
global 与 nonlocal 的对比
- global：用于在函数内部声明一个变量是全局变量。这意味着对该变量的任何操作（包括赋值）都将影响模块级别的全局变量。
- nonlocal：用于在嵌套函数中声明一个变量是其直接外层（非全局）作用域中的变量。它不会影响全局作用域。
简而言之，global 跳过所有局部和外层作用域，直接指向全局；nonlocal 则向上查找一层作用域。
总结与注意事项
- 何时使用 nonlocal：当你需要在嵌套函数中对一个外层（非全局）变量进行重新赋值操作时，即 variable = new_value。
- 何时不需要 nonlocal：当你只是修改一个外层可变对象（如列表、字典、集合）的内容时，即 list.append(), set.add(), dict['key'] = value 等。
- 代码清晰性：虽然 nonlocal 提供了强大的作用域控制能力，但过度使用或滥用可能会使代码难以理解和维护。在设计复杂嵌套函数时，应权衡其带来的便利性和潜在的复杂性。
- 替代方案：有时，通过将状态封装在类中，或者将需要修改的变量作为参数传递并返回新值，可以避免 nonlocal 的使用，从而使代码结构更清晰。
理解 nonlocal 的关键在于区分变量的“引用”和“内容”。当你希望改变变量所指向的“引用”本身（即让它指向一个新的对象）时，且这个变量在外层作用域，你就需要 nonlocal。当你只是想改变变量所指向的“对象”的内部状态时，则无需 nonlocal。
