线性表的定义

1、线性表的逻辑定义

线性表是由n (n≥0) 个数据元素（结点）组成的有限序列，是最常用且最简单的一种数据结构。     

A.   数据元素的个数n定义为表的长度（n=0时称为空表）。

B.    将非空的线性表（n＞0）记作：（a1，a2，…，an），相邻数据元素之间存在序偶关系。

C.    数据元素ai（1≤i≤n）只是个抽象符号，其具体含义在不同情况下可以不同。

2、线性表的逻辑结构特征

对于非空的线性表:

A.   有且仅有一个“开始结点”a₁，没有直接前趋，有且仅有一个直接后继a₂

B.    有且仅有一个“终结结点”a_n，没有直接后继，有且仅有一个直接前趋a_n-1；

C.    其余的内部结点a_i（2≤i≤n-1）都有且仅有一个直接前趋a_i-1和一个a_i+1。

3、线性表抽象数据类型

ADTList{

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

数据关系： R1={<a_i-1,a_i> |a_i-1 ,a_i  ∈ D, i = 1,2...n}

基本操作：

InitList(&L)   

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

DestoryList(&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数据元素的值

PutElem(L, i, e)  

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

操作结果：将L中第i个元素赋值为e

LocateElem(L, e, compare())

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

操作结果：返回L中第一个与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()失败，则操作失败

 

注意：在上述操作中，将会改变L的操作中的形参L设为引用类型，采用引用传递方式。若采用值传递方式，则在函数调用过程中需要创建和撤销临时对象，降低函数性能。

}ADTList