Python闭包具体在何时执行变量捕获？为何不是内部函数定义阶段？

如下是问题中提到的Python代码片段：

globl = 1
def foo():
    def bar(): 
        return free+capture
    capture = globl # bar定义阶段该变量还未声明
    return bar

free = 2
a = foo()
globl = 4
b = foo()
print(a()) #3
print(b()) #6
print(a.__closure__[0].cell_contents) # 1
print(b.__closure__[0].cell_contents) # 4 

将bar替换为lambda后逻辑完全一致：

bar = lambda : free+capture

设计原因解答 #

首先需要纠正一个认知偏差：Python并不是在函数返回时才完成闭包构建，本质是闭包采用按引用捕获+晚绑定的设计，变量的实际取值只会在内部函数被调用时才会确认。没有选择在bar定义阶段完成闭包的原因主要有三点：

• 适配Python动态语言的变量特性：Python没有变量提前声明的要求，函数内部的变量可以在函数代码的任意位置完成定义赋值。如果要求在内部函数定义阶段就完成闭包捕获，示例中bar定义时capture还没有被赋值，会直接抛出变量未定义错误，后续代码完全无法执行，和Python的变量使用逻辑冲突。
• 提升代码灵活性：晚绑定设计允许开发者在父函数内部、定义完内部函数之后再修改捕获变量的值，内部函数调用时可以自动拿到最新的变量值，不需要重新声明内部函数。我们常用的计数器、闭包状态保持等功能都依赖该特性，如果是定义阶段就捕获固定值，这类功能根本无法实现。
• 保持语言逻辑的一致性：Python所有变量的查找都遵循LEGB（Local→Enclosing→Global→Builtin）规则，只有变量被实际访问的时候才会逐层查找对应作用域的变量值，闭包的设计没有单独做特殊处理，保持了整个语言执行逻辑的统一。

你示例中的输出也完全符合该逻辑：第一次调用foo()时globl值为1，因此capture被赋值为1，bar捕获了capture的引用，调用a()时取全局的free=2，计算结果为3；第二次调用foo()时globl已经修改为4，capture被赋值为4，因此b()计算结果为6。

内容的提问来源于stack exchange，提问作者artemonster