双向链表

以上讨论的单链表的结点中只有一个指向其后继结点的指针域next，因此若已知某结点的指针为p，其后继结点的指针则为p->next ，而找其前驱则只能从该链表的头指针开始，顺着各结点的next 域进行，也就是说找后继的时间性能是O(1)，找前驱的时间性能是O(n)，如果也希望找前驱的时间性能达到O(1)，则只能付出空间的代价：每个结点再加一个指向前驱的指针域，结点的结构为如图2.18 所示，用这种结点组成的链表称为双向链表。

双向链表结点的定义如下：
typedef struct dlnode
{ datatype data;
struct dlnode *prior,*next;
}DLNode,*DLinkList;

和单链表类似，双向链表通常也是用头指针标识，也可以带头结点和做成循环结构，图2.19 是带头结点的双向循环链表示意图。显然通过某结点的指针p 即可以直接得到它的后继结点的指针p->next，也可以直接得到它的前驱结点的的指针p->prior。这样在有些操作中需要找前驱时，则勿需再用循环。从下面的插入删除运算中可以看到这一点。

设p 指向双向循环链表中的某一结点，即p 中是该结点的指针，则p->prior->next 表示的是*p 结点之前驱结点的后继结点的指针，即与p 相等；类似，p->next->prior 表示的是*p 结点之后继结点的前驱结点的指针，也与p 相等，所以有以下等式：

p->prior->next = p = p->next->prior

双向链表中结点的插入：设p 指向双向链表中某结点，s 指向待插入的值为x 的新结点，将*s 插入到*p 的前面，插入示意图如图2.20 所示。操作如下：
1 s->prior=p->prior;
2 p->prior->next=s;
3 s->next=p;
4 p->prior=s;
指针操作的顺序不是唯一的，但也不是任意的，操作①必须要放到操作④的前面完成，否则*p的前驱结点的指针就丢掉了。读者把每条指针操作的涵义搞清楚，就不难理解了。

双向链表中结点的删除：
设p 指向双向链表中某结点，删除*p。
操作示意图如图2.21 所示。操作如下：
①p->prior->next=p->next;
②p->next->prior=p->prior;
free(p);