做用域链

JavaScript是基于词法做用域的语言：经过阅读包含变量定义在内的数行源码就能知道变量的做用域。全局变量在程序中始终都是有定义的。局部变量在声明它的函数体内以及其所嵌套的函数内始终是有定义的。

若是将一个局部变量看作是自定义实现的对象的属性的话，那么能够换个角度来解读变量做用域。每一段JavaScript代码（全局代码或函数）都有一个与之关联的做用域链（scope chain）。这个做用域链是一个对象列表或者链表，这组对象定义了这段代码“做用域中”的变量。当JavaScript须要查找变量x的值的时候（这个过程称作“变量解析”（variable resolution）），它会从链中的第一个对象开始查找，若是这个对象有一个名为x的属性，则会直接使用这个属性的值，若是第一个对象中不存在名为x的属性，JavaScript会继续查找链上的下一个对象。若是第二个对象依然没有名为x的属性，则会继续查找下一个对象，以此类推。若是做用域链上没有任何一个对象含有属性x，那么就认为这段代码的做用域链上不存在x，并最终抛出一个引用错误（ReferenceError）异常。

在JavaScript的最顶层代码中（也就是不包含在任何函数定义内的代码），做用域链由一个全局对象组成。在不包含嵌套的函数体内，做用域链上有两个对象，第一个是定义函数参数和局部变量的对象，第二个是全局对象。 在一个嵌套的函数体内，做用域链上至少有三个对象。理解对象链的建立规则是很是重要的。当定义一个函数时，它实际上保存一个做用域链。当调用这个函数时，它建立一个新的对象来存储它的局部变量，并将这个对象添加至保存的那个做用域链上，同时建立一个新的更长的表示函数调用做用域的“链”。对于嵌套函数来说，事情变得更加有趣，每次调用外部函数时，内部函数又会从新定义一遍。 由于每次调用外部函数的时候，做用域链都是不一样的。内部函数在每次定义的时候都有微妙的差异——在每次调用外部函数时，内部函数的代码都是相同的，并且关联这段代码的做用域链也不相同。

做用域链的概念对于理解with语句（见5.7.1节）是很是有帮助的，一样对理解闭包（见8.6节）的概念也相当重要。