作用域链(Scope Chain)

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

Tips：
1.在函数体内，局部变量的优先级高于同名的全局变量。
2.在全局作用域编写代码是可以不写var语句，但声名局部变量时，必须使用var语句，如果省略 var 操作符，那么声明的变量就是全局变量，拥有全局作用域。
3.JS中没有块级作用域，而是使用函数作用域：变量在声明它们的函数体内以及所嵌套的任意函数内始终是有定义的。这意味着变量在声明之前甚至已经可用，即JS的声明提前（hoisting），意思是JS函数里声明的所有变量（但不涉及赋值）都被“提前”至函数的顶部。

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

我们可以认为：
1.函数的局部环境可以访问函数作用域中的变量，也可以访问和操作父环境乃至全局环境中的变量。
2.父环境只能访问其包含环境和自己环境中的变量和函数，不能访问其子环境中的变量和函数。
3.全局环境只能访问全局环境中的变量和函数，不能直接访问局部环境中的任何数据。

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

（摘抄参考于《JS权威指南》和《JS高级程序设计》)