1. 静态链表

结构体中的成员可以是各种类型的指针变量，当一个结构体中有一个或多个成员的基类型是本结构体类型时，则称这种结构体为“引用自身的结构体”。如：

struct link

{

char ch;

struct link *p;

} a;

p是一个可以指向 struct link 类型变量的指针成员。因此，a.p = &a 是合法的表达式，由此构成的存储结构如图1所示。

图1 引用自身的结构体

例1 一个简单的链表

#include

struct node

{

int data;

struct node *next;

};

typedef struct node NODETYPE;

int main()

{

//a是头结点，b是中间节点，c是尾节点

//h是基类型为NODETYPE的指针，指向头结点

//p是基类型为NODETYPE的指针，用于遍历链表

NODETYPE a, b, c, *h, *p;

//给变量中的data赋值

a.data = 10;

b.data = 20;

c.data = 30;

//将节点相连

h = &a;

a.next = &b;

b.next = &c;

c.next = '\0';

//移动p，使之依次指向a、b、c,输出它们data中的值

p = h;

while (p)

{

printf("%d\t", p->data);

p = p->next; //p顺序后移

}

printf("\n");

return 0;

}

STRUCT_LIST

STRUCT_LIST

以上程序中所定义的结构体类型 NODETYPE 共有两个成员：成员 data 是整型；成员 next 是指针类型，其基类型是 NODETYPE 类型。

a、b、c 是 NODETYPE 结构体类型变量，h 和 p 是指向 NODETYPE 结构体类型的指针变量。执行程序后，形成如图2所示的存储结构体：指针 h 中存放变量 a 的地址，变量 a 的成员 a.next 中存放变量 b 的地址……，最后一个变量 c 的成员 c.next 置为 '\0'(NULL)。这样就把同一类型的结构体变量 a、b、c “链接”到一起，形成所谓的“链表”，变量 a、b、c 称为链表的节点。

在此例中，链接到一起的每个节点(结构体变量 a、b、c)都是通过定义，由系统在内存中开辟了固定的、不一定连续的存储单元。在程序执行过程中，不可能人为的再产生新的存储单元，也不能认为的使已开辟的存储单元消失。这种链表成为“静态链表”。

图2 链表存储结构示意图

2.动态链表的概念

到目前为止，凡是遇到处理“批量”数据时，我们都是利用数组来存储。定义数组必须(显式的或隐含的)指明元素的个数，从而也就限定了一个数组中存放的数据量。在实际应用中，一个程序在每次运行时要处理的数据的数目通常并不确定。如果数组定义的小了，就没有足够的空间存放数据，定义大了又浪费存储空间。

对于这种情况，如果能在程序执行过程中，根据需要随时开辟存储空间，不需要时再随时释放，就能比较合理的使用存储空间。C 语言的动态存储分配提供了这种可能性。每次动态分配的存储单元，其地址不一定是连续的，而所需处理的批量数据往往是一个整体，各数据之间存在着接序关系。链表的每个节点中，除了要有存放数据本身的数据域外，至少还需要有一个指针域，用它来存放下一个节点元素的地址，以便通过这些指针把各节点连接起来(如图3)。由于链表每个存储单元都由动态存储分配获得，故称这样的链表为“动态链表”。

需要强调的是：动态链表中，每个节点没有自己的名字，只能靠指针维系节点之间的接序关系。一旦某个节点的指针“断开”，后续节点就再也无法找寻。

图3 带有头结点的单向链表

每个链表都用一个“头指针”变量来指向链表的开始，如图3中的 head。也就是说，在 head 中存放了链表的第一个节点的地址。在这个链表中，我们设置了一个“头结点”，这个节点的数据域中不存放数据(根据需要也可以不设头结点)。链表最后一个节点的指针域不存放地址，置为 '\0'(NULL) 值，标志着链表的结束。上述链表的每个节点都只有一个指针域，每个指针域存放着下一个节点的地址。因此，这种链表只能从当前节点找到后继节点，故称为“单向链表”。