一、引擎，编译器，作用域
- 引擎： 负责整个Javascript程序的编译及执行过程。
- 编译器：负责语法分析及代码生成。
- 作用域：负责收集并维护有所有声明的标识符组成的一系列查询。
二、编译器(编译过程var a=1;)
- 第一步：编译器首先会将这段代码分解成词法单元，然后将词法单元解析成树结构。
- 第二步：对词法单元进行解析，解析到var a时，编译器会询问作用域是否存在一个变量名为a在同一作用域的集合中。如果有，编译器就忽略此声明。反之，在要求的作用域下声明变量。
- 第三步：生成可以运行代码(=1)给引擎执行，生成代码的这个过程就涉及到LHS和RHS(具体细节看第三节)的俩种赋值概念。
- 第四步：引擎运行编译器生成的代码时，会询问作用域是否存在在当前作用域下变量名为a的集合，如果没有，则在向上一级作用域查找变量名a(具体细节看第四节)。如果有，引擎则对变量名为a的集合赋值。
三、LHS和RHS
3.1 什么是LHS、RHS
LHS:赋值操作的目标是谁。
RHS:谁是赋值操作的源头。
上面的解释是我通过其他途径了解到的，我自己也不是很明白。按我自己的理解：LHS就是正常的变量赋值(a=1)，RHS就是通过第三方来赋值的(a=b，b=2)。
举例：
function foo(a){
console.log(a);
}
var b=2
foo(b);
程序调用foo() 方法：
- 步骤一：因为函数需要传参，故先对foo()进行RHS赋值
- 步骤二：对形参a进行LHS赋值(a=2)
- 步骤三：对console进行RHS赋值
- 步骤四：对参数a进行LHS赋值(a=2)
- 注意：每次程序执行(引擎)访问变量或函数时，都会去询问作用域该变量或函数是否存在。如果不存在则可能会向上查找，或者抛异常(第五小节)。
3.2 区分LHS、RHS的重要性
(1)如果是LHS赋值，在顶级作用域(全局)找不到改变量，则全局作用域下，会隐式创建一个具有该名称的变量，并将其返还给引擎(非严格模式下)
function foo(){
a=2;
}
//a为定义，此时全局创建一个名为a的变量集合
(2)如果是RHS赋值，在所有嵌套的作用域下遍寻不到该所需的变量，则抛出异常ReferenceError
function foo(){
var a=b;
}
//a为定义，此时会抛ReferenceError
但在ES5中对于这个弊端，也给出了规定。(具体看第五小节)
四、引擎寻找变量
- 当引擎在当前作用域找不到变量名为a的集合时，会向外层嵌套的作用域进行查找，直到找到该变量为止，或抵达最外层的作用域(也就是全局作用域)为止。
- 在ES6中，对这个弊端，也得到了解决。具体可以点击这里
五、异常
- 在ES5中引入了“严格模式”，严格禁止自动或隐式地创建全局变量。
- 在严格模式中LHS查询失败时，并不会创建并返回一个全局变量，引擎会抛出同查询失败时类似的ReferenceError异常。
- 对于RHS赋值，如果查询找到一个变量，但是如果你尝试对这个变量进行不合理操作，比如对一个非函数类型的值进行函数调用，或者引用null,underfined类型的值中的操作，那么引擎会抛出另外一个异常，叫做TypeError。
- 总结：在严格模式下，抛出异常ReferenceError则同作用域判别失败相关，而TypeError则代表作用域判别成功了，但是对结果的操作是不合法的。
