抽象数据类型

抽象数据类型是指一个数学模型以及定义在此数学模型上的一组操作，简称ADT,(Abstract Data Type)。

ADT与具体的物理存储无关，不论ADT内部如何变化，都不影响外部使用。

抽象数据类型可以使我们更容易描述现实世界。

数据结构的本质就是抽象数据类型的物理实现。

抽象数据类型的定义格式：

ADT<抽象数据类型名>

{

数据对象D:<数据对象的定义>

数据关系R:<数据关系的定义>

基本操作P:<基本操作的定义>

}ADT<抽象数据类型名>

D是数据对象，R是D上的关系集，P是对D的基本操作集。

抽象数据类型的定义解决的是一个数据结构的逻辑结构的问题，也就是说抽象数据类型的定义表示了一个数据结构的逻辑结构。

基本操作的定义格式：

基本操作名(参数表)

初始条件：<初始条件描述>

操作结果：<操作结果描述>

抽象数据类型抽象出了数据结构本质的特征，所能完成的功能以及它和外部用户的接口。同时，将实体的外部特性和其内部实现细节分离，并且对外部用户隐藏其内部实现细节。