什么是作用域链呢?A scope chain is a list of objects that are searched for identifiers appear in the code of the context. 规则类似于 prototype chain,如果某个变量标识符在当前作用域中没有找到,则到 parent 的作用域(变量对象)中去查找,一层层往上查找,这样在当前环境中没有查找到需要到上层才能查到的变量称之为 free variable.而 free variable 的查找则是通过作用域链实现的,通常来说,一个作用域链就是一系列的 parent variable objects 加上 函数自身的变量对象或活动对象,然而,这个作用域链也可能包含一些在环境执行期间被动态添加的对象,例如使用 with 声明 或 catch.
来看下面的例子
下图展示了包含上述关系的 compare 函数执行时的作用域链
function compare(value1, value2) {
if (value1 < value2) {
return - 1;
} else if (value1 > value2) {
return 1;
} {
return 0;
}
}
var result = compare(5, 10);
全局环境的变量对象始终存在,而像 compare()函数这样的局部环境的变量对象,则只在函数执行的过程中存在.注意这些对象的先后顺序,在创建 compare 函数时,会创建一个预先包含全局变量对象的作用域链,这个作用域链被保存在内部的 [[Scope]] 属性中.当调用 compare 函数时,会为函数创建一个执行环境,然后通过复制函数的 [[Scope]] 属性中的对象构建起执行环境的作用域链.此后,又有一个活动对象(在此作为变量对象使用)被创建并被推入执行环境作用域链的前端.对于这个例子中 compare 函数的执行环境而言,其作用域链中包含两个变量对象,本地活动对象和全局变量对象.显然,作用域链本质上是一个指向变量对象的指针列表,它只引用但不实际包含变量对象.
下面回到最初的那个闭包函数,看一下它的作用域链
在一个函数内部定义的函数会将包含函数(即外部函数)的活动对象添加到它的作用域链中.因此在 createComparisonFunction 内定义的匿名函数的作用域链中,实际上会包含外部函数 createComparisonFunction 的活动对象.在匿名函数被返回后,它的作用域链被初始化为包含 createComparisonFunction 的活动对象和全局变量对象,这样匿名函数就可以访问在 createComparisonFunction 中定义的变量了.更为重要的是,createComparisonFunction 函数在执行完毕后,其活动对象也不会被销毁,因为匿名函数的作用域链仍然在引用这个活动对象,换句话说,createComparisonFunction 函数返回后,其执行环境的作用域链会被销毁,但它的活动对象仍然会留在内存中;直到匿名函数被销毁,createComparisonFunction 的活动对象才会被销毁,这里执行代码 clo = null 即可销毁匿名函数.
由于闭包会携带包含它的函数的作用域,因此会比其它函数占用更多的内存.过度使用闭包可能会导致内存占用过多.
下面我们来看闭包与变量的两个例子
console.log(result[3]()); // 10
function createFunctions() {
var result = new Array();
for (var i = 0; i < 10; i++) {
result[i] = function() {
return i;
}
}
return result;
}
var result = createFunctions();
console.log(result[1]()); // 10
console.log(result[3]()); // 3
function createFunctionsChanged() {
var result = new Array();
for (var i = 0; i < 10; i++) {
result[i] = function(num) {
return function() {
return num;
};
} (i)
}
return result;
}
var result = createFunctionsChanged();
console.log(result[1]()); // 1
在第二个例子中,我们没有直接把闭包赋值给数组,而是定义了一个匿名函数,并将立即执行匿名函数的结果赋值给数组. 在调用每个匿名函数时,我们传入了变量 i.由于函数传值是按值传递的,所以就会将变量 i 的当前值复制给参数 num.而在匿名函数的内部,又创建并返回了一个访问 num 的闭包.这样一来,result 数组中的每个函数都有自己的 num 变量的一个副本,也就可以返回不同的数值了.
更多详细解释请参考
http://dmitrysoshnikov.com/ecmascript/javascript-the-core/
来源: http://www.bubuko.com/infodetail-2460051.html