下文依据汤姆大叔的深切javascript系列文章编削，假如想深切明白请浏览汤姆大叔的系列文章。
http://www.cnblogs.com/TomXu/…
变量对象
开端引见
变量对象(缩写为VO)是一个与实行高低文相干的特别对象，它存储着在高低文中声明的以下内容：
变量 (var, 变量声明);
函数声明 (FunctionDeclaration, 缩写为FD);
函数的形参
我们可以用一般的ECMAScript对象来示意一个变量对象：
VO = {};
VO是实行高低文的属性(property)，所以：
activeExecutionContext = {
VO: {
// 高低文数据（var, FD, function arguments)
}
};
只要全局高低文的变量对象许可经由过程VO的属性称号来间接接见(因为在全局高低文里，全局对象自身就是变量对象)，在别的高低文中是不能直接接见VO对象的，因为它只是内部机制的一个完成。
全局高低文中的变量对象
只要全局高低文的变量对象许可经由过程VO的属性称号来间接接见
在全局高低文中，有
VO(globalContext) === global;
因为我们在全局高低文中声明的变量等都是存在全局的变量对象中，而在全局高低文中的全局变量对象又是全局对象自身。所以我们可以经由过程VO的属性称号间接接见
var a = new String('test');
alert(a); // 直接接见，在VO(globalContext)里找到："test"
alert(window['a']); // 间接经由过程global接见：global === VO(globalContext): "test"
alert(a === this.a); // true
var aKey = 'a';
alert(window[aKey]); // 间接经由过程动态属性称号接见："test"
函数高低文中的变量对象
在函数实行高低文中，VO是不能直接接见的，此时由运动对象(activation object,缩写为AO)饰演VO的角色。
VO(functionContext) === AO;
在明白函数高低文中的变量对象时，我们经由过程处置惩罚高低文代码的2个阶段来举行明白
1.进入实行高低文
2.实行代码
进入实行高低文
进入实行上文文的时刻，也等于代码实行之前，此时VO包含了以下属性
函数形参
函数声明
变量声明
个中，函数声明的品级最高，然后是函数形参，末了才是变量声明。越高品级的声明可以掩盖低品级的声明。
实行代码
这个周期内，AO/VO已具有了属性(不过，并非一切的属性都有值，大部分属性的值照样体系默许的初始值undefined )。这个时刻会举行赋值操纵以及实行代码。
alert(x); // function
var x = 10;
alert(x); // 10
x = 20;
function x() {};
alert(x); // 20
在进入高低文阶段，因为函数具有最高的级别，所以第一次alert(x)输出的是函数。以后举行变量赋值，离别alert 10 20。
function bar (x){
alert(x);
var x = 2;
}
bar(3); //3
因为形参声明比变量声明级别高，所以alert(3)，因为在进入实行高低文时变量没法掩盖形参声明，所以输出的是3而不是undefined。
不运用var可以声明一个全局变量，这句话是毛病的。
alert(a); // undefined
alert(b); // "b" 没有声明，报错
b = 10;
var a = 20;
作用域链
函数高低文的作用域链在函数挪用时建立的，包含运动对象和这个函数内部的[[scope]]属性。函数高低文包含以下内容：
activeExecutionContext = {
VO: {...}, // or AO
this: thisValue,
Scope: [ // Scope chain
// 一切变量对象的列表
// for identifiers lookup
]
};
其scope定义以下：
Scope = AO + [[Scope]]
[[scope]]是一切父变量对象的层级链，处于当前函数高低文之上，在函数建立时存于个中。
注重这主要的一点－－[[scope]]在函数建立时被存储－－静态（稳定的），永久永久，直至函数烧毁。即：函数可以永不挪用，但[[scope]]属性已写入，并存储在函数对象中。
别的一个须要斟酌的是－－与作用域链对照，[[scope]]是函数的一个属性而不是高低文。
因而我个人的明白是作用域链应该是函数自身的运动对象+父级的变量对象。个中函数自身的运动对象老是排在第一位，在寻觅标识符的时刻，假如在当前运动对象找不到，那末会遍历作用域链上的父级变量对象。个中[[scope]]在函数建立时被存储，与函数共存亡。
var x = 10;
function foo() {
alert(x);
}
(function () {
var x = 20;
foo(); // 10, but not 20
})();
申明函数的作用域链在函数建立的时刻就已定义好了，是静态的，不因为挪用的时刻而转变。
闭包
作用域链的加深明白
var firstClosure;
var secondClosure;
function foo() {
var x = 1;
firstClosure = function () { return ++x; };
secondClosure = function () { return --x; };
x = 2; // 影响 AO["x"], 在2个闭包公有的[[Scope]]中
alert(firstClosure()); // 3, 经由过程第一个闭包的[[Scope]]
}
foo();
alert(firstClosure()); // 4
alert(secondClosure()); // 3
firstClosure和secondClosure两个函数建立的时刻，内部的变量x都是从父级函数foo的变量对象x中援用，所以实在两个函数都是同享一个作用域，因而致使x变量共通了。
典范闭包
var data = [];
for (var k = 0; k < 3; k++) {
data[k] = function () {
alert(k);
};
}
data[0](); // 3, 而不是0
data[1](); // 3, 而不是1
data[2](); // 3, 而不是2
诠释跟上面相似。function在建立的时刻，内部的变量k经由过程接见作用域链等于父级的变量对象k拿到，而当函数被挪用的时刻，for轮回早已实行终了，此时的K是3，所以三个函数挪用的时刻输出的值都为3。
var data = [];
for (var k = 0; k < 3; k++) {
data[k] = (function _helper(x) {
return function () {
alert(x);
};
})(k); // 传入"k"值
}
// 如今结果是准确的了
data[0](); // 0
data[1](); // 1
data[2](); // 2
建立了一个匿名函数，经由过程把k变量作为参数传进去，如许在实行function的时刻，因为内部的形参可以接见到k变量，所以无需到父级作用域链上举行寻觅，因而末了输出到达预期目标。
闭包的理论定义
这里申明一下，开发人员常常毛病将闭包简化明白成从父高低文中返回内部函数，以至明白成只要匿名函数才是闭包。
ECMAScript中，闭包指的是：
1.从理论角度：一切的函数。因为它们都在建立的时刻就将上层高低文的数据保存起来了。哪怕是简朴的全局变量也是云云，因为函数中接见全局变量就相称因而在接见自在变量，这个时刻运用最外层的作用域。
2.从实践角度：以下函数才算是闭包：
1.纵然建立它的高低文已烧毁，它依然存在（比方，内部函数从父函数中返回）
2.在代码中援用了自在变量