哨兵节点是人为添加的辅助节点，不存储真实数据，用于统一链表插入、删除等操作逻辑，避免对空链表、头尾节点的特殊判断，提升代码简洁性与健壮性。
哨兵节点（Sentinel Node）不是链表数据的一部分，而是人为添加的辅助节点，主要用来消除对头节点、尾节点等边界情况的特殊判断。它让插入、删除、遍历等操作逻辑更统一，代码更简洁、健壮，尤其在实现 LRU 缓存、双向链表、队列等结构时非常实用。
为什么需要哨兵节点？
普通链表操作常需反复检查是否为空、是否为头/尾节点，例如：
- 删除头节点时要单独更新 head 指针；
- 在空链表中插入第一个节点要额外判空并重设 head；
- 双向链表中，头尾操作涉及 prev/next 的 null 判断，易出错。
这些分支不仅增加代码量，还容易遗漏边界 case，导致空指针或逻辑错误。哨兵节点通过“固定占位”，把所有操作都变成“中间位置操作”，从而抹平差异。
单向链表 + 头哨兵：统一插入与删除
定义一个不存真实数据的 dummy 节点，其 next 指向原 head。此后所有插入都发生在 dummy 后面，所有删除都通过前驱节点完成，无需再判断 head 是否为空。
示例：删除值为 x 的第一个节点
Node dummy = new Node(0);
dummy.next = head;
Node prev = dummy;
while (prev.next != null) {
if (prev.next.val == x) {
prev.next = prev.next.next; // 无需关心是否删的是 head
break;
}
prev = prev.next;
}
head = dummy.next; // 更新真实头
关键点：所有修改都基于 prev.next，head 变量只在最后统一更新，彻底避免对 head 的条件分支。
双向链表 + 首尾双哨兵：LRU 缓存核心技巧
LRU 要求 O(1) 插入头部、删除尾部、移动任意节点到头部。用 head 和 tail 两个哨兵节点围成一个闭环（或半闭环），可让所有操作无条件执行：
- 新增节点：插入在 head.next 位置；
- 删除尾节点：删 tail.prev，且 tail.prev.prev.next = tail；
- 提升热度（移到头部）：先断开原位置，再插到 head 后——两步都不需判空。
此时每个节点都有确定的前驱和后继，tail.prev 永远是最后一个有效节点，head.next 永远是第一个，连 size 统计都更可靠。
注意事项与常见误区
哨兵节点不是银弹，用错反而增加复杂度：
- 不要在哨兵里存业务数据，否则遍历时容易混淆；
- 内存敏感场景下，哨兵虽小但非零开销，需权衡；
- 调试时注意：打印链表别忘了跳过哨兵，否则会多输出一个“假值”；
- 多线程环境下，哨兵本身不解决并发问题，仍需同步机制。
它简化的是逻辑分支，不是算法本质。理解“用空间换逻辑清晰”是掌握哨兵思想的关键。
