程序设计语言与编译ppt课件_2.3 用户定义类型.pptxVIP

第二章数据类型;语言允许程序员利用数据聚合机制，定义复杂的数据对象。

语言允许程序员利用数据聚合机制，定义以复杂的数据对象作为基本项的聚合（聚合的聚合）。

structstudent{

charname[48];

intage;

};;第二章数据类型;n个集合A1，A2，…，An的笛卡儿积：

A1×A2×…×An

它是一个集合，其元素是有序的n元式：

（a1，a2，…，an）;例：一个正多边形用一个整数（正多边形边数）和一个实数（边的长度）来描述，那么任意正多边形都是笛卡儿积

integer×real

的一个元素。;笛卡儿积实例：

Pascal语言的记录

C语言的结构

typet=record

a：integer；

b：real；

end；

;第二章数据类型;(1) 定义：从定义域类型DT值的有限集合，到值域类型RT值的有限集合的函数（映射）称为有限映像。

array[1..50]ofchar

整数1至50到字符集的有限映像;(2) 值域对象通过下标变量方式对应

(3) 下标越界会出错，动态检查（C？）

(4) SNOBOL4的数组构造符不要求值域集的元素是同一类型的（异质数组）

(5) DT特定子集（下标）的绑定策略：

编译时绑定（静态数组C）

对象建立时绑定（半动态数组ALGOL）

对象处理时绑定（动态数组APL）

;第二章数据类型;(1)任意多个数据项组成，数据项称为该序列的成分，且类型相同。

(2)串是序列。

(3)顺序文件的思想也是来自序列的概念，只能顺序读写。;第二章数据类型;若数据类型T包含属于同一类型T的成分——递归类型。

(1)在类型定义中使用被定义类型的名字。

(2)不允许直接递归（C++的静态对象成员除外）。

(3)指针是构造递归类型的重要手段。;第二章数据类型;可以选择不同成员的构造机制

PASCAL的变体记录；C的联合。;typedept=(house,sports,drugs,food,liquor);

month=1..12;

Item=record

price:real;

caseavailable:booleanof

true:(amount:integer;where:dept);

false:(month_expected:month)

end;;vari1,i2:item:

……

i1.price:=5.24; i1.available:=true;

i1.amount:=29; i1.where:=liquor;

i2.price:=324.99; i2.available:=false;

i2.month_expect:=8;;判定或;第二章数据类型;类型T的元素所有子集的集合，称为幂集，T称为基类型。

PASCAL语言：集合类型；

若语言缺乏幂集构造方法???可以使用链表或数组来实现。