定义：数据类型是数据对象和施加在数据对象上操作的聚合体。

定义：抽象数据类卫(ADT)中的数据对象和数据操作的规范声明与数据对象的表示和数据
操作的实现相互分离。

规范声明包括所有函数的名称,它们的参量类型,以及返冂结果的类型,还应包括函数的功能描述,但不涉及内部表示和实现细节。这样的需求界定及为重要,也就足说,抽象数据类型应独立

与实现