链表节点两两交换技巧详解

本文详解链表两两交换相邻节点的实现要点，重点解决新手常犯的「头节点未更新」问题，并提供健壮、可读性强的迭代解法及可视化分析。

本文详解链表两两交换相邻节点的实现要点，重点解决新手常犯的「头节点未更新」问题，并提供健壮、可读性强的迭代解法及可视化分析。

在链表操作中，“两两交换相邻节点”（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] 为例）

⚠️ 关键注意事项

• 不要复用 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 组翻转）、环检测等进阶问题。