带哨兵节点的链_关于链表中哨兵结点问题的深入剖析

最近正在学习UC Berkeley的CS61B这门课，主要是采用Java语言去实现一些数据结构以及运用数据结构去做一些project。这门课不仅告诉你这个东西怎么做，而且一步一步探寻为什么要这样做以及为什么会有这些功能。我们有时在接触某段代码或功能的实现时，可能直接就看到了它最终的面貌，而不知道如何一步步演化而来，其实每一个功能的添加或优化都是对应一个问题的解决。下面就这门课中关于链表中哨兵结点的相关问题进行总结。

什么是哨兵结点

哨兵顾名思义有巡逻、检查的功能，在我们程序中通过增加哨兵结点往往能够简化边界条件，从而防止对特殊条件的判断，使代码更为简便优雅，在链表中应用最为典型。

单链表中的哨兵结点

首先讨论哨兵结点在单链表中的运用，如果不加哨兵结点在进行头尾删除和插入时需要进行特殊判断。比如在尾部插入结点的代码如下：

void addLast(int x) {

if (first == null) {

first = new Node(x, null);

return;

}

Node p = first;

while (p.next != null) {

p = p.next;

}

p.next = new Node(x, null);

}

如上所示需要对结点为空的特殊情况进行判断，头部加了一个哨兵结点后就可以不需要判断了(不会为空)

双链表中的哨兵结点

Version 1: 双哨兵

在双链表中需要能够在头部和尾部分别进行插入删除操作(可以实现双端队列)，为了能快速在尾部进行插入删除，需要引入指向尾部的指针。截图如下(图片来自CS61B)

上述增加了一个指向尾部的last结点，从上图可以看出一个问题，last结点有时指向哨兵结点，有时指向实际结点。这会导致特殊情况的出现，比如在进行addFirst操作时，last指向哨兵结点时插入后需要将last往后移动一个，而第二张图指向实际结点时在头部插入结点后并不需要改变last指针。这时需要在尾部后也引入一个哨兵结点，以使其一致。相应示意图如下：

Version 2：循环双链表

上述Version1需要两个哨兵结点，可以对其进行改进。可以使用头部结点的prev指针指向尾部，尾部结点的next指针指向哨兵，这样就只需要一个哨兵结点，使链表变成循环链表，比Version1更为简洁优雅。

在对如上所示进行插入和删除操作时一定要格外注意，自己在写的时候很容易就漏掉某个指针的关系设置，最好在纸上自己画一遍。(对于要改变的连接可能会影响其他的，这时可将其暂存或最好设置)

在头部插入的代码如下：

public void addFirst(Item item) {

Node node = new Node(item);

node.prev = sentinel;

node.next = sentinel.next;

sentinel.next.prev = node;

sentinel.next = node;

size++;

}

尾部插入代码如下：

public void addLast(Item item) {

Node node = new Node(item);

node.prev = sentinel.prev;

node.next = sentinel;

sentinel.prev.next = node;

sentinel.prev = node;

size++;

}

头部删除代码如下：

public Item removeFirst() {

Item item = sentinel.next.item;

sentinel.next = sentinel.next.next;

sentinel.next.prev = sentinel;

size--;

return item;

}

尾部删除代码如下

public Item removeLast() {

Item item = sentinel.prev.item;

Node sl = sentinel.prev.prev;

sl.next = sl.next.next;

sl.next.prev = sl;

size--;

return item;

}

总结与感想

(1)虽然看起来很小很简单的事情，但实现起来却有很多细小问题可以考虑，学会把一件小事做的很漂亮。(small but smart)

(2)学会分析一个东西的来龙去脉，为什么会有这部分，以及怎么改进的。

参考：

2.算法导论10.2链表