【初探数据结构】链表OJ算法——哨兵位（合并两个有序链表详解）

文章目录

哨兵位（Sentinel Node）的作用
实战演练
- 思路讲解
- 详细步骤
- - 1. **处理特殊情况（边界条件）**
  - 2. **创建哨兵节点**
  - 3. **初始化两个指针，遍历两个链表**
  - 4. **合并两个链表**
  - 5. **处理剩余节点**
  - 6. **返回合并后的链表**
- 完整代码
结语

哨兵位（Sentinel Node）的作用

哨兵位是链表中的一个特殊节点，它并不保存有效数据，只是作为标识存在。使用哨兵位有以下几个好处：

统一处理：哨兵位使得链表的插入和删除操作可以统一处理，无需区分链表为空、头节点或尾节点等特殊情况。
简化代码：避免了空链表的处理、头节点的特殊处理等复杂情况，使得代码更加简洁。

下面我们来实战演练。

实战演练

合并两个有序链表 - 力扣（LeetCode）

这道题的解法很多，这里我们使用最优的方法——双指针遍历

思路讲解

通过两个指针同时遍历两个链表，逐个比较链表中的节点，将较小的节点接到合并后的链表上，直到一个链表遍历完成，再将另一个链表中剩余的部分直接接到结果链表后。

详细步骤

1. 处理特殊情况（边界条件）

if(list1 == NULL)return list2;
if(list2 == NULL)return list1;

如果其中一个链表为空，直接返回另一个链表。这样可以避免后续操作中对空链表的额外处理。

2. 创建哨兵节点

struct ListNode* tail = NULL, *guard = NULL;
guard = tail = (struct ListNode*)malloc(sizeof(struct ListNode));
tail->next = NULL;

创建一个哨兵节点guard，该节点不会保存实际的数据。它的作用是简化链表的操作，特别是头节点的处理。因为如果直接操作链表头节点，可能需要单独判断头节点是否为空或其他边界情况，使用哨兵节点后，我们就可以统一处理所有节点的插入。
tail指针用于指向合并链表的尾部。通过这个指针，我们可以方便地将新的节点插入到合并后的链表中。

3. 初始化两个指针，遍历两个链表

struct ListNode* cur1 = list1;
struct ListNode* cur2 = list2;

cur1和cur2分别指向两个输入链表list1和list2的头节点。我们将使用这两个指针遍历两个链表，进行比较并合并。

4. 合并两个链表

while(cur1 && cur2) {if(cur1->val < cur2->val) {tail->next = cur1;cur1 = cur1->next;tail = tail->next;} else {tail->next = cur2;cur2 = cur2->next;tail = tail->next;}
}

这里使用一个while循环，循环条件是cur1和cur2都不为空。也就是说，只有当两个链表中都有节点时，才会进入循环。
在循环内部，比较cur1和cur2所指向节点的值，选择较小的节点加入到合并后的链表中：
- 如果cur1的值小于cur2的值，就将cur1节点连接到tail的next上，并将cur1向后移动一个节点。
- 否则，将cur2节点连接到tail的next上，并将cur2向后移动一个节点。
每次将新的节点连接到tail之后，更新tail指针，指向合并链表的最后一个节点。

5. 处理剩余节点

if(cur1)tail->next = cur1;
if(cur2)tail->next = cur2;

在上面的while循环结束后，可能会有一个链表的节点已经全部被处理完，另一个链表中还有节点没有被合并。
如果cur1指向的链表中还有节点未处理（即cur1不为空），将剩余的cur1节点直接接到合并链表的尾部。
同理，如果cur2指向的链表中还有节点未处理（即cur2不为空），将剩余的cur2节点直接接到合并链表的尾部。

6. 返回合并后的链表

struct ListNode* head = guard->next;
free(guard);
return head;

合并后的链表的头节点是guard->next，因为guard本身是一个哨兵节点，不保存实际的数据。返回guard->next就是合并后的链表的头节点。
最后，释放掉guard节点占用的内存，因为guard节点已经不再需要。

完整代码

struct ListNode* mergeTwoLists(struct ListNode* list1, struct ListNode* list2) {// 如果list1为空，返回list2if(list1 == NULL)return list2;// 如果list2为空，返回list1if(list2 == NULL)return list1;struct ListNode* tail = NULL, *guard = NULL;struct ListNode* cur1 = list1;struct ListNode* cur2 = list2;// 创建一个哨兵节点guard，方便操作链表头guard = tail = (struct ListNode*)malloc(sizeof(struct ListNode));tail->next = NULL;// 合并两个链表while(cur1 && cur2) {// 判断当前cur1的值与cur2的值，选择较小的节点if(cur1->val < cur2->val) {tail->next = cur1;cur1 = cur1->next;  // 移动cur1指针tail = tail->next;   // 更新tail指针} else {tail->next = cur2;cur2 = cur2->next;  // 移动cur2指针tail = tail->next;   // 更新tail指针}}// 如果cur1还有剩余，连接到tailif(cur1)tail->next = cur1;// 如果cur2还有剩余，连接到tailif(cur2)tail->next = cur2;// 头指针是guard的下一个节点struct ListNode* head = guard->next;// 释放哨兵节点free(guard);return head;
}