对于想要入门编译器开发的学习者来说，Dragon Book（《编译原理》）几乎是绕不开的经典教材，但其厚重的体量与复杂的理论往往让初学者望而却步。2008 年一篇推荐文章提出了一个截然不同的思路：只需阅读两篇文献即可动手编写编译器。这两篇文献分别是 Niklaus Wirth 的《编译器构造》与 Abdulaziz Ghuloum 的《增量式编译器构造方法》。与传统的自底向上理论学习不同，这两篇文献强调从最小可行产品出发，通过增量式开发逐步构建完整编译器，非常适合想要快速看到成果的工程实践者。
Wirth《编译器构造》：百页内的端到端完整示例
Niklaus Wirth 是 Pascal 与 Oberon 编程语言的作者，其于 2005 年左右编写的《编译器构造》（Compiler Construction）是一本极度精简的教材，全书不足百页，却完整覆盖了从词法分析、语法分析到代码生成的全部环节。与 Dragon Book 先铺陈大量理论再进入实现不同，Wirth 的写法是直接给出完整可运行的编译器代码，让学习者在阅读过程中即可看到每个阶段的具体实现。该书以 Oberon 语言本身作为实现语言，语法简洁明晰，适合已经具备一定编程基础但对编译器内部结构陌生的开发者快速建立全局认知。书中重点讲解了递归下降分析器的构造、符号表管理以及目标代码生成策略，尤其值得注意是其对错误恢复机制的务实处理 —— 在真实编译器开发中，错误报告与恢复往往是被忽视但至关重要的工程细节。
Wirth 在书中选择的实现路径是先构建完整的扫描器与解析器，再逐步加入语义分析与代码生成，这种自顶向下的顺序与大多数教材一致，但优势在于每个阶段都是可编译、可运行的完整代码块，学习者可以在每完成一个模块后就获得可验证的产出。更关键的是，该书的代码量控制在可管理的范围内 —— 整个编译器核心不超过两千行代码，这给初学者带来了极大的心理安全感：编译器不再是遥不可及的巨型系统，而是一个可以通过逐个击破来完成的工程任务。
Ghuloum 增量式方法：24 步递增的实践哲学
如果说 Wirth 的书提供了一幅完整的编译器蓝图，那么 Ghuloum 于 2006 年发表的论文《增量式编译器构造方法》则提供了一套截然不同的方法论。该论文的核心观点是：编译器的学习应当从最微小的语言子集开始，每一步都产生可运行的目标代码，在确保前一步正确工作的前提下再扩展语言特性。Ghuloum 将这一过程划分为 24 个递增步骤，从最基础的整数常量解析开始，逐步加入变量、函数调用、控制流、闭包等特性，每一步的增量都足够小，以至于学习者可以在数十分钟内完成并验证。
这种方法论的价值在于它从根本上改变了学习者与编译器之间的距离感。传统教材往往要求读者在完成全部理论学习后才能写出第一个能够运行的编译器，这种延迟满足的过程极易导致中途放弃。而 Ghuloum 的增量式方法保证了学习者从第一天起就拥有一个真正能够编译代码的工具 —— 即便它只能处理极其简单的表达式。论文中选择的最终目标是编译一个 Scheme 语言的子集到 x86 汇编，这一选择非常务实：x86 汇编是几乎所有开发者都能在个人电脑上验证的 target，而 Scheme 语言的简洁性又避免了语法分析的过度复杂性。值得注意的是，Ghuloum 在论文中直接给出了每一阶段对应的汇编代码生成逻辑，这使得学习者可以清晰地看到高级语言构造是如何被逐步翻译为机器指令的。
整合两条路径：最小可行编译器学习方案
将 Wirth 与 Ghuloum 的方法结合起来，可以设计出一条高效且务实的编译器学习路径。第一阶段以 Wirth 的《编译器构造》为主线，快速通读全书以建立对编译器各模块的全局认知，理解词法分析器如何将字符流转换为 token 序列、语法分析器如何将 token 序列构建为抽象语法树、语义分析器如何进行类型检查与作用域解析、代码生成器如何将中间表示转换为目标代码。这一阶段的目标不是一次性写出一个完整编译器，而是弄清楚编译器内部各个组件的职责与接口约定。
第二阶段转向 Ghuloum 的增量式方法，按照论文中的 24 个步骤逐一实现。每完成一个步骤，就获得了该步骤对应的完整编译器，此时可以编写一些测试用例来验证编译器行为的正确性。例如在早期阶段可以编译简单的算术表达式并手动检查生成的汇编代码是否正确，在中后期则可以测试变量作用域、函数调用与返回值等更复杂的语言特性。这种验证方式培养了对编译器内部运作的直观理解：学习者不是在学习抽象的理论概念，而是在处理一个个真实的工程问题 —— 如何为变量分配存储空间、如何实现函数调用的栈帧结构、如何处理嵌套作用域中的名字解析。
关键工程参数与实践要点
在实际按照这两篇文献进行学习时，有几个工程实践要点值得关注。首先是目标代码的选择，Ghuloum 的论文默认使用 x86 32 位汇编作为目标，这是一个实用的选择因为大多数现代开发者都可以在个人电脑上使用 GCC 或 MASM 快速汇编并运行生成的代码。但如果使用更现代的目标如 x86-64 或 LLVM IR，则需要额外处理调用约定与寄存器分配的问题。其次是测试框架的搭建，既然每一步增量都产生可运行的编译器，那么为每个增量编写自动化测试用例就变得至关重要 —— 可以将测试用例组织为输入源码与预期输出的对照，确保每次扩展语言特性时不会破坏已有功能。
另一个关键实践是错误处理机制的实现。Wirth 的书中对语法错误的报告给出了简洁但实用的实现思路：解析器在检测到错误时应当尽可能继续解析以发现更多错误，而不是立即终止。Ghuloum 的增量式方法虽然强调增量，但同样需要在每个阶段处理基本的语法错误与运行时错误。学习者在早期就可以尝试为编译器添加有意义的错误信息 —— 至少应当指出错误所在的行号与可能的错误类型，这在后续调试自己编写的程序时会带来极大便利。
最后是关于工具选择的建议。无论是 Wirth 还是 Ghuloum 的方法，都可以使用任意主流编程语言实现。对于初学者而言，Python 或 OCaml 是比较推荐的选择：Python 的高可读性便于理解编译器各阶段的逻辑，而 OCaml 的模式匹配与代数数据类型天然适合处理语法树与抽象表示。如果目标是更接近工业级的编译器开发，则可以直接使用 C 语言按照 Wirth 书中的结构实现，这种方式虽然代码量稍大，但能帮助学习者更深入地理解内存管理与底层细节。
通过这两个核心资源的学习路径构建，开发者可以在相对短的时间内从零开始完成一个功能完整的小型编译器。更重要的是，这种学习方式培养的是解决实际工程问题的思维方式 —— 编译器本质上就是一个将一种表示转换为另一种表示的转换器，而这种转换思想在软件开发的各个领域都有广泛的应用。
资料来源：Ghuloum 的论文可从 scheme2006.cs.uchicago.edu 获取；Wirth 的《编译器构造》可从 ETH Zürich 或 Project Oberon 网站免费下载。