类属抽象数据类型 语言固有的基本数据类型经常允许程序员声明一类新的数据 对象的基本类型,然后规约数据对象的几个属性。这是简单 的多态形式。 如, PASCAL提供了基本的数组类型,但也留下了用户可以 进一步定义的部分,如下标范围。 Type Vect =array [110] of real 图84是一个整数栈的规约。如要实数栈,则需另外规约。 类属抽象类型定义允许类型的一个属性被分离地规约,从而 给出一个基类型定义。使用该属性为参数,进而可从同一个 基类型导出几个特殊类型。 它们的结构和基类型类似,但参数可影响抽象类型定义中操 作的定义以及类型本身的定义。参数可以是类型名或值。图 85是类属栈类型的例子。•类属抽象数据类型 语言固有的基本数据类型经常允许程序员声明一类新的数据 对象的基本类型，然后规约数据对象的几个属性。这是简单 的多态形式。 如，PASCAL提供了基本的数组类型，但也留下了用户可以 进一步定义的部分，如下标范围。 Type Vect = array [1..10] of real; 图8.4是一个整数栈的规约。如要实数栈，则需另外规约。 类属抽象类型定义允许类型的一个属性被分离地规约，从而 给出一个基类型定义。使用该属性为参数，进而可从同一个 基类型导出几个特殊类型。 它们的结构和基类型类似，但参数可影响抽象类型定义中操 作的定义以及类型本身的定义。参数可以是类型名或值。图 8.5是类属栈类型的例子