查看“︁抽象数据类型”︁的源代码

[[分类:数据结构]]
[[分类:数据类型]]
{{InfoBox
|name=抽象数据类型
|eng_name=abstract data type
|aliases=ADT
}}
{{InfoBox
|name=接口
|eng_name=interface
}}
{{InfoBox
|name=约定
|eng_name=interface
}}
'''抽象数据类型'''('''abstract data type''', '''ADT''')是描述[[数据结构]]的'''逻辑结构'''的数学模型。
ADT 描述数据对象集合的逻辑上的形式、对数据的逻辑上的操作，并且允许对数据和操作进行逻辑特性的约束，可以统称为逻辑结构或数学特性。
同时， ADT 与数据结构的'''物理结构'''和相关数据对象与操作的'''实现细节'''无关。
可以广义地认为，一个 ADT 定义了一类[[代数系统]]；但这一代数系统的实例集合由数据结构的物理结构确定。

抽象数据类型中定义了一组操作，这一部分与编程语言通常被称为'''[[接口]]'''('''interface''')的[[数据类型]]在概念上基本等同。
但是抽象数据类型除操作外还约束了操作的逻辑特性，有的语言中将其称为约定(contract)。


{{数据结构}}