在 Python 中，闭包能够保存外部函数变量的值，是因为它通过**词法作用域（Lexical Scoping）**和**引用机制**捕获并维护了这些变量的引用。以下是详细解释： --- ### **1. 词法作用域（Lexical Scoping）** - Python 在**函数定义时**（而非调用时）确定其作用域链。 - 当内部函数（闭包）被定义时，它会**记住所在的外层作用域**，包括外层函数的局部变量。 **示例**： ```python def outer(): x = 10 # 外部函数的局部变量 def inner(): print(x) # 内部函数引用了外部函数的变量 x return inner closure = outer() closure() # 输出: 10（闭包记住了 x 的值） ``` - 即使 `outer()` 执行完毕，其局部变量 `x` 仍被闭包 `inner` 引用，因此不会被垃圾回收。 --- ### **2. 闭包的实现机制** - Python 通过 `__closure__` 属性将外部函数的变量绑定到闭包中。 - 每个闭包对象包含一个元组（`cell` 对象），存储被引用的自由变量。 **查看闭包的 `__closure__`**： ```python def outer(x): def inner(): return x return inner closure = outer(42) print(closure.__closure__[0].cell_contents) # 输出: 42 ``` - `__closure__` 中的 `cell` 对象保存了外部变量 `x` 的值（这里是 `42`）。 --- ### **3. 为什么能“保存”值？** 1. **变量捕获**： - 闭包在定义时捕获外部函数的变量（而非值），形成**引用关系**。 - 只要闭包存在，被引用的变量就不会被销毁。 2. **延迟绑定问题**： - 若在循环中创建闭包，需注意变量绑定的时机（默认绑定到循环结束后的最终值）。 - **解决方法**：通过默认参数强制绑定当前值： ```python funcs = [lambda x=i: x for i in range(3)] # 正确绑定 i=0,1,2 ``` --- ### **4. 与类实例变量的对比** - **闭包**：通过函数作用域和 `__closure__` 保存状态。 - **类**：通过实例属性（`self.x`）保存状态。 **示例对比**： ```python # 闭包实现计数器 def counter(): count = 0 def increment(): nonlocal count count += 1 return count return increment # 类实现计数器 class Counter: def __init__(self): self.count = 0 def increment(self): self.count += 1 return self.count ``` - 闭包更轻量，但类更灵活（支持多方法、继承等）。 --- ### **5. 底层原理** - Python 的函数是对象，其 `__code__` 属性记录了需要访问的自由变量名。 - 当闭包被创建时，解释器会将这些自由变量存储在 `__closure__` 中。 **示例**： ```python def outer(x): def inner(y): return x + y return inner closure = outer(10) print(closure.__code__.co_freevars) # 输出: ('x',)（自由变量名） ``` --- ### **常见问题总结** 1. **闭包保存的是变量还是值**？ - 保存的是变量引用（但初始值在定义时确定）。 2. **为什么循环中的闭包需要 `x=i` 默认参数**？ - 避免所有闭包共享同一个变量引用（绑定到循环结束后的最终值）。 3. **闭包能访问全局变量吗**？ - 可以，但全局变量不受闭包控制（直接通过模块作用域访问）。 4. **Python 2 和 3 中闭包的区别**？ - Python 2 无 `nonlocal`，修改外部变量需通过可变对象（如列表）。 5. **闭包与装饰器的关系**？ - 装饰器通常是闭包的应用（通过嵌套函数封装额外逻辑）。 ---