Python函数是否捕获定义后创建的变量？闭包相关疑问解析

DevOps 小满

2026-7-28

闭包理解疑问解析

我正试图更好地理解闭包。根据我的理解，示例1-3是合理的，但示例4让我困惑，这说明我的理解一定存在错误。

示例1

def f():
    print(x)
x=1
f() # prints 1

定义f()时，x并不存在，但这没问题。调用f()时会查找x，此时x已存在。

y=2
def g():
    print(y)
g() # prints 2

我原以为这是闭包：定义g()时y已存在，g()捕获其引用，后续修改y的值会在调用g()时体现，但其实这并不涉及闭包。

def h():
    x=3
    def i():
        print(x)
    return i
j=h()
j() # prints 3

这表明闭包会保留对变量的引用，即使变量超出作用域。h()返回后无法直接引用x，但j()仍保留其引用。

def k():
    def l():
        print(x)
    x=4
    return l
m=k()
m() # prints 4

这个例子让我困惑。我曾认为l()不是闭包，不会保留x的引用，只会在调用时查找x，但调用m()时却能打印已超出作用域的x。这是否说明示例1中的f()也是闭包？函数能捕获定义后创建的变量？或许更准确的说法是函数捕获的是定义时的环境或作用域而非变量本身？

首先明确Python中闭包的本质：闭包是嵌套函数，它能够访问并保留定义它的外层函数作用域中的变量，即使外层函数已经执行完毕。但这里的关键是，Python的函数作用域是在定义时确定的，而变量的绑定是在运行时完成的。

针对疑问逐个拆解：

示例1不是闭包：f()访问的是全局作用域的x，它没有嵌套在某个外层函数里，也没有捕获外层函数的局部变量，不属于闭包。它只是在调用时按照LGB作用域规则（局部→全局→内置）查找x。
示例2也不是闭包：和示例1一样，g()访问的是全局变量y，没有嵌套在外层函数中，因此不是闭包。你之前的误解在于把全局变量的引用当成了闭包，闭包的核心是捕获外层函数的局部变量。
示例3是标准闭包：i()嵌套在h()中，捕获了h()的局部变量x，当h()执行完毕返回i()后，i()仍然能访问这个已经离开外层作用域的x，这是闭包的典型特征。
示例4的运行逻辑：Python的函数作用域是静态的（定义时确定），但变量的绑定是动态的（运行时赋值）。l()定义在k()的作用域内，所以它的作用域链包含k()的局部作用域。当k()执行时，先定义l()，然后给x赋值为4，再返回l()。此时l()的作用域链已经关联了k()的局部作用域，而x在k()运行时已经完成绑定，所以当m()（即l()）被调用时，能在k()的闭包作用域中找到x=4。

你之前的错误在于认为“函数只能捕获定义时已存在的变量”，但实际上，闭包捕获的是整个外层作用域的引用，而不是某个特定时刻的变量值。只要变量在该作用域内最终被赋值，闭包就能访问到它——哪怕变量是在嵌套函数定义之后才被创建的。

总结：

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