摘要:前言每个函数都有自己的执行环境。当某个函数被调用时,会创建一个执行环境(execution context)及相应的作用域链,并把作用域链赋值给一个特殊的内部属性(即[[Scope]])。然后使用this、arguments和函数参数、内部变量、内部函数引用来初始化函数的活动对象(activation object)。作用域链(堆栈)是指向活动对象的指针列表,该函数的活动对象在栈顶,全局变量对象在
前言
每个函数都有自己的执行环境。当某个函数被调用时,会创建一个执行环境(execution context)及相应的作用域链,并把作用域链赋值给一个特殊的内部属性(即[[Scope]])。然后使用this、arguments和函数参数、内部变量、内部函数引用来初始化函数的活动对象(activation object)。作用域链(堆栈)是指向活动对象的指针列表,该函数的活动对象在栈顶,全局变量对象在栈底。
PS:在 JavaScript 的执行中会一直存在一个Execute Context Stack , 最下面一个是Global Context,创建的execution context会被压入这个栈。
这里面提到几个关键字:
1. 执行环境(execution context)
声明该函数有权访问的变量和函数。
2. 作用域链(scope chain)
作用域链的创建规则是复制上一层环境的作用域链,并将指向本环境变量对象的指针放到链首。本质上是一个指向变量对象的指针列表,它只是引用,实际上不包含变量对象。另外JavaScript是函数作用域的,并没有像Java、C那样有块级作用域。
PS:JS主要是词法作用域(lexical scope,也即是静态作用域),在词法解析阶段既确定了。但是有两个特例,就是eval和with可以构成动态作用域。
3. 活动对象(activation object)
保存该函数arguments和函数参数、内部变量和内部函数引用。
例子:
function compare(value1, value2){
if(value1 < value2){
return -1;
} else if(value1 > value2){
return 1;
} else{
return 0;
}
}
var result = compare(5, 10);相应的执行环境图示:

闭包概念
JavaScript高级程序设计里面对闭包的描述是,“闭包是指有权访问另一个函数作用域中的变量的函数”。我觉得严格上讲,这个“另一个”是闭包函数的外部函数。
ECMAScript中,闭包指的是:
1. 从理论角度:所有的函数。因为它们都在执行的时候就将上层上下文的数据保存起来了(体现在作用域链)。哪怕是简单的全局变量也是如此,因为函数中访问全局变量就相当于是在访问自由变量,这个时候使用最外层的作用域。
2. 从实践角度:以下函数才算是闭包:
(1). 即使创建它的上下文已经销毁,它仍然存在(比如,内部函数从父函数中返回)。
(2). 在代码中引用了自由变量。
PS:自由变量是指在函数中使用的,但既不是函数参数也不是函数的局部变量的变量。
闭包使用场景
1. 循环遍历中的延迟使用变量
我们可能在循环中为某些元素注册事件,或setTimeout执行一些代码,这段代码使用到循环部分的变量(我称这个变量为延迟使用变量),可能需要使用闭包保证变量的准确。
例子:
<!DOCTYPE html>
<html>
<head>
<meta charset="UTF-8">
<title></title>
<script type="text/javascript">
function onMyLoad(){
var arr = document.getElementsByTagName("p");
//有问题写法
for(var i = 0; i < arr.length;i++){
arr[i].onclick = function(){
alert(i);
}
}
//闭包写法
for(var i = 0;i<arr.length;i++){
(function (arg) {
arr[i].onclick = function () {
alert(arg);
}
})(i);
}
}
</script></head><body onload="onMyLoad()">
<p>产品一</p>
<p>产品二</p>
<p>产品三</p>
<p>产品四</p>
<p>产品五</p>
</body>
</html>2. 私有变量
JavaScript没有私有变量这东西,只是用闭包模拟而已。
例子:
function MyObject(){
var privateVar = 10;
this.getPrivateVar = function(){
return privateVar;
}
}3. 模块模式
为单例创建私有变量和特权方法(有权访问私有变量和私有函数的公有方法)就是模块模式。
例子:
var singleton = (function(){
var privateVar = 10;
var getPrivateVar = function(){
return privateVar;
}
return {
getPrivateVar : getPrivateVar
}
})();4. 块级作用域
可以用来模拟块级作用域。
闭包注意地方
1. 闭包会使函数中的变量常驻内存,所以如果滥用闭包,会导致内存回收不回来,影响脚本性能。
例子:
function MyObject(name, message) {
this.name = name.toString();
this.message = message.toString();
this.getName = function() {
return this.name;
};
this.getMessage = function() {
return this.message;
};
}上面的代码并未利用到闭包的益处,因此,应该修改为如下常规形式:
function MyObject(name, message) {
this.name = name.toString();
this.message = message.toString();
}
MyObject.prototype.getName = function() {
return this.name;
};
MyObject.prototype.getMessage = function() {
return this.message;
};PS:前者每次实例化时候,每个对象里面都存在getName 、getMessage方法,后者则不会。
Q&A
1. 闭包是函数还是一种代码行为?所有函数都是闭包吗?
参考闭包概念
2. 变量查找顺序?
当在函数中访问一个变量的时候,搜索顺序是先搜索自身的活动对象,如果存在则返回,如果不存在将继续搜索作用域链上的活动对象,依次查找,直到找到为止。如果整个作用域链上都无法找到,则返回undefined。如果函数存在prototype原型对象,则在查找完自身的活动对象后,再查找自身的原型对象,再继续查找。