本文详解链表两两交换相邻节点的实现要点，重点解决新手常犯的「头节点未更新」问题，并提供健壮、可读性强的迭代解法及可视化分析。
本文详解链表两两交换相邻节点的实现要点，重点解决新手常犯的「头节点未更新」问题，并提供健壮、可读性强的迭代解法及可视化分析。
在链表操作中，“两两交换相邻节点”（Swap Nodes in Pairs）是一道经典基础题，要求仅通过调整指针完成交换，严禁修改节点数据值。许多初学者（如题中代码所示）能正确重连节点关系，却忽略了最关键的一步：更新链表头节点（head）引用——这直接导致返回结果丢失首节点，出现 [1,4,3] 而非预期 [2,1,4,3] 的错误。
? 核心问题定位：头节点未重定向
原代码逻辑本身对 next 指针的调整基本正确，但存在一个根本性疏漏：
✅ 成功将 2→1→4→3 的链式结构构建完成；
❌ 却仍让 head 指向原第一个节点（值为 1），而新链表真正的起点是原第二个节点（值为 2）。
如下图所示，交换完成后若不更新 head，遍历时将从 1 开始，跳过前置的 2：
初始状态：
head
↓
[1] → [2] → [3] → [4] → null
交换后（指针已重连）：
head
↓
[1] [2] → [1] [3] → [4] → null
└─────↑ └────↑
└────────────┘
（形成环与断裂，实际结构为：[2]→[1]→[4]→[3]→null）
但 head 仍指向 [1] → 因此遍历得 [1]→[4]→[3] ❌因此，必须在进入主循环前，将 head 显式指向原 head.next：
public ListNode swapPairs(ListNode head) {
// 边界处理：空链表或单节点无需交换
if (head == null || head.next == null) {
return head;
}
// ✅ 关键修正：更新头节点为第二个节点
ListNode newHead = head.next;
ListNode prev = null; // 指向前一对交换节点的尾部（用于连接下一对）
ListNode first = head; // 当前对的第一个节点
ListNode second = head.next; // 当前对的第二个节点
while (first != null && second != null) {
// 保存下一对的第一个节点（即 second.next）
ListNode nextFirst = second.next;
// 执行交换：second → first → nextFirst
if (prev != null) {
prev.next = second; // 连接上一对与当前对
}
first.next = nextFirst;
second.next = first;
// 更新指针，准备处理下一对
prev = first;
first = nextFirst;
second = (first != null) ? first.next : null;
}
return newHead;
}? 注意：我们返回 newHead（即原始 head.next），而非原 head，确保入口正确。
✅ 正确性验证（以 [1,2,3,4] 为例）
| 步骤 | prev | first | second | nextFirst | 链表状态（从 newHead 开始） |
|---|---|---|---|---|---|
| 初始 | null | [1] | [2] | [3] | head → [2]→[1]→[3]→[4] |
| 交换后 | [1] | [3] | [4] | null | → [2]→[1]→[4]→[3] |
| 循环结束 | — | — | — | — | ✅ 返回 [2,1,4,3] |
⚠️ 关键注意事项
- 不要复用 head 变量：head 是入参引用，直接赋值 head = head.next 在 Java 中虽可工作，但语义不清；推荐使用 newHead 明确表达意图。
- 空指针防护：每次访问 second.next 前需确认 second != null；进入循环条件应为 first != null && second != null。
- 边界兼容性：该解法天然支持奇数长度链表（如 [1,2,3] → [2,1,3]），末尾单节点自动保留。
- 空间复杂度：仅使用常数额外变量，O(1)；时间复杂度 O(n)，遍历一次。
✅ 总结
两两交换链表节点的本质是局部指针重定向 + 全局头节点校准。初学者易陷入“只调内部、忽略入口”的思维定式。牢记：
? 交换改变的是结构，而 head 是结构的唯一入口标识；
? 任何使首节点发生位移的操作，都必须同步更新 head（或其等价返回值）；
? 借助草图追踪指针变化，是调试链表题最高效的方法。
掌握此模式后，可自然延展至更复杂的链表翻转（如 K 组翻转）、环检测等进阶问题。
