JavaScript编译原理

一、初识编译原理

JavaScript通常会被归类为“动态”或“解释执行”语言，但事实上它是一门编译语言。但与传统的编译语言不同，它不是提前编译的，编译结果也不能在分布式系统上进行移植。

接下来我们将学习编译原理的过程模拟成几个人物之间的剧本。首先，我们来看一下演员表：

• 引擎
  从头到尾负责整个JavaScript程序的编译和执行过程。
• 编译器
  引擎的好朋友之一，负责语法分析及代码生成等一系列脏活累活
• 作用域
  引擎的另一个好朋友，负责收集并维护由所有声明的变量组成的一系列的查询，并实施一套非常严格的规则，确定当前所执行的代码对这些变量的访问权限。

---

1.1 由赋值开始

当我们看到

var a = 2 

我们会认为这是一句声明。但是我们的新朋友“引擎”却不这么看。事实上，引擎认为这里有两个完全不同的声明。一个由编译器在编译的时候处理，另外一个由自己（引擎）处理。

编译器的处理过程如下：

1. 遇到var a，编译器会询问作用域，是否已经有一个该名称的变量存在于同一个作用域集合中。如果是，编译器会忽略该声明，继续进行编译；否则它会要求作用域在当前作用域集合中声明一个新的变量。并命名为a。
2. 接下来编译器会为引擎生成运行时所需要的代码，用来处理a = 2这个赋值操作。此时，引擎会询问作用域，在当前作用域集合中是否存在一个叫a的变量。如果存在，则直接使用该变量赋值；如果不存在，则引擎会继续向上查找该变量（作用域嵌套）。

最终，如果引擎找到了a变量，就会将2赋值给它。否则引擎就会举手示意并抛出一个异常！

1.2 LHS引用和RHS引用

在大多数人理解中，LHS和RHS的含义：“赋值操作的左侧和右侧”。其实这个说法并不严谨。赋值操作还有其他几种形式，所有最好理解成“赋值操作的目标是谁（LHS）”和“谁是赋值操作的源头（RHS）”

我们分别对这两个查询做一个说明，先看如下代码：

a = 2;

这里对a的引用就属于LHS引用，我们并不关心当前的值是什么，而是想找到要为= 2这个操作找到一个目标（a）。

再看如下代码：

console.log( a );

这里对a的引用是一个RHS引用，这里的a没有被赋予任何值。我们只是想查询到a这个变量的值（赋值操作的源头），这样才能将其传递给console.log()。

1.3 引擎和作用域的对话

function foo(a) {
console.log( a ); // 2
}
foo( 2 );

让我们把上面这段代码的处理过程想象成一段对话，这段对话可能是下面这样的。

引擎：我说作用域，我需要为 foo 进行RHS引用。你见过它吗？
作用域：别说，我还真见过，编译器那小子刚刚声明了它。它是一个函数，给你。
引擎：哥们太够意思了！好吧，我来执行一下 foo 。
引擎：作用域，还有个事儿。我需要为 a 进行LHS引用，这个你见过吗？
作用域：这个也见过，编译器最近把它声名为 foo 的一个形式参数了，拿去吧。
引擎：大恩不言谢，你总是这么棒。现在我要把 2 赋值给 a 。
引擎：哥们，不好意思又来打扰你。我要为 console 进行RHS引用，你见过它吗？
作用域：咱俩谁跟谁啊，再说我就是干这个。这个我也有，console 是个内置对象。 给你。
引擎：么么哒。我得看看这里面是不是有 log(…) 。太好了，找到了，是一个函数。
引擎：哥们，能帮我再找一下对 a 的RHS引用吗？虽然我记得它，但想再确认一次。
作用域：放心吧，这个变量没有变动过，拿走，不谢。
引擎：真棒。我来把 a 的值，也就是 2 ，传递进 log(…) 。

二、异常

之前我们聊到了LHS和RHS引用，那么，为什么区分LHS和RHS是一件重要的事情？

因为在变量还为声明的情况下，这两种查询的行为是不一样的。这对我们分析引擎报错是很有帮助的

考虑如下代码：

function foo(a) {
	console.log( a+b ); 
	b=a
}
foo( 2 );

第一次对b进行RHS查询时，是无法找到该变量的。也就是说，这是一个未声明的变量。因为在任何相关的作用域都无法找到他。
当RHS在所有嵌套的作用域中都没有找到该变量，引擎就会抛出一个异常ReferenceError。

相比较之下，在“非严格模式”下，当引擎执行LHS查询的时候，如果在顶层作用域也没有找到目标变量，那么全局作用域中就会很热心的创建一个具有该名称的变量，并且把它返回给引擎。
而在“严格模式”下，禁止自动或者隐式的创建变量。所以当LHS查询失败之后，引擎同样会抛出一个ReferenceError异常。

而当RHS查询真正的找到了这个变量，但是想对这个变量的值进行一些不合理的操作，那么引擎就会抛出另外一个类型的异常TypeError。

小结：ReferenceError同作用域判别失败相关，而TypeError则代表作用域判别成功了，但是对结果的操作是非法的。