文档介绍：编 译 原 理 （第二版）
郑 洪 编著
第2章 程 序 语 言
高 级 语 言
1
中 间 语 言
2
2
高 级 语 言
高级语言的分类
1．过程式语言
过程式语言以语句为核心，命令驱动。过程式语言设计的程序以语句为最小执行单位，程序由一系列的语句组成。
这种语言设计的程序通常具有如下形式：
语句1;
语句2;
…
语句n;
2．面向对象语言
面向对象语言（Object-Oriented Language）是如今使用最广、最为重要的语言。它的主要特征是支持封装性、继承性和多态性；把复杂的特性和用于这些数据的操作装在一起，构成对象；对简单对象进行扩充，继承简单对象的特性，从而设计出复杂的对象。
3
3．应用式语言
将已知的函数作为新开发函数的参数，利用函数的嵌套与递归使得程序的功能由简单变为复杂，最终满足程序设计的要求。
这种语言的结构形式是：
函数n（…函数2（函数1（数据））…）
4．基于规则的语言
基于规则的语言以判断—选择语句为基本执行单位。其程序的执行过程是：检查一定的条件，当它满足时选择适当的操作。最有代表性的基于规则语言是PROLOG。
其程序结构形式为：
条件1→动作1
条件2→动作2
…
条件n→动作n
4
数据类型及其操作
（1）数值数据：数值数据包括整数、实数、复数以及这些类型的双长（或多倍长）精度数。对数值类型的数据可描述为算术运算集合。
（2）逻辑数据：很多语言有专门用于布尔代数的数据类型，即逻辑型数据类型。有的语言甚至还有位串型数据。对逻辑数据可实施逻辑运算（and、or、not等）。
（3）字符数据：有些语言可以处理字符或字符串。字符数据类型用来承载字符或字符串。对字符数据的操作有很多，包括判断、转换以及对字符串的各种加工。
（4）指针类型：指针类型的数据不是用来描述客观事物的，它的作用是为运算提供数据的地址。
5
常见的结构型数据类型有以下几种：
1．数组
一个数组是由同一类型数据组成的有序的集合。数组下标与数组元素的存储地址密切相关，二者呈线性关系。因此数组元素也称为下标变量。N维数组的每个元素有N个下标。由N个下标决定数组元素的存储位置。
2．记录
记录是由不同类型数据所组成的集合。记录结构中每个元素所占有的存储空间可能互不相同，记录的元素称为分量。
例如，C语言采用下面的形式定义记录：
struct student{
char name[8];
int studclass;
float math;
}
6
结构分量是通过名字而不是像数组元素那样通过下标访问的。结构分量的名字是所谓复合名字，例如“”。结构分量的使用与基本数据结构定义的变量相同，如下述3个赋值语句：
="LIMING"
=3
=
每个分量的存储地址由记录结构的首地址与相应分量的偏移地址相加而成。记录结构的每个分量（域）所占用的存储字节数称为该域的长度。通过累加分量的长度可计算出各分量的偏移量。
，，，可计算三者对应的偏移量为0、8、10，若student记录结构在运行时被分配一个基址a，则其各分量的地址为：
:a
:a+8
:a+10
7
3．字符串、表格和队列
不同的语言根据不同的需要会拓展出一些实用数据类型。
有越来越多的语言把字符串作为一种基本的数据类型，串的长度不加限制。这种数据类型给各种处理文字语言的程序带来很多便利。
语句与表达式
1．语句
每当用户创建了一个名称，就要用说明语句来说明这个名称所指对象的意义，是一种变量、一种操作、还是一个子程序。而执行性语句就是描述计算机操作的，其还可分为赋值语句、控制语句、输入/输出语句。
（1）说明语句
说明语句的作用在于定义名字的属性，即赋予名字意义，如：
int x; 'C语言定义整型变量
8
（2）赋值语句：赋值语句在不同的程序设计语言中可能有不同的语句形式，但实现功能基本相同。
例如：
X：=Y 'PASCAL赋值语句
（3）控制语句：计算机程序之所以能够实现各种强大的功能，原因是