线性表的抽象数据类型，与实现无关：

ADT List{

  数据对象：D={ai|ai∈ElemSet,i=1,2,……,n,n≥0}

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

  基本操作：

InitList(&L)

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

DestroyList(&L)

  初始条件：线性表L已存在。

 操作结果：销毁线性表L。

ClearList(&L)

  初始条件：线性表L已存在。

  操作结果：将L重置为空表（清空)。

ListEmpty(L)

  初始条件：线性表L已存在。

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

ListLength(L)

  初始条件：线性表L已存在。

  操作结果：返回L中数据元素个数。

GetElem(L,i,&e)

  初始条件：线性表L已存在,1≤i≤ListLength(L)。

  操作结果：用e返回L中第i数据个元素的值。

LocateElem(L,e,compare())

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

  操作结果：返回L中第1个与e满足关系compare( )的数据元素的位序。若这样的数据元素不存在，则返回值为0。

PriorElem(L,cur_e,&pre_e)

  初始条件：线性表L已存在。

操作结果：若cur_e是L的数据元素，且不是第一个，则用pre_e返回它的前驱，否则操作失败，pre_e无定义

NextElem(L,cur_e,&next_e)

  初始条件：线性表L已存在。

  操作结果：若cur_e是L的数据元素，且不是最后一个，则用next_e返回它的后继，否则操作失败，next_e无定义。

ListInsert(&L,i,e)

  初始条件：线性表L已存在,1≤i≤ListLength(L)+1。

  操作结果：在L中第i个位置之前插入新的数据元素e，L的长度加1。

ListDelete(&L,i,&e)

  初始条件：线性表L已存在且非空,1≤i≤ListLength(L)。

  操作结果：删除L的第i个数据元素，并用e返回其值，L的长度减1。

ListTraverse(L,visit())

初始条件：线性表L已存在。

操作结果：依次对L的每个数据元素调用函数visit()。一旦visit()失败，则操作失败。

}ADT List