都使用相同的基本编译技术!!
任务:
从左到右读入源程序的每个字符,对构成源程序的字符流进行扫描和分解,从而识别出一个个单词(也叫单词符号或符号)。
单词是具有独立意义的最小语法单位。
如:标识符、保留字(关键字或基本字)、算符、界符、常数等。
例. 某源程序片断如下:
begin
var sum , first , count : real ;
sum := first + count * 10
end.
任务:
语法:由程序语言基本符号组成程序中各个语法成分的一组规则。
表达式的表示:
1)任何标识符是表达式。
2)任何常数(整常数、实常数)是表达式。
3)若表达式1和表达式2都是表达式,那么
表达式1+表达式2
表达式1*表达式2
(表达式1)
都是表达式。
语句的表示:
1)标识符:=表达式 是语句
2)while (表达式) do 语句 是语句
3)if(表达式) then 语句 else 语句 是语句
任务:审查源程序有无语义错误,为代码生成阶段收集类型信息。
主要功能:类型检查、报语义错误、类型转换等
语义:是程序设计语言中按语法规则构成的各个语法成分的意义。
任务:
在语法和语义分析之后,将源程序变成一种“内部表示形式”。
中间代码:一种结构简单、含义明确的记号系统。
特征:
1)结构简单、含义明确
2)复杂性介于源语言和机器语言之间
3)容易生成;
4)容易将它翻译成目标代码。
四元式:
(运算符,运算对象1,运算对象2,结果)
任务:对中间代码进行变换或改造,使之更为高效(时间、空间)。
任务:
把中间代码变换成特定机器上的绝对指令代码或可重定位的机器指令代码或汇编指令代码。
特点:
1)与硬件系统结构和指令含义有关,涉及到硬件系统功能部件的运用、机器指令的选择、各种数据类型变量的存储空间分配以及寄存器和后缓寄存器的调度等。
2)高级语言低级语言转换是基于语义的等价变换,不是结构上的变换。
任务:用于保存源程序的各种信息。因为上述各阶段工作均需要查找、更新、构造表格。
任务:报告源程序中错误的性质、地点,将错误所造成的影响限制在尽可能小的范围。有些编译程序还可以自动纠错。
一个程序是正确的,包括两层含义:
1)书写正确(合乎语法规则)
2)含义正确(合乎语义规则)
注意:
多数实用的编译程序都采用以上几个阶段的工作过程。
有些编译程序没有“中间代码生成”和“代码优化”。
前端:主要依赖于源语言而与目标机器无关的编译阶段。如:词法分析、语法分析、语义分析、中间代码生成、部分代码优化、与前端有关的出错处理工作和表格管理工作。
后端:依赖于目标机而一般不依赖于源语言,只与中间代码有关的编译阶段。如:目标代码生成,以及相关出错处理和表格处理。
遍(趟):对源程序或其等价的中间语言程序从头到尾扫视并完成规定任务的过程。每一遍扫视可完成编译的一个阶段或多个阶段工作。
接受高级语言程序,并立即运行这个源程序。
例如:BASIC语言解释程序,LISP解释程序,SQL解释程序,Java语言中的BYTECODE解释程序
优点:可移植性较好。
缺点:(1)速度慢
(2)空间开销大
有些语言既有编译程序,又有解释程序。如java
1 语言的结构化编辑器
正文编辑、修改
对源程序正文进行分析(检查用户输入是否正确、自动提供关键字、检查括号的匹配情况)
2 语言程序的调试工具
了解程序执行的结果与编程人员的意图是否一致
允许用户一行一行跟踪程序,查看变量值的变化
3 程序格式化工具
分析源程序,并使程序结构变得清晰可读(如缩排)
4 语言程序测试工具
静态分析器:不运行源程序,就可以发现其中潜藏的错误或异常。
动态分析器:对源程序进行分析,把记录和显示程序执行轨迹的语句或函数插入源程序,将运行结果与期望结果进行比较和分析。
5 程序理解工具
对程序进行分析,确定模块间的调用关系,并画出控制流程图。
6 高级语言之间的转换工具
将一种高级语言程序转换成另一种高级语言程序
由一系列的语句组成,每个语句的执行引起若干存储单元中值的改变。
如:C,Fortran,Pascal
从前面已有的函数出发构造出更复杂的函数。
Function n(…Function 2(Function 1(data))…)
如:ML,LISP
检查一定的使能条件,当它满足时,则执行适当的动作。
条件---->动作
如:PROLOG
提供抽象数据类型,支持封装性、继承性和多态性。
如:Ada,C++,Java
答案:ACAC
答案:BD
答案:BDAC
答案:
(1)词法分析、语法分析、语义分析、中间代码生成、代码优化、目标代码生成。
(2)表格管理
(3)出错处理
答案:CB
答案:BCE
答案:(1)表格处理和出错处理
(2)中间代码生成(3) 代码优化
(4)单词 (5)语法错误
答案:ABD
答案:ABCF
因为代码优化是为了提高目标程序的质量,不是必须的,没有优化源程序一样能够转化为目标代码。而中间代码生成是为代码优化服务的,没有代码优化的编译器可以直接生成目标代码。
答案:BCD
答案:(1)B E (2) D (3) B
12、判断:“含有代码优化的编译器的执行效率高”。
答案:错。含有代码优化的编译器,其优化是指对生成的目标代码进行了优化,而不是编译器本身得到了优化,所以,它提高的是目标代码的执行效率,而不是编译器本身的执行效率。
13. 判断:“解释方式与编译方式的区别在于解释程序对源程序没有真正进行翻译”。
答案:错。编译方式和解释方式实际上都进行的翻译,只是编译相当于笔译,而解释相当于口译。 解释方式下,不将于源程序彻底翻译成目标代码,而是每读入一条语句,将其翻译成中间代码,解释其含义并执行,然后再读入下一条语句,再翻译执行。 编译方式和解释方式的根本区别在于“是否生成了目标代码”。