1.3　抽象数据类型的表示与实现

视频二维码（扫码观看）

抽象数据类型（Abstract Data Type，简称ADT）：是指一个数学模型以及定义在该模型上的一组操作。

ADT的定义仅取决于它的一组逻辑特性，与其在计算机内的表示和实现无关。因此，不论ADT的内部结构如何变化，只要其数学特性不变，都不影响其外部使用。

ADT的形式化定义是三元组：ADT＝（D，S，P），其中，D是数据对象，S是D上的关系集，P是对D的基本操作集。

ADT的一般定义形式是：

其中数据对象和数据关系的定义用伪码描述。

基本操作的定义格式是：

其中，初始条件描述的是操作执行之前数据结构和参数应满足的条件；若不满足，则操作失败，返回相应的出错信息；操作结果描述的是操作正常完成之后，数据结构的变化状况和应返回的结果；若初始条件为空，则省略之。