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 查询则是简单地查找到某个变量的值。

猜你喜欢

转载自www.cnblogs.com/Soaring-Free/p/11361056.html