抽象数据类型
| 抽象数据类型 | |
|---|---|
| 术语名称 | 抽象数据类型 |
| 英语名称 | abstract data type |
| 别名 | ADT |
| 接口 | |
|---|---|
| 术语名称 | 接口 |
| 英语名称 | interface |
| 约定 | |
|---|---|
| 术语名称 | 约定 |
| 英语名称 | interface |
抽象数据类型(abstract data type, ADT)是描述数据结构的逻辑结构的数学模型。 ADT 描述数据对象集合的逻辑上的形式、对数据的逻辑上的操作，并且允许对数据和操作进行逻辑特性的约束，可以统称为逻辑结构或数学特性。 同时， ADT 与数据结构的物理结构和相关数据对象与操作的实现细节无关。 可以广义地认为，一个 ADT 定义了一类代数系统；但这一代数系统的实例集合由数据结构的物理结构确定。
抽象数据类型中定义了一组操作，这一部分与编程语言通常被称为接口(interface)的概念是基本等同的。 但是抽象数据类型除操作外还约束了操作的逻辑特性，有的语言中将其称为约定(contract)。