Python的函数体系中有很多进阶特性，其中嵌套函数和闭包是提升代码灵活性和封装性的重要工具，理解两者的定义和使用方式，能帮助我们写出更简洁高效的代码。
什么是嵌套函数
嵌套函数指的是在一个函数内部定义另一个函数，内部定义的函数被称为内层函数，外部的函数被称为外层函数。内层函数的作用域被限制在外层函数内部，无法直接在外层函数外部调用。
下面是一个简单的嵌套函数示例：
def outer_func():
# 外层函数内的变量
outer_var = "外层变量"
def inner_func():
# 内层函数可以访问外层函数的变量
print("内层函数执行，访问到：" + outer_var)
# 外层函数内部调用内层函数
inner_func()
# 调用外层函数
outer_func()
# 直接调用内层函数会报错
# inner_func()
从上面的代码可以看出，inner_func是定义在outer_func内部的嵌套函数，只有在outer_func的作用域内才能被调用，外部直接调用会抛出未定义错误。
什么是闭包
闭包是嵌套函数的一种特殊形式，当内层函数引用了外层函数的局部变量，并且外层函数的返回值是内层函数本身时，就形成了闭包。闭包会保留外层函数被调用时的局部变量状态，不会随着外层函数执行结束而销毁。
闭包的形成需要满足三个条件：
- 存在嵌套函数结构
- 内层函数引用了外层函数的局部变量
- 外层函数返回内层函数对象
下面是一个典型的闭包示例：
def make_counter():
count = 0 # 外层函数的局部变量
def counter():
nonlocal count # 声明使用外层非全局变量
count += 1
return count
# 返回内层函数，形成闭包
return counter
# 创建计数器实例
counter1 = make_counter()
print(counter1()) # 输出1
print(counter1()) # 输出2
print(counter1()) # 输出3
# 创建另一个独立的计数器实例
counter2 = make_counter()
print(counter2()) # 输出1
在这个例子中，counter函数引用了外层make_counter的count变量，并且make_counter返回了counter函数，因此形成了闭包。count变量的状态会被闭包保存，每次调用counter1时都会基于之前的状态修改count，不同的闭包实例之间状态互相独立。
嵌套函数与闭包的核心区别
很多开发者容易混淆嵌套函数和闭包，两者的核心差异可以通过下表清晰对比：
| 对比维度 | 嵌套函数 | 闭包 |
|---|---|---|
| 返回值要求 | 外层函数可以不返回内层函数 | 外层函数必须返回内层函数对象 |
| 变量状态保留 | 外层函数执行结束后，局部变量销毁 | 外层函数的局部变量会被闭包保留，不会销毁 |
| 调用方式 | 只能在外层函数内部调用内层函数 | 可以将内层函数返回到外部，在外部调用 |
| 变量引用要求 | 内层函数可以不引用外层变量 | 内层函数必须引用外层函数的局部变量 |
闭包的实际应用场景
实现简单的装饰器
装饰器是闭包最典型的应用场景之一，通过闭包可以在不修改原函数代码的前提下，为函数添加额外的功能。
def log_decorator(func):
def wrapper(*args, **kwargs):
print("函数开始执行")
result = func(*args, **kwargs)
print("函数执行结束")
return result
return wrapper
@log_decorator
def add(a, b):
return a + b
print(add(1, 2))
# 输出：
# 函数开始执行
# 函数执行结束
# 3
数据封装与状态保持
闭包可以用来封装一些不需要定义为类的数据和状态，避免全局变量的使用，减少变量污染。比如前面提到的计数器例子，就通过闭包实现了状态的独立保存，比使用全局变量更安全。
使用闭包的注意事项
在使用闭包时需要注意nonlocal关键字的使用，如果内层函数需要修改外层函数的局部变量，必须显式声明nonlocal 变量名，否则会抛出变量未定义错误。另外，闭包保存的变量状态会一直存在于内存中，如果创建大量闭包实例，可能会造成一定的内存占用，需要根据实际场景合理使用。
嵌套函数和闭包是Python函数进阶中非常重要的知识点，嵌套函数是闭包的基础，闭包则是嵌套函数的特殊应用形式。掌握两者的定义、区别和使用场景，能帮助我们更灵活地运用Python的函数特性，写出更优雅的代码。