一、普及概念
- 作用域:一套设计良好用来存储变量的规则,并且之后可以方便地找到这些变量。这套规则被称为作用域。
- 词法单元:这个过程会将由字符组成的字符串分解成(对编程语言来说)有意义的代码块,这些代码块被称为词法单元(token)。
- 分词/词法分析:词法单元生成器在判断词法单元是一个独立的词法单元还是其他词法单元的一部分时,调用有状态的解析规则,这个过程就被称为词法分析。
- 解析/语法分析:将词法单元流(数组)转换成一个由元素逐级嵌套所组成的代表了程序语法结构的树。这个树被称为“抽象语法树”(Abstract Syntax Tree, AST)。
- 代码生成:将AST转换为可执行代码(一组机器指令)的过程被称为代码生成。
二、语法分析过程
var a = 2;
- 例如:程序var a = 2;。这段程序通常会被分解成为下面这些词法单元:var、a、=、2 、 ;。
- 词法单元流(数组)转换成一个由元素逐级嵌套所组成的代表了程序语法结构的树。
- 该示例程序中抽象语法树中可能会有一个叫作VariableDeclaration的顶级节点,接下来是一个叫作Identifier(它的值是a)的子节点,以及一个叫作AssignmentExpression的子节点。AssignmentExpression节点有一个叫作NumericLiteral(它的值是2)的子节点。
- 将var a = 2;的AST转化为一组机器指令,用来创建一个叫作a的变量(包括分配内存等),并将一个值储存在a中。