以下内容来自《你不知道的JavaScript上》
- 什么是作用域
作用域是一组规则，它决定了在哪里和如何查找一个变量（标识符）。这种查询也许是为了向这个变量赋值，这时变量是一个LHS引用，或者是为取得它的值，这时变量是一个RHS引用。
LHS引用得自赋值操作。作用域 相关的赋值可以通过 = 操作符发生，也可以通过向函数参数传递（赋予）参数值发生
JavaScript引擎在执行代码之前首先会编译它，这样做，它将 var a = 2; 这样的语句分割为两个分离的步骤：
- 首先，var a 在当前 作用域 中声明。这是在最开始，代码执行之前实施的。
- 稍后，a = 2 查找这个变量（LHS引用），并且如果找到就向它赋值。
如果RHS查询在嵌套的作用域的任何地方都找不到一个值，这会导致引擎抛出一个 ReferenceError；如果LHS查询在嵌套的作用域的任何地方都找不到一个值，而且如果程序没有运行在 Strict 模式下，那么全局作用域中会创建一个变量并将它交给引擎。如果是在 Strict 模式下，则也会抛出 ReferenceEroor。
如果RHS查询的值被找到了，但是你试着去做一些它做不到的事情，比如引用 null 或者 undefined 的属性，那么引擎会抛出错误 TypeError。
- 词法作用域
词法作用域意味着作用域是由编写时函数被声明的位置的决策定义的。编译器的词法分析阶段实质上可以知道所有的标识符是在哪里和如何声明的，并如此在执行期间预测它们将如何被查询。
在JavaScript中有两种机制可以“欺骗”词法作用域：eval(..) 和 with 。前者可以通过对一个拥有一个或多个声明的“代码”字符串进行求值，来（在运行时）修改现存的词法作用域。后者实质上是通过将一个对象引用看作一个“作用域”，并将这个对象的属性看作作用域中的标识符，（同样，也是在运行时）创建一个全新的词法作用域。
这些机制的缺点是，它压制了引擎在作用域查询上进行编译期优化的能力，因为引擎不得不悲观地假定这样的优化是不合法的。这两种特性的结果就是代码将会运行的更慢。不要使用它们。
- 函数与块作用域
在JavaScript中函数是最常见的作用域单位。在另一个函数内部声明的变量和函数，实质上对任何外围“作用域”都是“隐藏的”，这是优秀软件的一个有意的设计原则。
但是函数绝不是唯一的作用域单位。块作用域指的是这样一种想法：变量和函数可以属于任意代码块（一般来说，就是任意的 { .. } ），而不是仅属于外围的函数。
从ES3开始，try/catch 结构在 catch 子句上拥有块作用域。
在ES6中，引入了 let 关键字（ var 关键字的表兄弟）允许在任意代码块中声明变量。if (..) { let a = 2; }将会声明变量a，而它实质上劫持了 if 的 { .. } 块的作用域，并将自己附着在这里。
虽然有些人对此深信不疑，但是块作用域不应当被认为是 var 函数作用域的一个彻头彻尾的替代品。两种机能是共存的，而且开发者们可以并且应当同时使用函数作用域和块儿作用域技术 —— 在它们各自可以产生更好，更易读/易维护代码的地方。
- 提升
我们可能被诱导而将 var a = 2 看作是一个语句，但是JavaScript 引擎 可不这么看。它将 var a 和 a = 2看作两个分离的语句，第一个是编译期的任务，而第二个是执行时的任务。这将导致在一个作用域内的所有声明，不论它们出现在何处，都会在代码本身被执行前 首先 被处理。你可以将它可视化为声明（变量与函数）被“移动”到它们各自的作用域顶部，这就是我们所说的“提升”。
声明本身会被提升，但不是赋值，即便是函数表达式的赋值，也不会被提升。
函数的提升是优先于变量的提升的，所以在进行重名赋值的时候需要注意。
- 作用域闭包
当函数可以记住并访问所在的词法作用域， 即使函数是在当前词法作用域之外执行，这时就产生了闭包。
模块有两个主要特征：
- 为创建内部作用域而调用一个包装函数。
- 包装函数的返回值必须至少包括一个对内部函数的引用， 这样就会创建涵盖整个包装函数内部作用域的闭包。
