最近正在学习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）学会分析一个东西的来龙去脉，为什么会有这部分，以及怎么改进的。
参考：
1.cs61b:https://joshhug.gitbooks.io/hug61b/content/chap2/chap23.html
2.算法导论10.2链表