程序设计语言与编译ppt课件_2.6 实现模型.pptxVIP

第二章数据类型;在实现模型中，一个数据用描述符和数据对象来表示。

描述符：描述数据对象的属性数据

数据对象：存储区及其内容

以下实现模型以PASCAL为例。

;第二章数据类型;描述符一般由类型描述和一个指针组成，如

整数类型（integer）：;实数类型（real）：

;指针类型的实现与前面两种类型相似，只是其值为地址。

它指向的匿名数据对象分配在堆上。;第二章数据类型;各成分按顺序存储

每个成分占整数个存储单元

描述符包含：类型名、构造符、若干三元式（选择符名，域类型，指针）

每个域对应一个三元式;typet=record

a:real；

b:integer；

end；

varx:t;

;(1)为每一成分分配整数个可编址的存储单元。

(2)描述符包括：

类型名、构造符、定义域的基类型

下界、上界、成分类型

（每个成分占）单元个数、首地址;(3)地址公式的计算

下标m..n，每个元素占k个存储单元

从首地址b到a[i]之间的位移为

k*(i-m)

则a[i]的地址为：

b+k*(i-m)=b-k*m+k*i=b+k*i

其中，b=b-k*m是编译时能计算出的;typea=array[0..10]ofreal;可变长串的表示：

静态描述符+动态描述符+堆;判定或类型的变量分配的空间应足以容纳需要最大空间的变体的值。

PASCAL的变体记录的表示包括

描述符、数据对象

case表、若干变体描述符;typev= record

a:integer;

caseb:booleanof

true: (c:integer);

false: (d:integer;e:real)

end;;判定或;对幂集可以通过访问的存储空间（例如机器字）来实现。

若在某个集合S中出现基类型的第i个元素，那么与S相关联的字的第i个位置为“1”。

两个集合的联合通过它们相关联的字的“或”操作来实现；

两个集合的交集通过“与”操作来实现。;第二章数据类型;描述符中的类型指向另外的描述符。

在编译时将所有描述符保存在一张表中，以便编译时使用。

有些描述符需要保存到运行阶段，且存储在描述符中的属性可能随运行而变化。

;typet1=array[0..3]ofinteger;

t=record

a:real;

b:t1;

c:integer

end;

;typet4=array[0..5]ofinteger;

t2=array[0..2]oft4;