首先给出定义:当函数可以记住并访问所在的词法作用域,即使函数在当前词法作用域之外执行,这时就产生了闭包。
1、实质问题
看下面一段代码,清晰展示了闭包:
function foo() {
var a = 2;
function bar() {
console.log( a );
}
return bar;
}
var baz = foo();
baz(); // 2 —— 朋友, 这就是闭包的效果。
函数bar能够访问foo()的内部作用域,然后我们将bar()本身当作一个值类型return出来。
当foo()执行后,其返回值赋值给变量baz,并调用baz(),实际上就是通过不同的标识符调用了内部的bar()。
bar()显然可以正常执行,这里它是在定义的词法作用域意外的地方执行的。
当foo()执行后,js的引擎的垃圾回收机制会销毁它的内存空间,因为它不会在使用。而闭包的神奇之处就在于会阻止这件事的发生,它的内存空间依然存在,因为foo()虽然不会再使用,但是bar()依然在使用。
拜bar()所赐,它拥有涵盖foo()内部作用域的闭包。使得该作用域一直存在,以供bar()以后在任何时间引用。
bar()依然保持对该作用域的引用,这个引用就叫闭包。
2、循环与闭包
看看下面最常见的一个例子:
for (var i=1; i<=5; i++) {
setTimeout( function timer() {
console.log( i );
}, i*1000 );
}
正常情况下, 我们对这段代码行为的预期是分别输出数字 1~5, 每秒一次, 每次一个。
但实际上, 这段代码在运行时会以每秒一次的频率输出五次 6。
这道题是最喜欢考的面试题之一。
导致的原因是延迟函数的回掉会在循环结束时才会执行,甚至它的时间是0也是一样。根据作用域的原理,循环中引用的i都封闭在一个共享的全局作用域里面,实际上只有一个i。所以我们需要的是更多的闭包作用域,特别是循环过程中每次迭代都需要一个闭包作用域。所以下面通过立即执行函数创建一个封闭作用域。下面就能得到我们想要的结果:
for (var i=1; i<=5; i++) {
(function(j) {
setTimeout( function timer() {
console.log( j );
}, j*1000 );
})( i );
}
在迭代内使用 IIFE 会为每个迭代都生成一个新的作用域, 使得延迟函数的回调可以将新的
作用域封闭在每个迭代内部, 每个迭代中都会含有一个具有正确值的变量供我们访问。
5.3实现模块
function CoolModule() {
var something = "cool";
var another = [1, 2, 3];
function doSomething() {
console.log( something );
}
function doAnother() {
console.log( another.join( " ! " ) );
}
return {
doSomething: doSomething,
doAnother: doAnother
};
}
var foo = CoolModule();
foo.doSomething(); // cool
foo.doAnother(); // 1 ! 2 ! 3
这个模式在javascript中被称为模块,最常用的实现模块模式的方法被称为模块暴露,这里展示的是其变体。
我们来研究下这段代码:
首先, CoolModule() 只是一个函数, 必须要通过调用它来创建一个模块实例。 如果不执行
外部函数, 内部作用域和闭包都无法被创建。
其次, CoolModule() 返回一个用对象字面量语法 { key: value, ... } 来表示的对象。 这
个返回的对象中含有对内部函数而不是内部数据变量的引用。 我们保持内部数据变量是隐
藏且私有的状态。 可以将这个对象类型的返回值看作本质上是模块的公共 API。
这个对象类型的返回值最终被赋值给外部的变量 foo, 然后就可以通过它来访问 API 中的
属性方法, 比如 foo.doSomething()。
网友评论