计算机编译chapt2.ppt

第二章 数据类型 数据类型实质上是对存储器中所存储的数据进行的抽象。它包含了一组值的集合和一组操作。 第一节 引言 1. 数据类型的作用 实现了数据抽象 使程序员从机器的具体特征中解脱出来 提高了编程效率 2. 数据类型的分类 内部类型 自定义类型 第二节 内部类型 一. 内部类型的特点 .反映基本硬件特性 如：定点加 .在语言级,标识共用某些操作的数据 对象的抽象表示 如：整型共用+、-、*、/ 二. 内部类型的优越性 1. 基本表示的不可见性 基本位串对程序员是不可见的。 25+9=34 基本表00001001 结 从而具有优点：不同的程序设计风格，可写性，可读性，可修改性。 2.编译时能检查变量使用的正确性 进行静态类型检查,如非法运算,形实参类型匹配 3. 编译时可以确定无二义的操作 超载(多态)的概念:运算符的意义依赖于操作数的类型。如“+”可以表示整数加或实数加 编译时,可拒绝混合运算,或提供类型转换指令 合理地使用超载,可以提高语言的可读性和可用性 4. 精度控制 可以通过数据类型显式定义数据的精度 第三节 用户定义类型 许多语言允许程序员规定基本数据对象的聚合,乃至聚合的聚合 1. 笛卡尔积 N个集合A1,A2,…,An的笛卡尔积表示为A1?A2?…?An，它是一个集合,其元素为(a1,a2,…,an), ai?Ai 任意正多边形可表示为 integer *real 2. 有限映像 ①定义：从定义域类型DT的值的有限集合，到值域类型RT的值的有限集合的函数称为有限映像。 var a:array[1..50] of char; 表示：整数1至50到字符集的有限映像 ②值域对象通过下标选取。 ③下标越界会出错，动态检查 ④下标可用来选取值域的多个元素 ⑤SNOBOL4的ARRAY构造符并不要求值域集的所有元素是同一类型的 ⑥DT到相应值的特定子集的绑定策略： .编译时绑定 (静态数组) .对象建立时绑定 (执行到分程序时, 动态数组) .对象处理时绑定(对APL，子集范围可变) 3. 序列 ①序列由任意多个数据项组成,这些数据项称为该序列的成分,且类型相同 ②串是序列 ③顺序文件的思想也是来自序列的概念,只能顺序读写 4. 递归 若数据类型T包含属于同一类型T的成分，那么类型T称为递归类型。 ①允许在类型定义中使用被定义类型的名字 ②指针是建立递归数据对象的重要手段 5.判定或 判定或是一个选择对象结构的构造机制,规定在两个不同选择对象之间作出适当的选择。每一选择对象结构称为变体。例如：PASCAL的变体记录; C的联合。 6. 幂集 类型T的元素所有子集的集合，称为幂集,记为Powerset(T),T称为基类型。 应用:每次的操作对象仅仅是某个集合的 子集。 7. 小结 通过PASCAL的类型定义和变量说明，给出用户定义类型显式命名的优点: ①可读性 （选择名字） ②可修改性 （不修改变量说明） ③可分性 （重复使用） ④一致性检查 （参考第8节） 匿名类型 var a: record x:integer; y:array[1..10] of char end; 显式命名 type complex=record radius:real; angle:real end; var c1,c2,c3:complex; 第四节 PASCAL类型结构 一. 非结构类型 1. 内部类型 integer,real,boolean,char 2. 有序类型 每一元素都有唯一的前驱和后继 如:整型,布尔型,字符型 3. 定义新的有序类型的方法 枚举型 其值不能直接读/写 子界型 动态检查范围 例： type day=(sunday,monday,tuseday,wednesday, thursday,friday,saturday); work_day=monday..friday; var class_day:work_day