编译器之旅

本书以简单的算法、清 晰的架构讲述了把高级语言 转换成Linux程序的全过程 ，以及其中蕴含的数学原理 。 本书共12章，按照源码 编译的顺序分为入门篇和进 阶篇。入门篇（第1～4章） 详细介绍词法分析、语法分 析、语义分析，涵盖编译器 前端的所有内容。进阶篇（ 第5～12章）进一步说明怎 么把抽象语法树转换成可执 行程序的全过程，包含三地 址码的生成、中间代码优化 、寄存器分配、机器码的生 成、ELF文件格式、连接器 和虚拟机的实现，以及作者 对泛编译器问题的进一步思 考。 本书适合初学者学习编 译原理，也可用作资深程序 员在开发一门新语言时的技 术资料，还可用作高等院校 和培训机构的教学参考书。

于东亮，SCF编译器作者，资深C程序员和FFmpeg工程师，毕业于天津大学，长期从事Linux下的编程工作。先后制作了“C语言技术内幕”“Linux环境的编程详解”“怎么用C语言写一个简单EDA”“编译器入门”等原创视频合集。本书为作者的第一部实体书，以SCF编译器为例讲述了一门高级语言的发明过程。

入门篇 第1章 编译器简介 1.1 编程语言的发展史 1.2 编译器在IT行业里的核心地位 1.3 编译器的代码架构 第2章 词法分析 2.1 “理想语言”的词法分析 2.2 实际编程语言的词法扩展 2.2.1 编程语言的标志符 2.2.2 关键字 2.2.3 数字 2.2.4 数据结构 2.3 词法分析的数学解释 第3章 语法分析 3.1 语句类型的划分 3.2 语句的嵌套和递归分析 3.2.1 变量声明语句的分析 3.2.2 类型定义语句的分析 3.2.3 顺序块的分析 3.2.4 表达式的分析 3.2.5 运算符的优先级和结合性 3.2.6 表达式树的构造步骤 3.2.7 完整的抽象语法树 3.2.8 抽象语法树的数据结构 3.2.9 变量和类型的数据结构 3.2.10 变量的诸法检查 3.2.11 屋号和乘法的区分 3.3 语法的灵活编辑和有限自动机框梁 3.3.1 有限自动机的简介 3.3.2 语法的编辑 3.3.3 编程语言的语法图 3.3.4 SCF框架怎么实现“递归” 3.3.5 语法分析框架的模块上下文 3.3.6 for循环的语法分析模块 3.3.7 小括号的多种含义 3.4 语法分析的数学解释 第4章 语义分析 4.1 类型检查 4.2 语义分析框架 4.2.1 语义分析的回调函数 4.2.2 语义分析中的递归 4.3 运算符重载 4.3.1 运算符重载的实现 4.3.2 函数调用 4.3.3 重载函数的查找 4.3.4 代码实现 4.3.5 SCF编译器的类对象 4.4 new关键字 4.5 多值函数 4.5.1 应用程序二进制接口