线性表的链式表示和实现
线性表的链式存储结构的特点是用一组任意的存储单元存储线性表的数据元素(这组存储单元可以是连续的,也可以使不连续的)。因此,为了表示每个数据元素ai与其直接后继数据元素ai+1之间的逻辑关系对数据元素ai来说,除了存储其本身的信息之外,还需存储一个指示其直接后继的信息(即直接后继的存储位置)。这两部分信息组成数据元素ai的存储映像,称为结点。
结点包括两个域:其中存储数据元素信息的域称为数据域;存储直接后继存储位置的域称为指针域。指针域中存储的信息称做指针或链。n个结点(ai(1<= i <= n )的存储映像)链结成一个链表,即为线性表(a1,a2,...,an)的链式存储结构。又由于此链表的每个结点中只包含一个指针域,故又称线性链表或单链表。
整个链表的存取必须从头指针开始进行,头指针指示链表中第一个结点(即第一个数据元素的存储映像)的存储位置。同时,由于最后一个数据元素没有直接后继,则线性链表中最后一个结点的指针为“空”(NULL)。
用线性链表表示线性表时,数据元素之间的逻辑关系是由结点中的指针指示的。换句话说,指针为数据元素之间的逻辑关系的映像,则逻辑上相邻的两个数据元素其存储的物理位置不要求紧邻,由此,这种存储结构为非顺序映像或链式映像。在使用链表时,关心的只是它所表示的线性表中数据元素之间的逻辑顺序,而不是每个数据元素在存储器中的实际位置。
/* 线性表的单链表存储结构 */ typedef struct LNode { ElemType data; struct LNode *next; }LNode, *LinkList;
假设L是LinkList型的变量,则L为单链表的头指针,它指向表中第一个结点。若L为“空”(即L=NULL),则所表示的线性表为“空”表,其长度n为“零”。有时,我们在单链表的第一个结点之前附设一个结点,称之为头结点。头结点的数据域可以不存储任何信息,也可存储如线性表的长度等类的附加信息,头结点的指针域存储指向第一个结点的指针(即第一个元素结点的存储位置)。如图a所示,此时,单链表的头指针指向头结点。若线性表为空表,则头结点的指针域为“空”,如图b所示。
在单链表中,任何两个元素的存储位置之间没有固定的联系,然而,每个元素的存储位置都包含在其直接前驱结点的信息之中。假设p是指向线性表中第i个数据元素(结点ai)的指针,则p->next是指向第i+1个数据元素(结点ai+1)的指针。换句话说,若p->data=ai,则p->next->data=ai+1。
由此,在单链表中,取得第i个数据元素必须从头指针出发寻找。单链表是非随机存取的存储结构。
//获取线性表中的元素 Status GetElem_L(LinkList L, int i, ElemType &e) { //L为带头结点的单链表的头指针, 当第i个元素存在时, 其值赋给e并返回OK, 否则返回ERROR int j = 0; struct LNode *p = NULL; p = L->next; j = 1; //初始化, p指向第一个结点, j为计数器 while(p && j < i) { //顺指针向后查找, 直到p指向第i个元素或p为空 p = p->next; ++j; } if (!p || j > i) return ERROR; //第i个元素不存在 e = p->data; //取第i个元素 return OK; }
在单链表中,如何实现“插入”和“删除”操作?
假设我们要在线性表的两个数据元素a和b之间插入一个数据元素x,已知p为其单链表存储结构中指向结点a的指针,如图a所示。
为插入数据元素x,首先要生成一个数据域为x的结点,然后插入在单链表中。根据插入操作的逻辑定义,还需要修改结点a中的指针域,令其指向结点x,而结点x中的指针域应指向结点b,从而实现3个元素a,b,x之间逻辑关系的变化。插入后的单链表如图b所示。假设s为指向结点x的指针,则上述指针修改用语句描述即为:
s->next = p->next; p->next = s;
为了更清晰直观的看结点的插入情况,我们可以参看结点插入的动态演示:http://sjjg.js.zwu.edu.cn/SFXX/sf1/lbcr.html
反之,如图所示在线性表中删除元素b时,为在单链表中实现元素a,b和c之间的逻辑关系的变化,仅需修改结点a中的指针域即可。假设p为指向结点a的指针,则修改指针的语句为:
p->next = p->next->next;
可见,在已知链表中元素插入或删除的确切位置的情况下,在单链表中插入或删除一个结点时,仅需修改指针而不需要移动元素。
//在线性表中插入元素 Status ListInsert_L(LinkList &L, int i, ElemType e) { //在带头结点的单链线性表L中第i个位置之前插入元素e struct LNode *p = L; int j = 0; struct LNode *s = NULL; while (p && j < i - 1) { p = p->next; ++j; } //寻找第i-1个结点 if (!p || j > i - 1) return ERROR; //i小于1或者大于表长 s = (LinkList)malloc(sizeof(LNode)); //生成新结点 s->data = e; s->next = p->next; p->next = s; return OK; }
在线性表中删除元素:
// 删除线性表中的元素 Status ListDelete_L(LinkList &L, int i, ElemType &e) { //在带头结点的单链线性表L中, 删除第i个元素, 并由e返回其值 struct LNode *p = L; int j = 0; struct LNode *q = NULL; while (p->next && j < i - 1) { //寻找第i个结点, 并令p指向其前趋 p = p->next; ++j; } if (!(p->next) || j > i - 1) return ERROR; //删除位置不合法 q = p->next; p->next = q->next; //删除并释放结点 e = q->data; free(q); return OK; }
假设p和q是LinkList型的变量,则执行p=(LinkList)malloc(sizeof(LNode))的作用是由系统生成的一个LNode型的结点,同时将该结点的起始位置赋给指针变量p;反之,执行free(p)的作用是由系统回收一个LNode型的结点,回收后的空间可以备作再次生成结点时用。因此,单链表和顺序存储结构不同,它是一种动态结构。整个可用存储空间可为多个链表共同享用,每个链表占用的空间不需预先分配划定,而是可以由系统应需求即时生成。因此,建立线性表的链式存储结构的过程就是一个动态生成链表的过程。即从“空表”的初始状态起,依次建立各元素结点,并逐个插入链表。
//构造线性链表 void CreateList_L(LinkList &L, int n) { //逆位序输入n个元素的值, 建立带表头结点的单链线性表L printf("input %d integers: \n", n); struct LNode *p = NULL; L = (LinkList)malloc(sizeof(LNode)); L->next = NULL; //先建立一个带头结点的单链表 for (int i = n; i > 0; --i) { p = (LinkList)malloc(sizeof(LNode)); //生成新结点 scanf("%d", &p->data); p->next = L->next; L->next = p; //插入到表头 } }
将两个有序链表并为一个有序链表:
指针的初始状态为:当LA和LB为非空表时,pa和pb分表指向La和Lb表中第一个结点,否则为空;pc指向空表Lc中的头结点。
由于链表的长度为隐含的,则第一个循环执行的条件是pa和pb皆非空,当其中一个为空时,说明有一个表的元素已归并完,则只要将另一个表的剩余段链接在pc所指结点之后即可。
//归并线性表 void MergeList_L(LinkList &La, LinkList &Lb, LinkList &Lc) { //已知单链线性表La和Lb的元素按值非递减排列 //归并La和Lb得到新的单链线性表Lc, Lc的元素也按值非递减排列 struct LNode *pa = NULL; struct LNode *pb = NULL; struct LNode *pc = NULL; pa = La->next; pb = Lb->next; Lc = pc = La; //用La的头结点作为Lc的头结点 while (pa && pb) { if (pa->data <= pb->data) { pc->next = pa; pc = pa; pa = pa->next; } else { pc->next = pb; pc = pb; pb = pb->next; } } pc->next = pa ? pa : pb; //插入剩余段 free(Lb); //释放Lb的头结点 }
单链线性表的实现代码如下:
#include <stdio.h> #include <stdlib.h> /****************************************************************************** /* 数据类型和常量定义 /******************************************************************************/ #define TURE 1 #define FALSE 0 #define OK 1 #define ERROR 0 #define OVERFLOW -2 typedef int Status; typedef int ElemType; /****************************************************************************** /* 数据结构声明 /******************************************************************************/ /* 线性表的单链表存储结构 */ typedef struct LNode { ElemType data; struct LNode *next; }LNode, *LinkList; //获取线性表中的元素 Status GetElem_L(LinkList L, int i, ElemType &e) { //L为带头结点的单链表的头指针, 当第i个元素存在时, 其值赋给e并返回OK, 否则返回ERROR int j = 0; struct LNode *p = NULL; p = L->next; j = 1; //初始化, p指向第一个结点, j为计数器 while(p && j < i) { //顺指针向后查找, 直到p指向第i个元素或p为空 p = p->next; ++j; } if (!p || j > i) return ERROR; //第i个元素不存在 e = p->data; return OK; } //构造线性链表 void CreateList_L(LinkList &L, int n) { //逆位序输入n个元素的值, 建立带表头结点的单链线性表L printf("input %d integers: \n", n); struct LNode *p = NULL; L = (LinkList)malloc(sizeof(LNode)); L->next = NULL; //先建立一个带头结点的单链表 for (int i = n; i > 0; --i) { p = (LinkList)malloc(sizeof(LNode)); //生成新结点 scanf("%d", &p->data); p->next = L->next; L->next = p; //插入到表头 } } //在线性表中插入元素 Status ListInsert_L(LinkList &L, int i, ElemType e) { //在带头结点的单链线性表L中第i个位置之前插入元素e struct LNode *p = L; int j = 0; struct LNode *s = NULL; while (p && j < i - 1) { p = p->next; ++j; } //寻找第i-1个结点 if (!p || j > i - 1) return ERROR; //i小于1或者大于表长 s = (LinkList)malloc(sizeof(LNode)); //生成新结点 s->data = e; s->next = p->next; p->next = s; return OK; } //删除线性表中的元素 Status ListDelete_L(LinkList &L, int i, ElemType &e) { //在带头结点的单链线性表L中, 删除第i个元素, 并由e返回其值 struct LNode *p = L; int j = 0; struct LNode *q = NULL; while (p->next && j < i - 1) { //寻找第i个结点, 并令p指向其前趋 p = p->next; ++j; } if (!(p->next) || j > i - 1) return ERROR; //删除位置不合法 q = p->next; p->next = q->next; //删除并释放结点 e = q->data; free(q); return OK; } //归并线性表 void MergeList_L(LinkList &La, LinkList &Lb, LinkList &Lc) { //已知单链线性表La和Lb的元素按值非递减排列 //归并La和Lb得到新的单链线性表Lc, Lc的元素也按值非递减排列 struct LNode *pa = NULL; struct LNode *pb = NULL; struct LNode *pc = NULL; pa = La->next; pb = Lb->next; Lc = pc = La; //用La的头结点作为Lc的头结点 while (pa && pb) { if (pa->data <= pb->data) { pc->next = pa; pc = pa; pa = pa->next; } else { pc->next = pb; pc = pb; pb = pb->next; } } pc->next = pa ? pa : pb; //插入剩余段 free(Lb); //释放Lb的头结点 } //遍历线性表 Status ListTraverse_L(LinkList &L, Status (*Visit)(ElemType)) { struct LNode *p = L->next; //略过头结点 while (p) { Visit(p->data); p = p->next; } return OK; } //访问线性表中的元素 Status Visit(ElemType e) { printf("%d ", e); return OK; } //测试函数 void main() { LinkList L; ElemType e; CreateList_L(L, 2); //插入元素 if (OK == ListInsert_L(L, 1, 55)) printf("insert succeed!\n"); if (OK == ListInsert_L(L, 0, 56)) printf("insert succeed!\n"); if (OK == ListInsert_L(L, 7, 57)) printf("insert succeed!\n"); if (OK == ListInsert_L(L, 4, 58)) printf("insert succeed!\n"); ListTraverse_L(L, Visit); printf("\n"); //删除元素 if (OK == ListDelete_L(L, 1, e)) printf("delete %d succeed!\n", e); if (OK == ListDelete_L(L, 3, e)) printf("delete %d succeed!\n", e); ListTraverse_L(L, Visit); printf("\n"); //获取元素 if (OK == GetElem_L(L, 2, e)) printf("get elem %d succeed!\n", e); //链表合并 LinkList La, Lb, Lc; CreateList_L(La, 3); CreateList_L(Lb, 4); MergeList_L(La, Lb, Lc); ListTraverse_L(Lc, Visit); }