JavaScript 的编译原理

JavaScript 是一门编译语言。

JavaScript 的编译是发生在代码执行前的几微米（甚至更短）的事件内，所以 JavaScript 没有其他语言那么多的时间来进行优化。

当 JavaScript 执行 var a = 2 时，并不是我们理解的直接创建一个变量 a，并赋值为 2，实际上它分成了两个步骤进行（这样就很好地解释了声明提升）：var a 和 a = 2；
在执行 var a = 2 时，编译器首先把它分解成词法单元，然后把词法单元拆解成抽象语法树（AST）。

当 JavaScript 进行编译的时候，编译器会询问当前作用域是否已经又一个名为 a 的变量，如果有，就忽略这个声明；否则就会在作用域的当前作用域的集合中声明一个新的变量，并命名为 a。
之后 JavaScript 引擎运行的时候，就会询问当前作用域集合中有没有一个叫 a 的变量，如果有，JavaScript 的引擎就会使用这个变量，如果没有，就会向上一个作用域继续寻找叫 a 的变量。如果找到了 a，就会给它赋值 2。如果一直没有找到，JavaScript 引擎就会抛出一个异常。

需要注意的点：
我们在理解：function foo（a）{} 的时候，经常理解成 var foo，foo = function（a）{}，但实际上这是不对的，函数的声明并不能简单地以 LHS 查询和赋值的形式进行理解。

内容扩展：

• 抽象语法树：

抽象语法树会有一个叫做 VariableDeclaration 的顶级节点；然后会有一个叫做 Identifier 的子节点，这个子节点的值是 a；以及一个叫做 AssignmentExpression 的子节点。而 AssignmentExpression 又会有一个 NumericLiteral 的子节点，这个子节点的值是 2。

• LHS 和 RHS 查询

LHS 查询会找到变量的容器本身；
RHS 查询则是简单地查找到某个变量的值。