处理程序三要素：
引擎：编译与执行过程。
编译器：语法分析与代码生成等。
作用域：收集并维护由所有声明的标识符（变量）组成的一系列查询，并实施一套非常严格的规则，确定当前执行的代码对这些标识符的访问权限。
示例：
var a=2;的解析过程：
1.编译器 询问 作用域 是否已经有该名称的变量
是：忽略该声明，继续执行；
否：声明一个新变量，命名为a;
2.编译器为引擎生成代码
引擎运行首先询问作用域，在当前作用域集合中是否存在一个a的变量：
是：引擎会使用这个变量;
否：引擎继续查找该变量;
找到了：将2赋值给a。
没找到：抛出异常。
总结：
变量赋值执行两个动作：
1.编译器声明一个变量；
2.运行时引擎在此作用域中查询（LHS查询）该变量，能找到就赋值。
引擎查询方式：
"L"和"R"分别代码左侧和右侧。什么东西的左侧和右侧？是一个赋值操作的左侧和右侧。
当变量出现在赋值操作的左侧时进行LHS查询，出现在右侧时执行RHS查询。
LHS查询：
1.赋值操作的目标是谁；
2.查找的目的是对变量进行赋值（=操作符或调用函数时传入参数的操作）。
RHS查询：
1.谁是赋值操作的源头；
2.查找的目的是获取变量的值。
报错类型：
ReferenceError异常：
1.严格模式下不成功的LHS（非严格模式下不成功的LHS会导致自动隐藏地创建一个全局变量并不会报异常）；
2.不成功的RHS。
TypeError异常：
如果 RHS 查询找到了一个变量，但是你尝试对这个变量的值进行不合理的操作，比如试图对一个非函数类型的值进行函数调用，或着引用 null 或 undefined 类型的值中的属性，那么引擎会抛出另外一种类型的异常。
作用域嵌套规则：
引擎从当前的执行作用域开始查找变量，如果找不到，就向上一级继续查找。