先来一炮尝尝：

var i = 10;function myFunc(){        var i = 20;    function innerFunc(){        alert(i);    }    return innerFunc;}var func = myFunc();func();

　　此栗为什么弹出20，而不是10?为什么定义在 myFunc 内部的 innerFunc 返回了以后，还能访问到 myFunc 内部的变量 i ?

　　这是因为在 innerFunc 返回了以后，仍然保留着函数运行的实例、执行环境和作用域链等等，并在 myFunc 调用之后没有将函数实例丢弃，因此在调用 innerfunc 的时候能够引用到 myfunc 中声明的 i ，这就是闭包的特性，其实上面的栗子就是一个闭包。

　　作用域链是一个链状的数据结构。作用域就是对上下文数据的描述。闭包和作用域链是紧密联系的，函数实例执行时的闭包是构成作用域链的基本元素。javascript代码在执行前会进行语法分析（详见L1 - 运行机制），在语法分析阶段，会记录全局环境中的变量声明和函数定义，构造函数的调用对象（也叫 active object、活动对象）和在全局环境下的作用域链。

　　《javascript权威指南》（第四版）对“调用对象”做出了三点说明：

　　1、对象属性和变量没有本质区别

　　2、全局变量其实是“全局对象（global object）“的属性

　　3、局部变量其实是”调用对象（call object）“的属性

　　为了解释上述话题，《javascript权威指南》引入了”javascript执行环境（执行上下文、execution context）的概念“。这其中所说到的“全局对象（global object）“和”调用对象（call object）“其实都是指下图中的 ScriptObject 结构。

　　上图是《JavaScript语言精髓和编程实践》中对闭包相关元素的内部数据结构的描述，其中的 ScriptObject 是对调用对象的一种描述。 ScriptObject 在语法分析阶段就已经构造好了，其中的 varDecls 保存着函数中的变量声明，funDecls保存着内部的函数声明。

　　在上篇《执行机制》中已经讲过，在语法分析阶段，varDecls 中保存着在函数中用var进行显示声明的局部变量，并且其值默认为 undefined ；而发现有函数定义时，除了记录函数声明，还会创建一个函数对象，并把当前的作用域链赋值给此函数对象的 [[scope]] 属性（这个属性是javascript引擎内部维护的，但Firefox可通过私有属性parent访问它）。这就是为什么在《javascript权威指南》中提到”javascript中的函数运行在它们被定义的作用域中，而不是运行在它们被执行的作用域中“。

　　再来一炮：(未完待续)

L1 - 闭包和原型链