英文出处: Luke Wilson. 欢迎加入翻译组 https://github.com/jobbole/translation-project .
编程语言是怎样工作的
理解编译器内部原理, 可以让你更高效利用它. 按照编译的工作顺序, 逐步深入编程语言和编译器是怎样工作的. 本文有大量的链接, 样例代码和图表帮助你理解编译器.
作者注:
这是我在 Medium 上的第二篇文章的再版, 上一版有超过 21000 的阅读量. 很高兴我能够帮助到各位的学习, 因此我根据上一版的评论, 完完全全重写了.
我选择 Rust 作为这篇文章的主要语言. 它是一种详尽的, 高效的, 现代的而且看起来特意使得设计编译器变得简单. 我很喜欢使用它. https://www.rust-lang.org/
写这篇文章的目的主要是吸引读者的注意力, 而不是提供 20 多页的令人头皮发麻的阅读材料. 对于那些你感兴趣的更深层次的话题, 文章中有许多链接会引导你找到相关的资料. 大多数链接到维基百科 .
感谢你的关注, 我希望你能够喜欢这些我花费了超过 20 个小时的写出的文章. 欢迎在文章底部评论处留下任何问题或者建议.
简单介绍
编译器是什么?
你口中所说的编程语言本质上只是一个软件, 这个软件叫做编译器, 编译器读入一个文本文件, 经过大量的处理, 最终产生一个二进制文件. 编译器的语言部分就是它处理的文本样式. 因为电脑只能读取 1 和 0 , 而人们编写 Rust 程序要比直接编写二进制程序简单地多, 因此编译器就被用来把人类可读的文本转换成计算机可识别的机器码.
编译器可以是任何可以把文本文件转换成其他文件的程序. 例如, 下面有一个用 Rust 语言写的编译器把 0 转换成 1, 把 1 转换成 0 :
- // An example compiler that turns 0s into 1s, and 1s into 0s.
- fn main() {
- let input = "1 0 1 A 1 0 1 3";
- // iterate over every character `c` in input
- let output: String = input.chars().map(|c|
- if c == '1' { '0' }
- else if c == '0' { '1' }
- else { c } // if not 0 or 1, leave it alone
- ).collect();
- println!("{}", output); // 0 1 0 A 0 1 0 3
- }
- // An example compiler that turns 0s into 1s, and 1s into 0s. fn main() { let input = "1 0 1 A 1 0 1 3"; // iterate over every character `c` in input let output: String = input.chars().map(|c| if c == '1' { '0' } else if c == '0' { '1' } else { c } // if not 0 or 1, leave it alone ).collect(); println!("{}", output); // 0 1 0 A 0 1 0 3}
编译器是做什么的?
简言之, 编译器获取源代码, 产生一个二进制文件. 因为从复杂的, 人类可读的代码直接转化成 0/1 二进制会很复杂, 所以编译器在产生可运行程序之前有多个步骤:
从你给定的源代码中读取单个词.
把这些词按照单词, 数字, 符号, 运算符进行分类.
通过模式匹配从分好类的单词中找出运算符, 明确这些运算符想进行的运算, 然后产生一个运算符的树(表达式树).
最后一步遍历表达式树中的所有运算符, 产生相应的二进制数据.
尽管我说编译器直接从表达式树转换到二进制, 但实际上它会产生汇编代码, 之后汇编代码会被汇编 / 编译到二进制数据. 汇编程序就好比是一种高级的, 人类可读的二进制. 更多关于汇编语言的阅读资料在这里 https://en.wikipedia.org/wiki/Assembly_language .
解释器是什么?
解释器 非常像编译器, 它也是读入编程语言的代码, 然后处理这些代码. 尽管如此, 解释器会跳过了代码生成, 然后即时编译并执行 AST. 解释器最大的优点就在于在你 debug 期间运行程序所消耗的时间. 编译器编译一个程序可能在一秒到几分钟不等, 然而解释器可以立即开始执行程序, 而不必编译. 解释器最大的缺点在于它必须安装在用户电脑上, 程序才可以执行.
虽然这篇文章主要是关于编译器的, 但是对于编译器和解释器之间的区别和编译器相关的内容一定要弄清楚.
1. 词法分析
第一步是把输入一个词一个词的拆分开. 这一步被叫做 词法分析 https://en.wikipedia.org/wiki/Lexical_analysis , 或者说是分词. 这一步的关键就在于 我们把字符组合成我们需要的单词, 标识符, 符号等等. 词法分析大多都不需要处理逻辑运算像是算出 2+2 - 其实这个表达式只有三种 标记: 一个数字: 2, 一个加号, 另外一个数字: 2.
让我们假设你正在解析一个像是 12+3 这样的字符串: 它会读入字符 1,2,+, 和 3. 我们已经把这些字符拆分开了, 但是现在我们必须把他们组合起来; 这是分词器的主要任务之一. 举个例子, 我们得到了两个单独的字符 1 和 2, 但是我们需要把它们放到一起, 然后把它们解析成为一个整数. 至于 + 也需要被识别为加号, 而不是它的字符值 - 字符值是 43 .
如果你可以阅读过上面的代码, 并且弄懂了这样做的含义, 接下来的 Rust 分词器会组合数字为 32 位整数, 加号就最后了标记值 Plus(加).
rust playground
你可以点击 Rust playgroud 左上角的 "Run" 按钮来编译和执行你浏览器中的代码.
在一种编程语言的编译器中, 词法解析器可能需要许多不同类型的标记. 例如: 符号, 数字, 标识符, 字符串, 操作符等. 想知道要从源文件中提取怎样的标记完全取决于编程语言本身.
- int main() {
- int a;
- int b;
- a = b = 4;
- return a - b;
- }
- Scanner production:
- [Keyword(Int), Id("main"), Symbol(LParen), Symbol(RParen), Symbol(LBrace), Keyword(Int), Id("a"), Symbol(Semicolon), Keyword(Int), Id("b"), Symbol(Semicolon), Id("a"), Operator(Assignment), Id("b"),
- Operator(Assignment), Integer(4), Symbol(Semicolon), Keyword(Return), Id("a"), Operator(Minus), Id("b"), Symbol(Semicolon), Symbol(RBrace)]
- int main() { int a; int b; a = b = 4; return a - b;} Scanner production:[Keyword(Int), Id("main"), Symbol(LParen), Symbol(RParen), Symbol(LBrace), Keyword(Int), Id("a"), Symbol(Semicolon), Keyword(Int), Id("b"), Symbol(Semicolon), Id("a"), Operator(Assignment), Id("b"),Operator(Assignment), Integer(4), Symbol(Semicolon), Keyword(Return), Id("a"), Operator(Minus), Id("b"), Symbol(Semicolon), Symbol(RBrace)]
C 语言的样例代码已经进行过词法分析, 并且输出了它的标记.
2. 解析
解析器确实是语法解析的核心. 解析器提取由词法分析器产生的标记, 并尝试判断它们是否符合特定的模式, 然后把这些模式与函数调用, 变量调用, 数学运算之类的表达式关联起来. 解析器逐词地定义编程语言的语法.
int a = 3 和 a: int = 3 的区别在于解析器的处理上面. 解析器决定了语法的外在形式是怎样的. 它确保括号和花括号的左右括号是数量平衡的, 每个语句结尾都有一个分号, 每个函数都有一个名称. 当标记不符合预期的模式时, 解析器就会知道标记的顺序不正确.
你可以写好几种不同类型的解析器. 最常见的解析器之一是从上到下的, 递归降解的解析器. 递归降解的解析器是用起来最简单也是最容易理解的解析器. 我写的所有解析器样例都是基于递归降解的.
解析器解析的语法可以使用一种 语法 https://en.wikipedia.org/wiki/Formal_grammar 表示出来. 像 EBNF 这样的语法就可以描述一个解析器用于解析简单的数学运算, 像是这样 12+3 :
- expr = additive_expr ;
- additive_expr = term, ('+' | '-'), term ;
- term = number ;
- expr = additive_expr ;additive_expr = term, ('+' | '-'), term ;term = number ;
简单加法和减法表达式的 EBNF 语法.
请记住语法文件并不是解析器, 但是它确实是解析器的一种表达形式. 你可以围绕上面的语法创建一个解析器. 语法文件可以被人使用并且比起直接阅读和理解解析器的代码要简单许多.
那种语法的解析器应该是 expr 解析器, 因为它直接与所有内容都相关的顶层. 唯一有效的输入必须是任意数字, 加号或减号, 任意数字. expr 需要一个 additive_expr, 这主要出现在加法和减法表达式中. additive_expr 首先需要一个 term (一个数字), 然后是加号或者减号, 最后是另一个 term .
解析 12+3 产生的样例 AST
解析器在解析时产生的树状结构被称为 抽象的语法树 https://en.wikipedia.org/wiki/Abstract_syntax_tree , 或者称之为 AST. ast 中包含了所有要进行操作. 解析器不会计算这些操作, 它只是以正确的顺序来收集其中的标记.
我之前补充了我们的词法分析器代码, 以便它与我们的语法想匹配, 并且可以产生像图表一样的 AST. 我用 // BEGIN PARSER // 和 // END PARSER // 的注释标记出了新的解析器代码的开头和结尾.
rust playground
我们可以再深入一点. 假设我们想要支持只有数字没有运算符的输入, 或者添加除法和乘法, 甚至添加优先级. 只要简单地修改一下语法文件, 这些都是完全有可能的, 任何调整都会直接反映在我们的解析器代码中.
- expr = additive_expr ;
- additive_expr = multiplicative_expr, {
- ('+' | '-'), multiplicative_expr
- } ;
- multiplicative_expr = term, {
- ("*" | "/"), term
- } ;
- term = number ;
- expr = additive_expr ;additive_expr = multiplicative_expr, {
- ('+' | '-'), multiplicative_expr
- } ;multiplicative_expr = term, {
- ("*" | "/"), term
- } ;term = number ;
新的语法.
https://play.rust-lang.org/?gist=1587a5dd6109f70cafe68818a8c1a883&version=nightly&mode=debug&edition=2018
针对 C 语言语法编写的解析器 (又叫做词法分析器) 和解析器样例. 从字符序列的开始 "if(net>0.0)total+=net(1.0+tax/100.0);", 扫描器组成了一系列标记, 并且对它们进行分类, 例如, 标识符, 保留字, 数字, 或者运算符. 后者的序列由解析器转换成语法树, 然后由其他的编译器分阶段进行处理. 扫描器和解析器分别处理 C 语法中的规则和与上下文无关的部分. 引自: Jochen Burghardt. 来源.
3. 生成代码
代码生成器 接收一个 AST , 然后生成相应的代码或者汇编代码. 代码生成器必须以递归下降的顺序遍历 AST 中的所有内容 - 就像是解析器的工作方式一样 - 之后生成相应的内容, 只不过这里生成的不再是语法树, 而是代码了.
https://godbolt.org/z/K8416_
如果打开上面的链接, 你就可以看到左侧样例代码产生的汇编代码. 汇编代码的第三行和第四行展示了编译器在 AST 中遇到常量的时候是怎样为这些常量生成相应的代码的.
Godbolt Compiler Explorer 是一个很棒的工具, 允许你用高级语言编写代码, 并查看它产生的汇编代码. 你可以有点晕头转向了, 想知道产生的是哪种代码, 但不要忘记给你的编程语言编译器添加优化选项来看看它到底有多智能.(对于 Rust 是 -O )
如果你对于编译器是在汇编语言中怎样把一个本地变量保存到内存中感兴趣的话, 这篇文章 ("代码生成" 部分)非常详细地解释了堆栈的相关知识. 大多数情况下, 当变量不是本地变量的时候, 高级编译器会在堆区为变量分配空间, 并把它们保存到堆区, 而不是栈区. 你可以从这个 Stack Overflow 的回答上 https://stackoverflow.com/a/18446414 阅读更多关于变量存储的内容.
因为汇编是一个完全不同的, 而且复杂的主题, 因此这里我不会过多地讨论它. 我只是想强调代码生成器的重要性和它的作用. 此外, 代码生成器不仅可以产生汇编代码. Haxe https://haxe.org/ 编译器有一个可以产生 6 种以上不同的编程语言的后端: 包括 C++,Java, 和 Python.
后端指的是编译器的代码生成器或者表达式解析器; 因此前端是词法分析器和解析器. 同样也有一个中间端, 它通常与优化和 IR 有关, 这部分会在稍后解释. 后端通常与前端无关, 后端只关心它接收到的 AST. 这意味着可以为几种不同的前端或者语言重用相同的后端. 大名鼎鼎的 GNU Compiler Collection https://gcc.gnu.org/ 就属于这种情况.
我找不到比我的 C 编译器后端更好的代码生成器示例了; 你可以在这里查看.
在生成汇编代码之后, 这些汇编代码会被写入到一个新的汇编文件中 (.s 或 .asm). 然后该文件会被传递给汇编器, 汇编器是汇编语言的编译器, 它会生成相应的二进制代码. 之后这些二进制代码会被写入到一个新的目标文件中 (.o) .
目标文件是机器码, 但是它们并不可以被执行. 为了让它们变成可执行文件, 目标文件需要被链接到一起. 链接器读取通用的机器码, 然后使它变为一个可执行文件, 共享库或是 静态库. 更多关于链接器的知识在这里.
链接器是因操作系统而不同的应用程序. 随便一个第三方的链接器都应该可以编译你后端产生的目标代码. 因此在写编译器的时候不需要创建你自己的链接器.
编译器可能有 中间表示, 或者简称 IR .IR 主要是为了在优化或者翻译成另一门语言的时候, 无损地表示原来的指令. IR 不再是原来的代码; IR 是为了寻找代码中潜在的优化而进行的无损简化. 循环展开 https://en.wikipedia.org/wiki/Loop_unrolling 和 向量化 都是利用 IR 完成的. 更多关于 IR 相关的优化可以在这个 PDF 中找到.
总结
当你理解了编译器的时候, 你就可以更有效地使用你的编程语言. 或许有一天你会对创建你自己的编程语言感兴趣? 我希望这能够帮到你.
资源 & 更深入的阅读资料
http://craftinginterpreters.com/ - 指导你编写一个 C 和 Java 的解释器.
- 大概是对我来说最有用的 "编写编译器" 的教程了
我的 C 编译器和科学计算解析器可以在这里 https://github.com/asmoaesl/ox 和这里 https://github.com/asmoaesl/rsc 找到.
另一类的解析器, 被称作自底向上的解析器, 可以在这里找到. 来源于: Wesley Norris.
来源: http://blog.jobbole.com/114466/