以上讨论的单链表的结点中只有一个指向其后继结点的指针域next，因此若已知某结点的指针为p，其后继结点的指针则为p->next ，而找其前驱则只能从该链表的头指针开始，顺着各结点的next 域进行，也就是说找后继的时间性能是O(1)，找前驱的时间性能是O(n)，如果也希望找前驱的时间性能达到O(1)，则只能付出空间的代价：每个结点再加一个指向前驱的指针域，结点的结构为如图2.18 所示，用这种结点组成的链表称为双向链表。
双向链表结点的定义如下：
1 typedef struct dlnode
2 {
3 datatype data;
4 struct dlnode *prior,*next;
5 }DLNode,*DLinkList; 和单链表类似，双向链表通常也是用头指针标识，也可以带头结点和做成循环结构，图2.19 是带头结点的双向循环链表示意图。显然通过某结点的指针p 即可以直接得到它的后继结点的指针p->next，也可以直接得到它的前驱结点的的指针p->prior。这样在有些操作中需要找前驱时，则无需再用循环。从下面的插入删除运算中可以看到这一点。
设p 指向双向循环链表中的某一结点，即p 中是该结点的指针，则p->prior->next 表示的是*p 结点之前驱结点的后继结点的指针，即与p 相等；类似，p->next->prior 表示的是*p 结点之后继结点的前驱结点的指针，也与p 相等，所以有以下等式：
双向链表中结点的插入：设p 指向双向链表中某结点，s 指向待插入的值为x 的新结点，将*s 插入到*p 的前面，插入时需要更改两个指针变量。插入操作时，顺序很重要，千万不能写反了。插入示意图如图2.20 所示。
操作如下：
1 s->prior=p->prior; //把p->prior赋值给s的前驱，如图① 2 p->prior->next=s; //把s赋值给p->prior的后继，如图② 3 s->next=p; //把p赋值给s的后继，如图③ 4 p->prior=s; //把s赋值给p的前驱，如图④
指针操作的顺序不是唯一的，但也不是任意的，操作①必须要放到操作④的前面完成，否则*p的前驱结点的指针就丢掉了。读者把每条指针操作的涵义搞清楚，就不难理解了。
双向链表中结点的删除：
设p 指向双向链表中某结点，删除*p。
操作示意图如图2.21 所示。操作如下：
1 p->prior->next=p->next; //把p->next赋值给p->prior的后继，如图中① 2 p->next->prior=p->prior; //把p->prior赋值给p->next的前驱，如图中② 3 free(p); //释放结点
