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

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

抽象数据类型(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