编译(第1章：编译程序概论)

§1.1 什么是编译程序
可再装配的obj文件: --------------------…… 调用sin子程序 …… 调用printf子程序 …… ----------装 配 / 连 接 程 序
函数子程序库
连 接
Sin 字程序
Printf 子程序 生成exe文件
装配 连 接
Sin() Cos() … Scanf() Printf() …
9
§1.2 编译过程和编译程序的结构概述--编译过程概述
3．词法检查：检查词法错误（主要是检查单词中使用了 非法字符错误） 例如：beg#n @nd ~ ^ 10$ 等等 4．删除空白符、注释等 ☉语法分析 任务：1.对单词（机内符）序列进行分析，组合分解出各 类语法单位（语法短语） 例如：用id代表标识符，则有：
11
§1.2 编译过程和编译程序的结构概述--编译过程概述 ☉语义分析 任务：检查(静态)语义错误，提取语义信息。 其中：语义错误分为静态和动态两种. 静态语义错误：在编译期间可以检查的语义错误 例如：int *px,*py,i; … px+py …; //两个运算对象类型不相容 … a[i] …; //a没有声明 goto loop; //loop没有定义 等等(即独立的观察一条语句看不出的错误) 动态语义错误：在目标程序运行时才可以检查的语 义错误。 例如：sqrt(x) //当x为负数时 1/x //当x为0时 fopen(pf,”r”) //文件如果不存在 语义信息包括：标识符的“种类”、“类型”等信息 12
11．标识符 12．赋值号 13．标识符 14．加号 15．标识符 16．乘号 17．整数 sum := first + count * 10 表达式 id1:=id2+id3*10
赋值语句
10
§1.2 编译过程和编译程序的结构概述--编译过程概述 2．检查形式语法错误 例如：Y=A+B； //PASCAL赋值语句其赋值号应为 := Y:=IF*Y；//PASCAL中用保留字作为标识符来使用 a=b++c； //C中两个子表达式之间没有运算符 if=x+y； //C中条件语句出错 (x+y))*z；//C中括号不配对 等等 说明：关于书中在这里引进的有关语言的“递归规则定义 ” 和“语法树”相关知识，我们暂不讨论。
第1章 编译程序概论
§1.1 什么是编译程序 机器语言 低级 汇编语言 语言
高级： FORTRAN, PASCAL，C，C++等 汇编程序
Assembler
Translator
汇编语言程序
高级语言程序 源程序
Source Program
翻译
编译程序
Compiler
机器语言程序
目标程序
Object Program
（典型）高级语言程序的处理过程：
需预处理的源程序 预处理程序
源程序
编译程序 目标汇编语言程序 汇编程序
obj
函数子程序 可再装配目标文件
可再装配的机器代码 编辑(装配/连接)程序 绝对机器代码
exe
3
§1.1 什么是编译程序 例：C语言需预处理的源程序 /*文件名：example.c*/ #include "stdio.h" #define CHARACTER char main() { CHARACTER ch; ch=getchar(); putcha和编译程序的结构概述 一、编译过程概述 典型编译程序工作过程：
源程序 词法分析 语法分析 语义分析 中间代码生成 代码优化 目标代码生成 目标程序
7
代码生成
§1.2 编译过程和编译程序的结构概述--编译过程概述 ☉词法分析 主要任务：扫描源程序的ASCII码序列，识别出一个个 单词(也称单词符号或（语法）符号)。 具体任务： 1.拼单词:组合分解源程序中的字符,得到符合语言词法 规则的单词。 例如某源程序片断如下： begin var sum，first，count：real；sum:= first+count*10 end． 词法分析将其视为字符（ASCII码）序列：
1
§1.1 什么是编译程序 编译程序: 把源程序翻译(转换)成等价的目标程序的程序
其转换过程可图示如下：
黑盒子 高级语言程序 （源程序） 编译程序 低级语言程序 （目标程序）
说明：除编译程序自身外，多数编译系统还需要一些其他 的辅助程序来帮助完成其最终的翻译(转换)工作。
2
§1.1 什么是编译程序
4
§1.1 什么是编译程序 经预处理程序“CPP.EXE”处理后得如下源程序 DOS命令为：cpp example.c 结果文件名：example.I example.c 1: main() example.c 2: { example.c 3: char ch; example.c 4: ch=((--(((&_streams[0]))->level) >= 0) ? (unsigned char)(++((&_streams[0]))->curp) [-1] : _fgetc ((&_streams[0]))) ; example.c 5: ((++(((&_streams[1]))->level) < 0) ? (unsigned char)((++((&_streams[1])) ->curp)[-1]=((ch))) : _fputc (((ch)),(&_streams[1]))) ; example.c 6: } 5
b e g i n v a r s um, t * 1 0 e n d •
组合分解成单词符号序列：
begin var sum , first count * 10 end •
8
§1.2 编译过程和编译程序的结构概述--编译过程概述 2.翻译单词：将单词加工成含有特征/属性的机内表示 （机内符） 例如：上述源程序片断的词法分析的结果为如下二元组序列： 1．保留字 begin 2．保留字 var 3．标识符 sum 4．逗号 ， 5．标识符 first 6．逗号 ， 7．标识符 count 8．冒号 ： 9．保留字 real 10．分号 ； 11．标识符 sum 12．赋值号 := 13．标识符 first 14．加号 + 15．标识符 count 16．乘号 * 17．整数 10 18．保留字 end 19．界符 ·