数据结构与算法-抽象数据类型

抽象数据类型概念（百度版）

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

它包括数据对象、数据关系、操作集合

例子：arraylist

ADT
ArrayList{

数据对象：D={a1,a2,a3,....an-1,an}

数据关系：R1={<ai-1,ai>|ai-1,ai∈D,i=2,…,n}

基本操作：

Init():void

操作结果：构造一个空的线性表L

Destroy():boolean

初始条件：线性表已存在

操作结果：销毁线性表L

Clear():boolean

初始条件：线性表已存在

操作结果：置线性表L为空表

isListEmpty():boolean

初始条件：线性表已存在

操作结果：若线性表L为空表，则返回TRUE，否则返回FALSE

Lenght():int

初始条件：线性表已存在

操作结果：返回线性表L数据元素个数

GetElementAt(i):e

初始条件：线性表已存在（1≤i≤ListLenght(L)）

操作结果：返回e代表线性表L中第i个数据元素的值

locatElem(e):int

初始条件：线性表已存在,comare()是数据元素判定函数

操作结果：返回线性表L中第1个与e相同的位序，没有返回0

PreElem(e):e

初始条件：线性表已存在

操作结果：若e是线性表L的数据元素，且不是第一个，则返回它的前驱，否则操作失败

NextElem(e):e

初始条件：线性表已存在

操作结果：若e是线性表L的数据元素，且不是第最后一个，则返回它的后继，否则操作失败

Insert(e):boolean

初始条件：线性表已存在（1≤i≤ListLenght(L)+1）

操作结果：在线性表L中第i个数据元素之前插入新元素e，L长度加1

Delete(e):boolean

初始条件：线性表已存在（1≤i≤ListLenght(L)）

操作结果：删除线性表L中第i个数据元素，用e返回其值，L长度减1


}ADT List