实现JavaScript语言解释器-(二)

实现JavaScript语言解释器-(二)

前言

在上一篇文章中我为大家介绍了Simpe项目的一些背景知识以及如何使用有限状态机来实现词法解析,在本篇文章中我将会为大家介绍语法分析的相关内容,并且通过设计一门内部DSL语言来实现Simple语言的语法解析。

什么是语法解析

词法解析过后,字符串的代码会被解析生成一系列Token串,例如下面是代码let a = 'HelloWorld';的词法解析输出:

1
[
2
  {
3
    "type": "LET",
4
    "value": "let",
5
    "range": {
6
      "start": {
7
        "line": 1,
8
        "column": 1
9
      },
10
      "end": {
11
        "line": 1,
12
        "column": 3
13
      }
14
    }
15
  },
16
  {
17
    "type": "IDENTIFIER",
18
    "value": "a",
19
    "range": {
20
      "start": {
21
        "line": 1,
22
        "column": 5
23
      },
24
      "end": {
25
        "line": 1,
26
        "column": 5
27
      }
28
    }
29
  },
30
  {
31
    "type": "ASSIGN",
32
    "value": "=",
33
    "range": {
34
      "start": {
35
        "line": 1,
36
        "column": 7
37
      },
38
      "end": {
39
        "line": 1,
40
        "column": 7
41
      }
42
    }
43
  },
44
  {
45
    "type": "STRING_LITERAL",
46
    "value": "'HelloWorld'",
47
    "range": {
48
      "start": {
49
        "line": 1,
50
        "column": 9
51
      },
52
      "end": {
53
        "line": 1,
54
        "column": 20
55
      }
56
    }
57
  },
58
  {
59
    "type": "SEMICOLON",
60
    "value": ";",
61
    "range": {
62
      "start": {
63
        "line": 1,
64
        "column": 21
65
      },
66
      "end": {
67
        "line": 1,
68
        "column": 21
69
      }
70
    }
71
  }
72
]

语法解析(Syntax Analysis)阶段,Simple解释器会根据定义的语法规则来分析单词之间的组合关系,从而输出一棵抽象语法树Abstract Syntax Tree),这也就我们常听到的AST了。那么为什么说这棵语法树是抽象的呢?这是因为在语法解析阶段一些诸如分号和左右括号等用来组织代码用的token会被去掉,因此生成的语法树没有包含词法解析阶段生成的所有token信息,所以它是抽象的。在语法解析阶段,如果Simple解释器发现输入的Token字符串不能通过既定的语法规则来解析,就会抛出一个语法错误(Syntax Error),例如赋值语句没有右表达式的时候就会抛出Syntax Error

从上面的描述可以看出,词法解析阶段的重点是分离单词,而语法解析阶段最重要的是根据既定的语法规则组合单词。那么对于Simple解释器来说,它的语法规则又是什么呢?

Simple语言的语法

我们前面说到Simple语言其实是JavaScript的一个子集,所以Simple的语法也是JavaScript语法的一个子集。那么Simple的语法规则都有哪些呢?在进入到使用专业的术语表达Simple语法规则之前,我们可以先用中文来表达一下Simple的语法规则:

  • 变量定义:let, const或者var后面接一个identifier,然后是可选的等号初始化表达式:
    1
    let a;
    2
    // 或者
    3
    let a = 10;
  • if条件判断:if关键字后面加上由左右括号包裹起来的条件,条件可以是任意的表达式语句,接着会跟上花括号括起来的语句块。if语句块后面可以选择性地跟上另外一个else语句块或者else if语句块:
    1
    if (isBoss) {
    2
      console.log('niu bi');
    3
    } else {
    4
      console.log('bu niu bi');
    5
    };
  • while循环:while关键字后面加上由左右括号包裹起来的条件,条件可以是任意的表达式语句,接着是由花括号包裹起来的循环体:
    1
    while(isAlive) {
    2
      console.log('coding');
    3
    };

细心的你可能发现在上面的例子中所有语句都是以分号;结尾的,这是因为为了简化语法解析的流程,Simple解释器强制要求每个表达式都要以分号结尾,这样我们才可以将重点放在掌握语言的实现原理而不是拘泥于JavaScript灵活的语法规则上。

上面我们使用了最直白的中文表达了Simple语言的一小部分语法规则,在实际工程里面我们肯定不能这么干,我们一般会使用巴克斯范式(BNF)或者扩展巴克斯范式(EBNF)来定义编程语言的语法规则

BNF

我们先来看一个变量定义的巴科斯范式例子:

在上面的巴科斯范式中,每条规则都是由左右两部分组成的。在规则的左边是一个非终结符,而右边是终结符非终结符的组合。非终结符表示这个符号还可以继续细分,例如varModifier这个非终结符可以被解析为letconstvar这三个字符的其中一个,而终结符表示这个符号不能继续细分了,它一般是一个字符串,例如ifwhile(或者)等。无论是终结符还是非终结符我们都可以统一将其叫做模式(pattern)

在BNF的规则中,除了模式符号,还有下面这些表示这些模式出现次数的符号,下面是一些我们在Simple语言实现中用到的符号:

符号 作用
[pattern] 是option的意思,它表示括号里的模式出现0次或者一次,例如变量初始化的时候后面的等号会出现零次或者1次,因为初始值是可选的
pattern1 | pattern2 是or的意思,它表示模式1或者模式2被匹配,例如变量定义的时候可以使用letconst或者var
{ pattern } 是repeat的意思, 表示模式至少重复零次,例如if语句后面可以跟上0个或者多个else if

要实现Simple语言上面这些规则就够用了,如果你想了解更多关于BNF或者EBNF的内容,可以自行查阅相关的资料。

如何实现语法解析

在我们编写完属于我们语言的BNF规则之后,可以使用Yacc或者Antlr等开源工具来将我们的BNF定义转化成词法解析和语法解析的客户端代码。在实现Simple语言的过程中,为了更好地学习语法解析的原理,我没有直接使用这些工具,而是通过编写一门灵活的用来定义语法规则的领域专用语言(DSL)来定义Simple语言的语法规则。可能很多同学不知道什么是DSL,不要着急,这就为大家解释什么是DSL。

DSL的定义

身为程序员,我相信大家都或多或少听说过DSL这个概念,即使你没听过,你也肯定用过。在了解DSL定义之前我们先来看一下都有哪些常用的DSL:

  • HTML
  • CSS
  • XML
  • JSX
  • Markdown
  • RegExp
  • JQuery
  • Gulp

我相信作为一个程序员特别是前端程序员,大家一定不会对上面的DSL感到陌生。DSL的全称是Domain-Specific Language,翻译过来就是领域特定语言,和JavaScrpt等通用编程语言(GPL - General-Purpose Language)最大的区别就是:DSL是为特定领域编写的,而GPL可以用来解决不同领域的问题。举个例子,HTML是一门DSL,因为它只能用来定义网页的结构。而JavaScript是一门GPL,因此它可以用来解决很多通用的问题,例如编写各式各样的客户端程序和服务端程序。正是由于DSL只需要关心当前领域的问题,所以它不需要图灵完备,这也意味着它可以更加接近人类的思维方式,让一些不是专门编写程序的人也可以参与到DSL的编写中(设计师也可以编写HTML代码)。

DSL的分类

DSL被分成了两大类,一类是内部DSL,一类是外部DSL。

内部DSL

内部DSL是建立在某个宿主语言(通常是一门GPL,例如JavaScript)之上的特殊DSL,它具有下面这些特点:

  • 和宿主语言共享编译与调试等基础设施,对那些会使用宿主语言的开发者来说,使用该宿主语言编写的DSL的门槛会很低,而且内部DSL可以很容易就集成到宿主语言的应用里面去,它的使用方法就像引用一个外部依赖一样简单,宿主欢迎只需要安装就可以了。
  • 它可以视为使用宿主语言对特定任务(特定领域)的一个封装,使用者可以很容易使用这层封装编写出可读性很高的代码。例如JQuery就是一门内部DSL,它里面封装了很多对页面DOM操作的函数,由于它的功能很有局限性,所以它可以封装出更加符合人们直觉的API,而且它编写的代码的可读性会比直接使用浏览器原生的native browser APIS要高很多。

下面是一个分别使用浏览器原生API和使用JQuery API来实现同样任务的例子:

外部DSL

和内部DSL不同,外部DSL没有依赖的宿主环境,它是一门独立的语言,例如HTML和CSS等。因为外部DSL是完全独立的语言,所以它具有下面这些特点:

  • 不能享用现有语言的编译和调试等工具,如有需要要自己实现,成本很高
  • 如果你是语言的实现者,需要自己设计和实现一门全新的语言,对自己的要求很高。如果你是语言的学习者就需要学习一门新的语言,比内部DSL具有更高的学习成本。而且如果语言的设计者自身水平不够,他们弄出来的DSL一旦被用在了项目里面,后面可能会成为阻碍项目发展的一个大坑
  • 同样也是由于外部DSL没有宿主语言环境的约束,所以它不会受任何现有语言的束缚,因此它可以针对当前需要解决的领域问题来定义更加灵活的语法规则,和内部DSL相比它有更小的来自于宿主语言的语言噪声

下面是一个外部DSL的例子 - Mustache

Simple语言的语法解析DSL

前面说到了内部DSL和外部DSL的一些特点和区别,由于我们的语法解析逻辑要和之前介绍的词法解析逻辑串联起来,所以我在这里就选择了宿主环境是TypeScript的内部DSL来实现

DSL的设计

如何从头开始设计一门内部DSL呢?我们需要从要解决的领域特定问题出发,对于Simple语言它就是:将Simple语言的BNF语法规则使用TypeScipt表达出来。在上面BNF的介绍中,我们知道BNF主要有三种规则:optionrepeator。每个规则之间可以相互组合和嵌套,等等,互相组合和嵌套?你想到了什么JavaScript语法可以表达这种场景?没错就是函数的链式调用

对于程序员来说最清晰的解释应该是直接看代码了,所以我们可以来看一下Simple语言语法解析的代码部分。和词法解析类似,Simple的语法规则放在lib/config/Parser这个文件中,下面是这个文件的示例内容:

1
// rule函数会生成一个根据定义的语法规则解析Token串从而生成AST节点的Parser实例,这个函数会接收一个用来生成对应AST节点的AST类,所有的AST节点类定义都放在lib/ast/node这个文件夹下
2
const ifStatement = rule(IfStatement)
3
ifStatement
4
  // if语句使用if字符串作为开头
5
  .separator(TOKEN_TYPE.IF)
6
  // if字符串后面会有一个左括号
7
  .separator(TOKEN_TYPE.LEFT_PAREN)
8
  // 括号里面是一个执行结果为布尔值的binaryExpression
9
  .ast(binaryExpression)
10
  // 右括号
11
  .separator(TOKEN_TYPE.RIGHT_PAREN)
12
  // if条件成立后的执行块
13
  .ast(blockStatement)
14
  // 后面的内容是可选的
15
  .option(
16
    rule().or(
17
      // else if语句
18
      rule().separator(TOKEN_TYPE.ELSE).ast(ifStatement),
19
      // else语句
20
      rule().separator(TOKEN_TYPE.ELSE).ast(blockStatement)
21
    )
22
  )

上面就是Simple的if表达式定义了,由于使用了DSL进行封装,ifStatement的语法规则非常通俗易懂,而且十分灵活。试想一下假如我们突然要改变ifStatement的语法规则:不允许if后面加else if。要满足这个改变我们只需要将rule().separator(TOKEN_TYPE.ELSE).ast(ifStatement)这个规则去掉就可以了。接着就让我们深入到上面代码的各个函数和变量的定义中去:

rule函数

这个函数是一个用来生成对应AST节点Parser的工厂函数,它会接收一个AST节点的构造函数作为参数,然后返回一个对应的Parser类实例。

1
// lib/ast/parser/rule
2
const rule = (NodeClass?: new () => Node): Parser => {
3
  return new Parser(NodeClass)
4
}
Parser类

Parser类是整个Simple语法解析的核心。它通过函数链式调用的方法定义当前AST节点的语法规则,在语法解析阶段根据定义的语法规则消耗词法解析阶段生成的Token串,如果语法规则匹配它会生成对应AST节点,否则Token串的光标会重置为规则开始匹配的位置(回溯)从而让父节点的Parser实例使用下一个语法规则进行匹配,当父节点没有任何一个语法规则满足条件时,会抛出Syntax Error。下面是Parser类的各个函数的介绍:

方法 作用
.separator(TOKEN) 定义一个终结符语法规则,该终结符不会作为当前AST节点的子节点,例如if表达式的if字符串
.token(TOKEN) 定义一个终结符语法规则,该终结符会被作为当前AST节点的子节点,例如算术表达式中的运算符(+,-,*,/)
.option(parser) 定义一个可选的非终结符规则,非终结符规则都是一个子Parser实例,例如上面if表达式定义中的else if子表达式
.repeat(parser) 定义一个出现0次或者多次的非终结符规则,例如数组里面的元素可能是0个或者多个
.or(…parser TOKEN)
.expression(parser, operatorsConfig) 特殊的用来表示算术运算的规则
.parse(tokenBuffer) 这个函数会接收词法解析阶段生成的tokenBuffer串作为输入,然后使用当前Parser实例的语法规则来消耗TokenBuffer串的内容,如果有完全匹配就会根据当前Parser节点的AST构造函数生成对应的AST节点,否则会将TokenBuffer重置为当前节点规则开始匹配的起始位置(setCursor)然后返回到父级节点
AST节点类的定义

Simple语言所有的AST节点定义都放在lib/ast/node这个文件夹底下。对于每一种类型的AST节点,这个文件夹下都会有其对应的AST节点类。例如赋值表达式节点的定义是AssignmentExpression类,if语句的定义是IfStatement类等等。这些节点类都有一个统一的基类Node,Node定义了所有节点都会有的节点类型属性(type),节点生成规则create函数,以及当前节点在代码执行阶段的计算规则evaluate函数。下面是示例代码:

1
// lib/ast/node/Node
2
class Node {
3
  // 节点类型
4
  type: NODE_TYPE
5
  // 节点的起始位置信息,方便产生语法错误时给开发者进行定位
6
  loc: {
7
    start: ILocation,
8
    end: ILocation
9
  } = {
10
    start: null,
11
    end: null
12
  }
13
14
  // 节点的生成规则,当前节点会根据其子节点的内容生成
15
  create(children: Array<Node>): Node {
16
    if (children.length === 1) {
17
      return children[0]
18
    } else {
19
      return this
20
    }
21
  }
22
23
  // 节点的运算规则,节点在运算时会传进当前的环境变量,每个节点都需要实现自己的运算规则,下一篇文章会详细展开
24
  evaluate(env?: Environment): any {
25
    throw new Error('Child Class must implement its evaluate method')
26
  }
27
}

现在我们来看一下IfStatement这个AST节点类的定义

1
class IfStatement extends Node {
2
  // 该节点的类型是if statement
3
  type: NODE_TYPE = NODE_TYPE.IF_STATEMENT
4
  // if的判断条件,必须是是一个BinaryExpression节点
5
  test: BinaryExpression = null
6
  // if条件成立的条件下的执行语句,是一个BlockStatement节点
7
  consequent: BlockStatement = null
8
  // else的执行语句
9
  alternate: IfStatement|BlockStatement = null
10
11
  // Parser会解析出if语句的所有children节点信息来构造当前的IfStatement节点,children节点的内容和定义由lib/config/Parser文件定义
12
  create(children: Array<Node>): Node {
13
    this.test = children[0] as BinaryExpression
14
    this.consequent = children[1] as BlockStatement
15
    this.alternate = children[2] as IfStatement|BlockStatement
16
    return this
17
  }
18
19
  evaluate(env: Environment): any {
20
    // 后面文章会讲
21
  }
22
}

AST

介绍完Parser类和AST节点类后你现在就可以看懂lib/config/Parser的语法规则定义了,这个文件里面包含了Simple所有语法规则的定义,其中包括根节点的定义:

1
// 列举了所有可能的statement
2
statement
3
  .or(
4
    breakStatement,
5
    returnStatement,
6
    expressionStatement,
7
    variableStatement,
8
    assignmentExpression,
9
    whileStatement,
10
    ifStatement,
11
    forStatement,
12
    functionDeclaration,
13
  )
14
const statementList = rule(StatementList)
15
  .repeat(
16
    rule()
17
      .ast(statement)
18
      .throw('statement must end with semi colon')
19
      .separator(TOKEN_TYPE.SEMI_COLON)
20
21
// 一个程序其实就是很多statement的组合
22
const program = statementList

最后就是将上一章的词法解析和语法解析串联起来,代码在lib/parser这个文件里面:

1
// tokenBuffer是词法解析的结果
2
const parse = (tokenBuffer: TokenBuffer): Node => {
3
  // parser是lib/config/Parser的根节点(program节点),rootNode对应的就是抽象语法树AST
4
  const rootNode = parser.parse(tokenBuffer)
5
6
  if (!tokenBuffer.isEmpty()) {
7
    // 如果到最后还有没有被解析完的Token就表明编写的代码有语法错误,需要报错给开发者
8
    const firstToken = tokenBuffer.peek()
9
    throw new SyntaxError(`unrecognized token ${firstToken.value}`, firstToken.range.start)
10
  }
11
12
  return rootNode
13
}

我们来看一下rootNode的具体内容,假如开发者写了以下的代码:

1
let a = true;
2
if (a) {
3
    console.log('Simple language is very simple');  
4
} else {
5
    console.log('This will never happen!');
6
};

会生成下面的AST:

1
{
2
  "loc": {
3
    "start": {
4
      "line": 1,
5
      "column": 1
6
    },
7
    "end": {
8
      "line": 6,
9
      "column": 1
10
    }
11
  },
12
  "type": "STATEMENT_LIST",
13
  "statements": [
14
    {
15
      "loc": {
16
        "start": {
17
          "line": 1,
18
          "column": 1
19
        },
20
        "end": {
21
          "line": 1,
22
          "column": 12
23
        }
24
      },
25
      "type": "VARIABLE_STATEMENT",
26
      "declarations": [
27
        {
28
          "loc": {
29
            "start": {
30
              "line": 1,
31
              "column": 5
32
            },
33
            "end": {
34
              "line": 1,
35
              "column": 12
36
            }
37
          },
38
          "type": "VARIABLE_DECLARATOR",
39
          "id": "a",
40
          "init": {
41
            "loc": {
42
              "start": {
43
                "line": 1,
44
                "column": 9
45
              },
46
              "end": {
47
                "line": 1,
48
                "column": 12
49
              }
50
            },
51
            "type": "BOOLEAN_LITERAL",
52
            "value": true
53
          }
54
        }
55
      ],
56
      "kind": "LET"
57
    },
58
    {
59
      "loc": {
60
        "start": {
61
          "line": 2,
62
          "column": 1
63
        },
64
        "end": {
65
          "line": 6,
66
          "column": 1
67
        }
68
      },
69
      "type": "IF_STATEMENT",
70
      "test": {
71
        "loc": {
72
          "start": {
73
            "line": 2,
74
            "column": 5
75
          },
76
          "end": {
77
            "line": 2,
78
            "column": 5
79
          }
80
        },
81
        "type": "IDENTIFIER",
82
        "name": "a"
83
      },
84
      "consequent": {
85
        "loc": {
86
          "start": {
87
            "line": 2,
88
            "column": 8
89
          },
90
          "end": {
91
            "line": 4,
92
            "column": 1
93
          }
94
        },
95
        "type": "BLOCK_STATEMENT",
96
        "body": {
97
          "loc": {
98
            "start": {
99
              "line": 3,
100
              "column": 5
101
            },
102
            "end": {
103
              "line": 3,
104
              "column": 49
105
            }
106
          },
107
          "type": "STATEMENT_LIST",
108
          "statements": [
109
            {
110
              "loc": {
111
                "start": {
112
                  "line": 3,
113
                  "column": 5
114
                },
115
                "end": {
116
                  "line": 3,
117
                  "column": 49
118
                }
119
              },
120
              "type": "EXPRESSION_STATEMENT",
121
              "expression": {
122
                "loc": {
123
                  "start": {
124
                    "line": 3,
125
                    "column": 5
126
                  },
127
                  "end": {
128
                    "line": 3,
129
                    "column": 49
130
                  }
131
                },
132
                "type": "CALL_EXPRESSION",
133
                "callee": {
134
                  "loc": {
135
                    "start": {
136
                      "line": 3,
137
                      "column": 5
138
                    },
139
                    "end": {
140
                      "line": 3,
141
                      "column": 15
142
                    }
143
                  },
144
                  "type": "MEMBER_EXPRESSION",
145
                  "object": {
146
                    "loc": {
147
                      "start": {
148
                        "line": 3,
149
                        "column": 5
150
                      },
151
                      "end": {
152
                        "line": 3,
153
                        "column": 11
154
                      }
155
                    },
156
                    "type": "IDENTIFIER",
157
                    "name": "console"
158
                  },
159
                  "property": {
160
                    "loc": {
161
                      "start": {
162
                        "line": 3,
163
                        "column": 13
164
                      },
165
                      "end": {
166
                        "line": 3,
167
                        "column": 15
168
                      }
169
                    },
170
                    "type": "IDENTIFIER",
171
                    "name": "log"
172
                  }
173
                },
174
                "arguments": [
175
                  {
176
                    "loc": {
177
                      "start": {
178
                        "line": 3,
179
                        "column": 17
180
                      },
181
                      "end": {
182
                        "line": 3,
183
                        "column": 48
184
                      }
185
                    },
186
                    "type": "STRING_LITERAL",
187
                    "value": "Simple language is very simple"
188
                  }
189
                ]
190
              }
191
            }
192
          ]
193
        }
194
      },
195
      "alternate": {
196
        "loc": {
197
          "start": {
198
            "line": 4,
199
            "column": 8
200
          },
201
          "end": {
202
            "line": 6,
203
            "column": 1
204
          }
205
        },
206
        "type": "BLOCK_STATEMENT",
207
        "body": {
208
          "loc": {
209
            "start": {
210
              "line": 5,
211
              "column": 5
212
            },
213
            "end": {
214
              "line": 5,
215
              "column": 42
216
            }
217
          },
218
          "type": "STATEMENT_LIST",
219
          "statements": [
220
            {
221
              "loc": {
222
                "start": {
223
                  "line": 5,
224
                  "column": 5
225
                },
226
                "end": {
227
                  "line": 5,
228
                  "column": 42
229
                }
230
              },
231
              "type": "EXPRESSION_STATEMENT",
232
              "expression": {
233
                "loc": {
234
                  "start": {
235
                    "line": 5,
236
                    "column": 5
237
                  },
238
                  "end": {
239
                    "line": 5,
240
                    "column": 42
241
                  }
242
                },
243
                "type": "CALL_EXPRESSION",
244
                "callee": {
245
                  "loc": {
246
                    "start": {
247
                      "line": 5,
248
                      "column": 5
249
                    },
250
                    "end": {
251
                      "line": 5,
252
                      "column": 15
253
                    }
254
                  },
255
                  "type": "MEMBER_EXPRESSION",
256
                  "object": {
257
                    "loc": {
258
                      "start": {
259
                        "line": 5,
260
                        "column": 5
261
                      },
262
                      "end": {
263
                        "line": 5,
264
                        "column": 11
265
                      }
266
                    },
267
                    "type": "IDENTIFIER",
268
                    "name": "console"
269
                  },
270
                  "property": {
271
                    "loc": {
272
                      "start": {
273
                        "line": 5,
274
                        "column": 13
275
                      },
276
                      "end": {
277
                        "line": 5,
278
                        "column": 15
279
                      }
280
                    },
281
                    "type": "IDENTIFIER",
282
                    "name": "log"
283
                  }
284
                },
285
                "arguments": [
286
                  {
287
                    "loc": {
288
                      "start": {
289
                        "line": 5,
290
                        "column": 17
291
                      },
292
                      "end": {
293
                        "line": 5,
294
                        "column": 41
295
                      }
296
                    },
297
                    "type": "STRING_LITERAL",
298
                    "value": "This will never happen!"
299
                  }
300
                ]
301
              }
302
            }
303
          ]
304
        }
305
      }
306
    }
307
  ]
308
}

小结

在本篇文章中我介绍了什么是语法解析,以及给大家入门了领域专用语言的一些基本知识,最后讲解了Simple语言是如何利用内部DSL来实现其语法解析机制的。

在下一篇文章中我将会为大家介绍Simple语言的运行时是如何实现的,会包括闭包如何实现以及this绑定等内容,大家敬请期待!

个人技术动态

欢迎关注公众号进击的大葱一起学习成长

评论

Your browser is out-of-date!

Update your browser to view this website correctly. Update my browser now

×