Python中的`nonlocal`关键字用于在嵌套函数中，显式地修改或重新绑定外层非全局作用域中的变量。它主要解决内层函数默认创建局部变量的机制，使得能够直接操作外部作用域的变量。理解其核心在于区分变量的“重新赋值”与“修改其指向对象的内容”，后者通常不需要`nonlocal`。
Python作用域基础与嵌套函数
在Python中，变量的作用域遵循LEGB（Local, Enclosing, Global, Built-in）原则。当一个函数内部定义了另一个函数（即嵌套函数）时，内层函数可以访问外层函数的变量。然而，默认情况下，如果内层函数对一个变量进行赋值操作，Python会将其视为创建了一个新的局部变量，而不是修改外层作用域的同名变量。
例如，考虑以下代码：
def outer_function():
x = 10 # 外层作用域的变量x
def inner_function():
x = 20 # 默认情况下，这会创建一个新的局部变量x
print(f"Inner function's x: {x}")
inner_function()
print(f"Outer function's x: {x}")
outer_function()
# 输出:
# Inner function's x: 20
# Outer function's x: 10在这个例子中，inner_function内部的x = 20创建了一个新的局部变量x，它只在inner_function内部可见，并未影响outer_function中定义的x。
立即学习“Python免费学习笔记（深入）”；
nonlocal 关键字的作用
nonlocal关键字正是为了解决上述问题而引入的。它允许内层函数明确声明，某个变量并非局部变量，而是要引用并修改其最近的外层（非全局）作用域中的同名变量。
使用nonlocal的例子：
def outer_function_with_nonlocal():
x = 10 # 外层作用域的变量x
def inner_function_with_nonlocal():
nonlocal x # 声明x是外层作用域的变量
x = 20 # 这会修改外层作用域的x
print(f"Inner function's x: {x}")
inner_function_with_nonlocal()
print(f"Outer function's x: {x}")
outer_function_with_nonlocal()
# 输出:
# Inner function's x: 20
# Outer function's x: 20现在，inner_function_with_nonlocal通过nonlocal x声明，其对x的赋值操作会直接修改outer_function_with_nonlocal中定义的x。
重新赋值与修改内容：nonlocal 的关键区分
理解nonlocal何时需要使用的核心在于区分“重新赋值”和“修改其指向对象的内容”。
重新赋值 (Reassignment): 指的是将一个变量名绑定到一个全新的对象上。例如，x = 20（将x绑定到整数对象20）或 my_list = [1, 2]（将my_list绑定到一个新的列表对象）。当内层函数需要对一个外层作用域的变量进行重新赋值时，就需要使用nonlocal。
修改其指向对象的内容 (Modifying Object Contents): 指的是变量名仍然指向同一个对象，但该对象内部的状态发生了变化。这通常发生在操作可变对象（如列表list、字典dict、集合set）时，例如my_list.append(item)、my_dict['key'] = value、my_set.add(item)。在这种情况下，变量名本身并没有被重新绑定到新的对象，因此不需要nonlocal。
示例分析：LeetCode 课程表问题
回顾您在LeetCode问题中遇到的情况，其中dfs函数内部对visited集合和res列表进行了操作：
class Solution:
def findOrder(self, numCourses: int, prerequisites: List[List[int]]) -> List[int]:
res = [] # res 是一个列表对象
adjList = defaultdict(list)
visited = set() # visited 是一个集合对象
# 构建邻接表
for prereq in prerequisites:
adjList[prereq[0]].append(prereq[1])
# 定义DFS算法
def dfs(curr, path):
if curr in visited: # 访问 visited 的内容
return True
if curr in path:
return False
path.add(curr)
for course in adjList[curr]:
if not dfs(course, path):
return False
path.remove(curr)
visited.add(curr) # 修改 visited 集合的内容
res.append(curr) # 修改 res 列表的内容
return True
# 拓扑排序
for course in range(numCourses):
if not dfs(course, set()):
return []
return res在dfs函数内部，您对visited变量执行了visited.add(curr)操作，以及对res变量执行了res.append(curr)操作。这些都是典型的“修改其指向对象的内容”的例子。visited变量仍然指向最初在findOrder函数中创建的那个set对象，只是这个set对象内部增加了一个元素。同样，res变量仍然指向最初创建的list对象，只是其内部增加了元素。您并没有进行visited = new_set()或res = new_list()这样的重新赋值操作。
因此，对于visited和res，您都不需要使用nonlocal关键字，因为您只是在操作它们所指向的可变对象的内部状态，而不是将变量名重新绑定到新的对象。
何时需要使用 nonlocal？
nonlocal关键字主要在以下两种情况中使用：
-
当内层函数需要对一个外层非全局作用域中的不可变对象（如整数、字符串、元组）进行修改时。 由于不可变对象无法直接修改其内容，任何看似“修改”的操作实际上都是重新赋值。
def counter(): count = 0 # 外层作用域的不可变整数 def increment(): nonlocal count # 声明count是外层作用域的变量 count += 1 # 这相当于 count = count + 1，是一个重新赋值操作 return count return increment inc = counter() print(inc()) # 1 print(inc()) # 2 -
当内层函数需要对一个外层非全局作用域中的可变对象进行完全的重新赋值时，即让变量名指向一个新的对象。
def list_manipulator(): my_list = [1, 2, 3] # 外层作用域的可变列表 def replace_list(new_data): nonlocal my_list # 声明my_list是外层作用域的变量 my_list = new_data # 将 my_list 重新绑定到一个新的列表对象 print(f"Inner list (replace): {my_list}") def add_item(item): # 仅修改 my_list 指向的列表内容，不需要 nonlocal my_list.append(item) print(f"Inner list (add): {my_list}") return replace_list, add_item replace, add = list_manipulator() replace([4, 5]) # 输出: Inner list (replace): [4, 5] add(6) # 输出: Inner list (add): [4, 5, 6]
总结
nonlocal关键字是Python中处理嵌套函数作用域的一个强大工具，但其使用场景相对明确。核心在于判断你是想“重新绑定”一个外层变量名到一个新对象，还是仅仅“修改”该变量名当前所指向的可变对象的内容。只有在前一种情况下，才需要使用nonlocal。在处理可变数据结构（如列表、字典、集合）时，如果只是添加、删除或修改其内部元素，而没有将变量重新指向一个全新的数据结构，则通常不需要nonlocal。正确理解这一区别是避免nonlocal误用的关键。
