前面的话
闭包已经成为近乎神话的概念,它非常重要又难以掌握,而且还难以定义,本文就从闭包的定义说开去。
古老定义
闭包(closure),是指函数变量可以保存在函数作用域内,
因此看起来是函数将变量“包裹”了起来,那这样说来,包含变量的函数就是闭包。
// 按照古老定义,包含变量n的函数foo就是闭包
function foo() {
var n = 0;
}
console.log(n); // Uncaught ReferenceError: n is not defined
定义一
闭包是指可以访问其所在作用域的函数,
那这样说来,需要通过作用域链查找变量的函数就是闭包。
// 按照定义一的说法,需要通过作用域链在全局环境中查找变量n的函数foo()就是闭包
var n = 0;
function foo() {
console.log(n); //0
}
foo();
定义二
闭包是指有权访问另一个函数作用域中的变量的函数,
那这样说来,访问上层函数的作用域的内层函数就是闭包。
// 按照定义二的说法,嵌套在foo函数里的bar函数就是闭包
function foo(){
var a = 2;
function bar(){
console.log(a); // 2
}
bar();
}
foo();
定义三
闭包是指在函数声明时的作用域以外的地方被调用的函数,
在函数声明时的作用域以外的地方调用函数,需要通过将该函数作为返回值或者作为参数被传递。
返回值
// 按照定义三的说法,在foo()函数的作用域中声明,在全局环境的作用域中被调用的bar()函数是闭包
function foo(){
var a = 2;
function bar(){
console.log(a); // 2
}
return bar;
}
foo()();
可以简写为如下表示:
function foo(){
var a = 2;
return function(){
console.log(a); // 2
}
}
foo()();
参数
//按照定义三的说法,在foo()函数的作用域中声明,在bar()函数的作用域中被调用的baz()函数是闭包
function foo(){
var a = 2;
function baz(){
console.log(a); // 2
}
bar(baz);
}
function bar(fn){
fn();
}
因此,无论通过何种手段,只要将内部函数传递到所在的词法作用域以外,它都会持有对原始作用域的引用,无论在何处执行这个函数都会使用闭包。
IIFE
IIFE是不是闭包呢?
foo()函数在全局作用域定义,也在全局作用域被立即调用,如果按照定义一的说法来说,它是闭包。如果按照定义二和定义三的说法,它又不是闭包。
var a = 2;
(function foo(){
console.log(a); // 2
})();
最后
闭包定义之所以混乱,我觉得与经典书籍的不同解读有关。经典定义是犀牛书的原话,定义二是高程的原话,但,归纳起来就是关于一个函数要成为一个闭包到底需要满意几个条件严格来说,闭包需要满足三个条件:
1、访问所在作用域
2、函数嵌套
3、在所在作用域外被调用
有些人觉得只满足条件1就可以,所以IIFE是闭包;有些人觉得满足条件1和2才可以,所以被嵌套的函数才是闭包;有些人觉得3个条件都满足才可以,所以在作用域以外的地方被调用的函数才是闭包。
问题是,谁是权威呢?