抽象數據類型概念（百度版） 抽象數據類型(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