KevinOfNeu

正如我之前博客中提到的，我正在参加一个 “让自己知道” 的比赛。这个比赛的目的是做一个项目，并且用博客记录项目的开发过程。于是我想到了开发一个自己的基于 JVM 的语言和编译器（我没有理由不这么做）。 这个语言的名字我称之为 Enkel, 在瑞士语中表示简单的意思。

词法分析器的职责是把简单的文本输入，识别为 Token(可以理解为一种记号），代码，即文本文件在词法分析之前，仅仅是无意义的字节流而已，但 Token 不同，Token 记录的类型信息对接下来的步骤很重要。 语法分析器的职责是把 Token 序列输入，组织成具有层次结构的抽象语…

0. 自顶向下的方式 开发一门语言不是短期任务，我将以自顶向下的视角来开发。为了避免陷入每个模块的实现细节，我准备先宏观的描述每个模块，然后在每个迭代，我将慢慢加入更多的细节加以完善。 1. 代码 作者原来的代码是 Maven 工程，译者这里改成了 Gradle（译者熟悉 Gr…

上一节中，我们已经实现了 Enkel 语言的原型实现。本章我们需要定义好 Enkel 的语言特性。 众所周知，Java 中有很多冗余的部分。Java 尽可能的避免让你犯错，因此我们有时候需要写大量的重复性代码。 我们的目标是让 Enkel 尽可能的简单。简单带来的缺点显而易见，…

上一节中，我们定义了 Enkel 语言的特性。本节中我们来实现 “类”。 另外一点改动是: 输出的 .class 文件名字以类名为依据，而不是以 .enk 文件名字为依据。

之前的章节中，我都使用了 listener 来实现 Enkel 的解析器。Antlr 提供了另一种方式-- Visitor。我们需要在命令里加 -visiotor 来显示的开启。 我专门写了一篇博客，来探讨究竟哪种方式更适合 Enkel 的编译器设计和实现。 更少的 BUG。无…

1. 方法 到目前为止，我们可以在 Enkel 中声明类和变量，但是他们都处于同一个全局作用域中。下一步，我们需要支持方法。 2. 作用域 对象 scope 是在类创建的时候被创建的，然后传递给下一层级(方法）。下一层级拷贝并且添加其他的选项。 3. 签名 函数调用的时候，需要…

1. 语法改动 本节需要改动的语法规则仅是 "expression"。 表达式通俗来讲就是求值（方法调用，值，变量引用等）。 而语句会做一些操作，但不一定会产生值，例如 if 语句。 # 标号表示为当前规则创建可选的回调。Antlr 会在 ENkelVisotor 中生成诸如 …

1. 语法规则改动 我们新建一个规则 “returnStatement”。 这听起来有点绕口，但是返回值并不总是返回一个值。在 Java 中，代码 int x = return 5; 没有意义， 在 Enkel 中也是如此。换句话说，表达式总可以给一个变量赋值。这就是为什么返回…