静态链表

静态链表

静态链表（static linked list）是用数组来表示单链表，用数组元素的下标来模拟单链表的指针。这种描述方法称为游标（cursor）实现法。

静态链表，也是线性存储结构的一种，它兼顾了顺序表和链表的优点于一身，可以看做是顺序表和链表的升级版。

在链表的指针实现中有两个重要的特点：

1. 数据存储在一组结构体中，每一个结构体包含有数据以及指向下一个结构体的指针；
2. 一个新的结构体可以通过调用 malloc() 函数从系统全局内存得到，并可通过调用 free() 函数而被释放。

游标法必须能够模仿实现这两个特性。满足条件1的逻辑方法是要有一个全局的结构体数组。对于该数组中的任何单元，其数组下标可以用来代表一个地址。

以上可见，静态链表存储数据元素也需要自定义数据类型，至少需要包含以下 2 部分信息：

• 数据域：用于存储数据元素的值；
• 游标：其实就是数组下标，表示直接后继元素所在数组中的位置；

typedef int elemType;
typedef struct SNode
{
    elemType data;//数据域
    int next;//游标
}List;

为了模拟条件2，静态链表中，除了数据本身通过游标组成的链表外，还需要有一条连接各个空闲位置的链表，称为备用链表。备用链表的作用是回收数组中未使用或之前使用过（目前未使用）的存储空间，留待后期使用。

静态链表使用数组申请的物理空间中，存有两个链表，一条连接数据，另一条连接数组中未使用的空间。通常，备用链表的表头位于数组下标为 0（a[0]） 的位置，而数据链表的表头位于数组下标为 1（a[1]）的位置。

备用链表上连接的依次是 a[0]、a[2] 和 a[4]，而数据链表上连接的依次是 a[1]、a[3] 和 a[5]。

当向静态链表中添加数据时，需提前从备用链表中摘除节点，以供新数据使用。备用链表摘除节点最简单的方法是摘除 a[0] 的直接后继节点；同样，向备用链表中添加空闲节点也是添加作为 a[0] 新的直接后继节点。因为 a[0] 是备用链表的第一个节点，我们知道它的位置，操作它的直接后继节点相对容易，无需遍历备用链表，耗费的时间复杂度为 O(1)。

游标实现 malloc 和 free 方法。

#define MaxSize 10

struct List SList[MaxSize];

//向数据链表分配结点空间
static int CursorAlloc(List * sList)
{
	int position;
	position = sList[0].next;
	sList[0].next = sList[position].next;
	//position = 0表示没有可用空间
	return position;
}
//释放数据链表结点空间
static void CursorFree(List *sList, int position)
{
	sList[position].next = sList[0].next;
	sList[0].next = position;
}

静态链表的创建