1. 静态链表
结构体中的成员可以是各种类型的指针变量，当一个结构体中有一个或多个成员的基类型是本结构体类型时，则称这种结构体为“引用自身的结构体”。如：
struct link
{
char ch;
struct link *p;
} a;
p是一个可以指向 struct link 类型变量的指针成员。因此，a.p = &a 是合法的表达式，由此构成的存储结构如图1所示。
图1 引用自身的结构体
例1 一个简单的链表
1 #include <stdio.h>
2
3 struct node
4 {
5 int data;
6 struct node *next;
7 };
8 typedef struct node NODETYPE;
9
10 int main()
11 {
12 //a是头结点，b是中间节点，c是尾节点
13 //h是基类型为NODETYPE的指针，指向头结点
14 //p是基类型为NODETYPE的指针，用于遍历链表
15 NODETYPE a, b, c, *h, *p;
16
17 //给变量中的data赋值
18 a.data = 10;
19 b.data = 20;
20 c.data = 30;
21
22 //将节点相连
23 h = &a;
24 a.next = &b;
25 b.next = &c;
26 c.next = ‘\0‘;
27
28 //移动p，使之依次指向a、b、c,输出它们data中的值
29 p = h;
30 while (p)
31 {
32 printf("%d\t", p->data);
33 p = p->next; //p顺序后移
34 }
35 printf("\n");
36 return 0;
37 }
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) 值，标志着链表的结束。上述链表的每个节点都只有一个指针域，每个指针域存放着下一个节点的地址。因此，这种链表只能从当前节点找到后继节点，故称为“单向链表”。