免费编译器教材：从零构建C语言到X86/ARM编译器

在 Hacker News 上获得了 264 个赞的《Introduction to Compilers and Language Design》，是圣母大学（University of Notre Dame）Computer Science 教授 Douglas Thain 为 CSE 40243 编译器课程编写的教材。全书可免费在线访问，也可购买纸质版。

这本书教什么

正如作者所述：编译器将高级语言程序翻译为低级语言程序。对于计算机科学的学生来说，从零构建编译器是一个"成人礼"——既有挑战性又充满乐趣，涉及计算机科学许多不同方面，既有深刻的理论，也有高度实用的工程。

这本教材提供了一学期的编译器构建入门，使读者能够构建一个简单的编译器——接受类 C 语言，翻译为可运行的 X86 或 ARM 汇编代码。适合有一定 C 语言编程经验、学过数据结构和计算机体系结构的本科生。

完整章节结构

全书从编译器基础概念出发，逐步深入每个阶段：

1. 第 1 章：导论——编译器的整体架构和设计哲学
2. 第 2 章：快速概览——用一个简单例子串联整个编译流程
3. 第 3 章：扫描——Scanning，将字符流分解为 token 序列，正则表达式和有限自动机
4. 第 4 章：解析——Parsing，上下文无关文法、自顶向下和自底向上解析
5. 第 5 章：实践中的解析——Lex 和 Yacc 等工具的使用
6. 第 6 章：抽象语法树——AST 的构建和遍历
7. 第 7 章：语义分析——类型检查、作用域和符号表
8. 第 8 章：中间表示——Intermediate Representation 的设计
9. 第 9 章：内存组织——栈、堆和数据段的布局
10. 第 10 章：汇编语言——X86/ARM 指令集和调用约定
11. 第 11 章：代码生成——从 AST 到目标代码
12. 第 12 章：优化——常量折叠、死代码消除、循环优化

附录还提供了完整的课程项目规范、B-Minor 语言定义和编码规范。

为什么值得一读

编译器构建是计算机科学教育中少数能串联几乎所有核心知识的项目：数据结构（树、图、哈希表）、算法（图着色、动态规划）、形式语言理论（正则表达式、上下文无关文法）、计算机体系结构（寄存器分配、内存布局）和软件工程（模块化设计、测试策略）。

这本书的特别之处在于其实践导向：不是停留在理论层面，而是引导学生一步步构建一个真正能工作的编译器。每章都有具体的代码示例和练习，附录提供了 B-Minor 语言的完整定义和课程项目规范，让读者有明确的目标。

与现代编译器的联系

虽然这本教材以传统的单遍编译器为核心，但其概念与现代编译器基础设施完全互通。理解了这本书的内容，再学习 LLVM 的 IR 设计、GCC 的 GIMPLE SSA 形式，或者 WASM 的编译流程，都会事半功倍。

2026 年，编译器技术不仅用于传统编程语言。AI 编程工具（如 Cursor、Claude Code）的代码分析和生成、数据库查询优化器的计划生成、甚至 AI Agent 的工具调用参数校验，都涉及编译器前端的词法分析和语法分析技术。

配套资源

作者还在 GitHub 上提供了配套代码仓库 compilerbook-examples，包含多个扫描器和解析器示例、项目编译器的启动代码框架，以及每个阶段（扫描器、解析器、类型检查器、代码生成器）的测试用例。

对于想深入学习编译器的开发者，这本书是一个零成本、高质量的起点。无论是计算机科学的学生还是想理解"代码如何变成可执行程序"的实践工程师，都值得一读。

[关联推荐]

• Zig 架构进化 -- 包管理功能从编译器迁移到构建系统的设计思考
• 不懂 Rust 的开发者用 AI 重写 PHP 引擎 -- 编程语言与 AI 的交叉实践