抽象数据类型概念（百度版）
抽象数据类型(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