直接用merge函数出错因STL的std::list::merge要求两链表已排序且原地合并,而手写链表无此成员函数;归并需双指针比较+尾插,哨兵节点可简化边界处理。

为什么直接用 merge 函数会出错?
STL 的 std::list::merge 要求两个链表都已排序,且调用后左侧链表成为合并结果,右侧链表被清空。但很多人误以为它能返回新链表,或忽略“原地合并”特性——调用前若 list1 和 list2 都非空,list2 末尾节点的 next 指针可能未置为 nullptr,导致遍历时越界。
更常见的是:自己手写链表(非 std::list),却照搬 STL 接口名,结果编译不通过——因为 merge 不是内置函数,必须自己实现。
- 手写单向链表时,没有现成的
merge成员函数 -
std::list::merge只接受同类型、已排序的std::list,不适用于自定义节点结构 - 升序拼接 ≠ 简单连在后面,必须归并(merge),否则结果不保序
如何手写归并逻辑(带哨兵头节点)
用哨兵节点(dummy node)可避免对首节点的特殊判断,代码更干净。核心是双指针比较 + 尾插。
struct ListNode {
int val;
ListNode* next;
ListNode() : val(0), next(nullptr) {}
ListNode(int x) : val(x), next(nullptr) {}
};
ListNode mergeTwoLists(ListNode l1, ListNode l2) {
ListNode dummy;
ListNode tail = &dummy;
while (l1 && l2) {
if (l1->val <= l2->val) {
tail->next = l1;
l1 = l1->next;
} else {
tail->next = l2;
l2 = l2->next;
}
tail = tail->next;
}
tail->next = l1 ? l1 : l2;
return dummy.next;}
立即学习“C++免费学习笔记(深入)”;
- 不要 new 哨兵节点(避免内存泄漏),栈上分配即可
- 循环中只移动值小的指针,另一个保持不动
- 退出循环后,必有一个链表为空,直接接上非空链表即可
- 返回
dummy.next,不是&dummy
不带哨兵的手写版本要注意什么?
需要单独处理第一个节点,容易漏判空指针或写错初始赋值。常见错误是:在进入循环前没给 head 赋值,或把 tail 初始化成 nullptr 后直接解引用。
- 首次赋值必须用
if分支确定head和tail指向哪个节点 - 后续逻辑和哨兵版一致,但第一轮不能进循环
- 如果两链表都为空,必须显式返回
nullptr - 一旦选了某个节点作头,对应原链表指针要立即前移,否则重复插入
测试时最容易忽略的边界情况
合并逻辑看似简单,但以下输入常让代码崩溃或返回错误结果:
- 一个为空:
l1 = nullptr,l2 = [1→2→3] - 两个都为空:
l1 = l2 = nullptr - 含重复值:
[1→1→2]和[1→3→3]→ 应输出[1→1→1→2→3→3] - 长链表与短链表:
[1]和[2→3→4→5→6],确保尾插逻辑不漏掉剩余部分
真正难的不是写完,而是验证所有分支都被执行过;尤其 tail->next = l1 ? l1 : l2 这一行,如果前面忘了更新 tail,就会断链。










