什么是闭包？从底层解释闭包的运行

最新推荐文章于 2025-06-09 09:31:09 发布

原创最新推荐文章于 2025-06-09 09:31:09 发布 · 608 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#作用域 #闭包 #函数封装

JavaScript 同时被 2 个专栏收录

45 篇文章

订阅专栏

python

24 篇文章

订阅专栏

本文通过解析两个Python闭包示例，深入浅出地讲解了闭包的运行原理，包括预编译过程、作用域链、执行上下文等概念，并探讨了闭包在实现变量共享、缓存、函数封装等方面的应用。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

之前看过廖雪峰老师的闭包讲解，当时不明白其中的运行原理，今天在看了渡一的js课程后，明白了闭包的原理。那就举两个例子来解释下。

首先要了解预编译中的几个名词：

GO对象（Global Object），全局环境下创建的执行期上下文，就是全局作用域。
AO对象（Activation Object），也叫执行期上下文。在函数被执行前一刻创建，可以称为是局部环境、局部作用域。
Scope chain（作用域链），被创建的局部作用域会继承父级的作用域，形成一条作用域链。

再记住一点

但凡是内部的函数被保存到了外部，它一定生成闭包。内部函数会保存外部函数的劳动成果，保存了还没执行，被放到了外部，而外部的函数自身AO就被内部的闭包函数保存了。

在一个函数的执行前有个预编译，当函数执行时，会创建一个称为执行期上下文的内部对象，一个执行期上下文定义了一个函数执行时的环境，函数每次执行时对应的执行上下文都是独一无二的，所以多次调用一个函数会导致创建多个执行上下文，当函数执行完毕，执行上下文被销毁。

步骤如下：

创建AO对象（Activation Object），执行期上下文。
寻找函数的形参和内部的变量声明，将变量声明和形参名作为AO属性名，如果有重复则跳过，初始值为undefined。
将实参的值放到形参里面去，将实参值和形参统一。函数内变量声明的值传递到AO对应的属性名。
在函数体内部寻找函数声明，创建AO属性名，属性值为函数体。
GO除了没第三步，其它都和AO一样。

注意！
接下来看廖雪峰老师，讲python闭包那节课中的两个例子

def count():
    fs = [ ]
    for i in range(1, 4):  
        def f():                             
             return i*i
        fs.append(f)
    return fs

f1, f2, f3 = count()
--------------------------------
>>> f1()
9
>>> f2()
9
>>> f3()
9

按上面的理论来看，在for循环结束后，原本的fs = [ ]从一个空数组变成了fs = [ f , f , f ]，里面都是一样的函数名。
并且在循环体结束后，i = 3。
此时 f1, f2, f3 = count()，所继承的东西是一样的，都是函数名 f。
在这里，因为函数b被return抛出来了，它带着a的AO和GO,而在a的AO里i = 3。
所以在执行f1, f2, f3时，结果就都等于9了。

然后看第二个例子：

def count():
    def f(j):
        def g():
            return j*j
        return g
    fs = []
    for i in range(1, 4):
        fs.append(f(i))   # f(i)立刻被执行，因此i的当前值被传入f()
    return fs
    
f1, f2, f3 = count()    
---------------------------------
>>> f1()
1
>>> f2()
4
>>> f3()
9