作用域和闭包
1.作用域是什么
前言
够储存变量当中的值，并且能在之后对这个值进行访问或修改。这样的能力将状态带给了程序。没有这样的能力编程收到了高度的限制。
上述的言论由此引入了话题：什么是变量，变量存储在哪里，如何在程序需要时如何找到它们?
划重点：这章简单说道了编译原理这个话题，引出了传统的编译语言的流程，道出了javascript与传统编译语言的编译的流程不同（js没有那么多的时间来优化），也简单的说了js中大致编译的流程，通过js中的演员表对话中简单讲述了js编译的流程，通过对话具象化了js作用域是干嘛的。
1.1编译原理
传统编程语言流程：
- 词法分析：这个过程会将由字符组成的字符串分解成词法单元
- 语法分析：这个过程是将词法单元流(数组)转换成一个由元素逐级嵌套所组成的代表了程序语法结构的树（抽象语法树AST）
- 代码生成：AST转换为可执行代码的过程，抛开具体细节,简单来说就是有某种方法可以将
var a = 2;的AST 转化为一组机器指令,用来创建一个叫作 a 的变量(包括分配内存等)，并将一个值储存在 a 中。
JavaScript引擎没有大量的(像其他语言编译器那么多的)时间用来进行优化，JavaScript的编译过程不是发生在构建之前的，JavaScript来说，大部分情况下编译发生在代码执行前的几微秒(甚至更短!)的时间内。换句简单的说就是任JavaScript 代码片段在执行前都要进行编译(通常就在执行前)。因此， JavaScript 编译器首先会对 var a = 2; 这段程序进行编译，然后做好执行它的准备，并且 通常马上就会执行它。
1.2理解作用域
当js遇见var a = 2;发生了什么？
- 引擎：从头到尾负责整个JavaScript程序的编译及执行过程
- 编译器：负责语法分析及代码生成等脏活累活
- 作用域：负责收集并维护由所有声明的标识符(变量)组成的一系列查询，并实施一套非常严格的规则，确定当前执行的代码对这些标识符的访问权限。
1.遇到var a,编译器会询问作用域是否已经有一个该名称的变量存在于同一个作用域的集合中。如果是,编译器会忽略该声明，=,继续进行编译;否则它会要求作用域在当前作 用域的集合中声明一个新的变量，并命名为 a。
- 接下来编译器会为引擎生成运行时所需的代码，这些代码被用来处理
a = 2这个赋值 操作。引擎运行时会首先询问作用域，在当前的作用域集合中是否存在一个叫作 a 的变量。如果是，引擎就会使用这个变量;如果否引擎会继续查找该变量(查看 1.3 节)。如果引擎最终找到了a变量，就会将2赋值给它。否则引擎就会举手示意并抛出一个异 常!
总结:变量的赋值操作会执行两个动作，首先编译器会在当前作用域中声明一个变量(如 果之前没有声明过)，然后在运行时引擎会在作用域中查找该变量，如果能够找到就会对 它赋值。
1.3作用域嵌套
作用域是根据名称查找变量的一套规则，当一个块或函数嵌套在另一个块或函数中时，就发生了作用域的嵌套，在当前作用域中无法找到某个变量时，引擎就会在外层嵌套的作用域中继续查找，直到找到该变量，或抵达最外层的作用域(也就是全局作用域)为止。
LHS:赋值操作的目标是谁
RHS:谁是赋值操作的源头
RHS查询在所有嵌套的作用域中遍寻不到所需的变量引擎就会抛出ReferenceError 异常。
当引擎执行LHS查询时，如果在顶层(全局作用域)中也无法找到目标变量，全局作用域中就会创建一个具有该名称的变量，并将其返还给引擎，前提是程序运行在非 “严格模式”下。
简单区分LHS和RHS:如果查找的目的是对变量进行赋值，那么就会使用LHS查询,=操作符或调用函数时传入参数的操作都会导致关联作用域的赋值操作。如果目的是获取变量的值，就会使用RHS查询console.log( a );
1.4异常
- ReferenceError
- TypeError
1.5小结
作用域是一套规则，用于确定在何处以及如何查找变量(标识符)。如果查找的目的是对
变量进行赋值，那么就会使用 LHS 查询;如果目的是获取变量的值，就会使用 RHS 查询。
赋值操作符会导致LHS查询。=操作符或调用函数时传入参数的操作都会导致关联作用域 的赋值操作。
JavaScript引擎首先会在代码执行前对其进行编译，在这个过程中，像var a = 2这样的声 明会被分解成两个独立的步骤:
- 首先，var a 在其作用域中声明新变量。这会在最开始的阶段，也就是代码执行前进行。
- 接下来，a = 2 会查询(LHS 查询)变量 a 并对其进行赋值。LHS 和 RHS 查询都会在当前执行作用域中开始，如果有需要(也就是说它们没有找到所 需的标识符)，就会向上级作用域继续查找目标标识符，这样每次上升一级作用域(一层 楼)，最后抵达全局作用域(顶层)，无论找到或没找到都将停止。
不成功的 RHS 引用会导致抛出 ReferenceError 异常。不成功的LHS引用会导致自动隐式 地创建一个全局变量(非严格模式下)，该变量使用 LHS 引用的目标作为标识符，或者抛 出 ReferenceError 异常(严格模式下)。