-
1.1编译原理
通常将JavaScript 归类为“动态”或“解释执行”语言,但事实上它是一门编译语言。
传统编译语言的一段源代码在执行之前会经历三个步骤,统称为“编译”。
1、分词/词法分析(Tokenizing/Lexing)
这个过程会将由字符组成的字符串分解成有意义的代码块,这些代码块被称为词法单元(token)。
例如,var a = 2;。这段程序通常会被分解成为下面这些词法单元:var、a、=、2 、;。空格是否会被当作词法单元,取决于空格在这门语言中是否具有意义。
分词(tokenizing)和词法分析(Lexing)之间的主要差异在于词法单元的识别是通过有状态还是无状态的方式进行的。
简单来说,如果词法单元生成器在判断a 是一个独立的词法单元还是其他词法单元的一部分时,调用的是有状态的解析规则,那么这个过程就被称为词法分析。
2、解析/语法分析(Parsing)
这个过程是将词法单元流(数组)转换成一个逐级嵌套的代表了程序语法结构的树。这个树被称为“抽象语法树”(Abstract Syntax Tree,AST)。var a = 2; 的抽象语法树中可能会有一个叫作VariableDeclaration 的顶级节点,接下来是一个叫作Identifier(它的值是a)的子节点,以及一个叫作AssignmentExpression的子节点。AssignmentExpression 节点有一个叫作NumericLiteral(它的值是2)的子节点。
3、代码生成
将抽象语法树AST 转换为可执行代码的过程称被称为代码生成。这个过程与语言、目标平台等息
息相关。
简单来说就是有某种方法可以将var a = 2; 的AST 转化为一组机器指
令,用来创建一个叫作a 的变量(包括分配内存等),并将一个值储存在a 中。
与传统语言不同,JavaScript引擎要复杂得多。
例如,在语法分析和代码生成阶段有特定的步骤来对运行性能进行优化,包括对冗余元素进行优化等。
首先,JavaScript 引擎不会有大量的(像其他语言编译器那么多的)时间用来进行优化,因
为与其他语言不同,JavaScript 的编译过程不是发生在构建之前的。
对于JavaScript 来说,大部分情况下编译发生在代码执行前的几微秒。
JavaScript 引擎用尽了各种办法(比如JIT,可以延迟编译甚至实施重编译)来保证性能最佳。
简单地说,任何JavaScript 代码片段在执行前都要进行编译(通常就在执行前)。因此,
JavaScript 编译器首先会对var a = 2; 这段程序进行编译,然后做好执行它的准备,并且
通常马上就会执行它。