大话数据结构 —— 3.3 线性表的抽象数据类型

介绍抽象数据类型之前，我们应该了解数据类型的定义是什么?

数据类型:是指一组性质相同的值的集合及定义在此集合上的一些操作的总称。
例如很多编程语言的整型，浮点型，字符型这些指的就是数据类型。

例如在C语言中，按照取值的不同，数据类型可以分为两类:

1. 原子类型:不可以再分解的基本类型，例如整型、浮点型、字符型等。
2. 结构类型:由若干个类型组合而成，是可以再分解的，例如整型数组是由若干整型数据组成的。

抽象的定义:是指抽取出事物具有的普遍性的本质。它要求抽出问题的特征而忽略非本质的细节，是对具体事物的一个概括。抽象是一种思考问题的方式，它隐藏了繁杂的细节。

“抽象”的意义在于数据类型的数学抽象特性。而且，抽象数据类型不仅仅指那些已经定义并实现的数据类型，还可以是计算机编程者在设计软件程序时自己定义的数据类型。

例如一个3D游戏中，要定位角色的位置，那么总会出现x,y,z三个整型数据组合在一起的坐标。我们就可以定义一个point的抽象数据类型，它拥有x,y,z三个整型变量，这样我们就可以方便的对一个角色的位置进行操作。
 

---

所谓抽象数据类型就是把数据类型和相关操作捆绑在一起。

总结下线性表的抽象数据类型定义:

ADT 线性表(List)
Data
线性表的数据对象集合为{a1, a2..,an},每个元素的类型均为DataType。其中，除第一个元素a1外，每一个元素有且只有一个直接前驱元素，除了最后一个元素an外，每一个元素有且只有一个直接后继元素。数据元素之间的关系是一对一的关系。

Operation
InitList(*L):初始化操作，建立一个空的线性表L。
ListEmpty(L):判断线性表是否为空表，若线性表为空，返回true,否则返回false。
ClearList(*L):将线性表清空。
GetElem(L,i,*e):将线性表L中的第i1个位置元素值返回给e。
LocateElem(L,e):在线性表L中查找与给定值e相等的元素，如果查找成功，返回该元素在表中序号表示成功；否则，返回0表示失败。

 

举个例子

比如要实现两个线性表A、B的并集操作，即要使得集合A=A∪B。
解释下“A=A∪B”:说白了，就是把存在集合B中但不存在集合A中的元素插入到A中即可。
其实仔细思考一下，我们只需要循环遍历集合B中的每个元素，判断当前元素是否存在A中，若不存在,则插入A中即可。

综合分析，我们需要运用到几个基本的操作组合即可:

 

void unionL(List *La,list Lb)
{
    int La_len,Lb_len,i;

    ElemType e;
    La_len = ListLength(*La);
    Lb_len = ListLength(Lb);

    for(i=1; i<=Lb_len; i++)
    {
        GetElem(Lb,i,&e);
        if(!LocateElem(*La,e))
        {
            ListInsert(La,++La_len,e);
        }

    }
}