编译原理

Sat, 20 Jun 2026 01:31:43 +0800

编译原理：从源代码到可执行程序

高级语言中的变量、函数、结构体、接口、模块等概念更接近抽象语义；机器实际执行的是指令、寄存器操作、内存访问和跳转。编译器的核心任务是将高级语言程序转换为机器可执行的目标形式，并在这个过程中完成语法约束、类型约束、控制流约束、内存布局和目标平台约束的处理。

典型编译流程可以抽象为：

TEXT

源代码
 -> 词法分析：字符流 -> Token 流
 -> 语法分析：Token 流 -> AST
 -> 语义分析：AST -> 带类型、作用域、绑定关系的 AST
 -> 中间代码生成：AST -> IR
 -> 代码优化：IR -> 优化后的 IR
 -> 目标代码生成：IR -> 汇编 / 机器指令
 -> 汇编与链接：目标文件 -> 可执行文件

这条流水线的关键不是“把文本翻译成另一段文本”，而是不断把程序转换为更适合下一阶段处理的结构化表示。Token 适合语法分析，AST 适合表达源代码结构，IR 适合数据流和控制流优化，机器指令适合在具体硬件上执行。

编译过程概览

以一段简单的 Go 代码为例：

package main

func add(a, b int) int {
 return a + b
}

在编译器内部，它会经历类似下面的结构转换：

Compile on 我的技术博客

编译原理

编译原理：从源代码到可执行程序

编译过程概览