第十三章动态数据类型.docVIP

第十三章　动态数据类型 　 　 一、指针的定义及操作　　（一）指针类型和指针变量　　在pascal中,指针变量(也称动态变量)存放某个存储单元的地址；也就是说， 指针变量指示某个存储单元。　　指针类型的格式为:＾基类型　　说明: ①一个指针只能指示某一种类型数据的存储单元，这种数据类型就是指针的基类型。基类型可以是除指针、文件外的所有类型。例如，下列说明：　　type pointer=^Integer;　　　　　　　　var p1,p2:pointer;　　定义了两个指针变量p1和p2，这两个指针可以指示一个整型存储单元(即p1、p2 中存放的是某存储单元的地址，而该存储单元恰好能存放一个整型数据)。　　②和其它类型变量一样，也可以在var区直接定义指针型变量。　　例如：var a:^real; b:^boolean;　　又如：type person=record　　　　　　　　　　　name:string[20];　　　　　　　　　　　sex:(male,female);　　　　　　　　　　　age:1..100　　　　　　　　　　end;　　　　　var pts:^person;　　③pascal规定所有类型都必须先定义后使用，但只有在定义指针类型时可以例外，如下列定义是合法的：　　type pointer=^rec;　　　　　　rec=record　　　　　　　　a:integer;　　　　　　　　b:char　　　　　　　end;　　（二）开辟和释放动态存储单元　　1、开辟动态存储单元　　在pascal中，指针变量的值一般是通过系统分配的，开辟一个动态存储单元必须调用标 准过程new。　　new过程的调用的一般格式:　　New(指针变量)　　功能：开辟一个存储单元，此单元能存放的数据的类型正好是指针的基类型，并把此存储单元的地址赋给指针变量。　　说明：①这实际上是给指针变量赋初值的基本方法。例如，设有说明：var p:^Integer;这只定义了P是一个指示整型存储单元的指针变量，但这个单元尚未开辟，或者说P中尚未有值（某存储单元的首地址）。当程序中执行了语句new(p)才给ｐ赋值，即在内存中开辟（分配）一个整型变量存储单元，并把此单元的地址放在变量ｐ中。示意如下图： 　　　　(a)编译时给 　(b)执行New(p)后 　(c)(b)的简略表示　　　p分配空间 　　　生成新单元　　?表示值不定 　新单元的地址为XXXX　　　　　　　　　　内存单元示意图 　　②一个指针变量只能存放一个地址。如再一次执行New(p)语句，将在内存中开辟另外一个新的整型变量存储单元，并把此新单元的地址放在ｐ中，从而丢失了原存储单元的地址。　　③当不再使用ｐ当前所指的存储单元时，可以通过标准过程Dispose释放该存储单元。　　⒉释放动态存储单元　　dispose语句的一般格式:dispose(指针变量)　　功能：释放指针所指向的存储单元，使指针变量的值无定义。　　（三）动态存储单元的引用　　在给一个指针变量赋以某存储单元的地址后，就可以使用这个存储单元。　　引用动态存储单元一般格式：＜指针变量＞＾　　说明：①在用New过程给指针变量开辟了一个它所指向的存储单元后，要使用此存储单元的唯一方法是利用该指针。　　②对动态存储单元所能进行的操作是该类型（指针的基类型）所允许的全部操作。　　例1 设有下列说明:　　var p:^integer; i:integer;　　画出执行下列操作后的内存示意图：　　　　New(p); P^:=4;i:=p^;　　解: 如下图所示。　　　　　　(a)编译时 (b)执行New语句 　　(c)执行P^:=4 　　(d)执行i:=P^　　　　分配存储 　　　　　单元　　　　　　　　　　　　　　　　　内存单元示意图 　　（四）对指针变量的操作　　前已述及，对指针所指向的变量（如Ｐ＾）可以进行指针的基类型所允许的　全部操作。对指针变量本身，除可用New、Dispose过程外，尚允许下列操作：　　⒈具有同一基类型的指针变量之间相互赋值　　例2 设有下列说明与程序段:　　var p1,p2,p3:^integer;　　begin　　 New(P1) ; New(P2); New(P3);　　　P1:=P2; P2:=P3;　　end;　　2、可以给指针变量赋nil值　　nil是PASCAL的关键字，它表示指针的值为空。例如，执行：　　p1:=ni1后，p1的值是有定义的，但p1不指向任何存储单元。　　3、可以对指针变量进行相等或不相等的比较运算