定义
MDN对闭包的定义为:
闭包是指那些能够访问自由变量的函数。
那什么是自由变量呢?
自由变量是指在函数中使用的,但既不是函数参数也不是函数的局部变量的变量。
由此,我们可以看出闭包共有两部分组成:
闭包=函数+函数能够访问的自由变量
举个例子:
vara=1;
functionfoo() {
console.log(a);
}
foo();
foo函数可以访问变量a,但是a既不是foo函数的局部变量,也不是foo函数的参数,所以a就是自由变量。
那么,函数foo + foo函数访问的自由变量a就构成了一个闭包。
所以在《JavaScript权威指南》中就讲到:从技术的角度讲,所有的JavaScript函数都是闭包。
咦,这怎么跟我们平时看到的讲到的闭包不一样呢!?
别着急,这是理论上的闭包,其实还有一个实践角度上的闭包,让我们看看汤姆大叔翻译的关于闭包的文章中的定义:
ECMAScript中,闭包指的是:
从理论角度:所有的函数。因为它们都在创建的时候就将上层上下文的数据保存起来了。哪怕是简单的全局变量也是如此,因为函数中访问全局变量就相当于是在访问自由变量,这个时候使用最外层的作用域。
从实践角度:以下函数才算是闭包:
即使创建它的上下文已经销毁,它仍然存在(比如,内部函数从父函数中返回)
在代码中引用了自由变量
接下来就来讲讲实践上的闭包。
分析
让我们先写个例子,例子依然是来自《JavaScript权威指南》,稍微做点改动:
varscope="global scope";
functioncheckscope(){
varscope="local scope";
functionf(){
returnscope;
}
returnf;
}
varfoo=checkscope();
foo();
首先我们要分析一下这段代码中执行上下文栈和执行上下文的变化情况。
这里直接给出简要的执行过程:
进入全局代码,创建全局执行上下文,全局执行上下文压入执行上下文栈
全局执行上下文初始化
执行checkscope函数,创建checkscope函数执行上下文,checkscope执行上下文被压入执行上下文栈
checkscope 执行上下文初始化,创建变量对象、作用域链、this等
checkscope 函数执行完毕,checkscope执行上下文从执行上下文栈中弹出
执行f函数,创建f函数执行上下文,f执行上下文被压入执行上下文栈
f 执行上下文初始化,创建变量对象、作用域链、this等
f 函数执行完毕,f函数上下文从执行上下文栈中弹出
了解到这个过程,我们应该思考一个问题,那就是:
当f函数执行的时候,checkscope函数上下文已经被销毁了啊(即从执行上下文栈中被弹出),怎么还会读取到checkscope作用域下的scope值呢?
以上的代码,要是转换成PHP,就会报错,因为在PHP中,f函数只能读取到自己作用域和全局作用域里的值,所以读不到checkscope下的scope值。(这段我问的PHP同事……)
然而JavaScript却是可以的!
当我们了解了具体的执行过程后,我们知道f执行上下文维护了一个作用域链:
fContext={
Scope:[AO, checkscopeContext.AO, globalContext.VO],
}
对的,就是因为这个作用域链,f函数依然可以读取到checkscopeContext.AO的值,说明当f函数引用了checkscopeContext.AO中的值的时候,即使checkscopeContext被销毁了,但是JavaScript依然会让checkscopeContext.AO活在内存中,f函数依然可以通过f函数的作用域链找到它,正是因为JavaScript做到了这一点,从而实现了闭包这个概念。
所以,让我们再看一遍实践角度上闭包的定义:
即使创建它的上下文已经销毁,它仍然存在(比如,内部函数从父函数中返回)
在代码中引用了自由变量
在这里再补充一个《JavaScript权威指南》英文原版对闭包的定义:
This combination of a function object and a scope (a set of variable bindings) in which the function’s variables are resolved is called a closure in the computer science literature.
闭包在计算机科学中也只是一个普通的概念,大家不要去想得太复杂。