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