详解链表操作中的引用传递与原地修改

在 Java 中操作单链表时，有一个基础但容易忽略的知识点：ListNode answer = head 实际上并不是复制一份链表，而是让 answer 和 head 指向同一个节点对象。换句话说，通过 answer 修改链表后，head 也会随之发生变化——因为它们操作的是同一组节点，而非独立的副本。

链表在 Java 中是典型的引用数据结构。所有 ListNode 类型的变量，本质上都是堆内存中某个节点对象的引用（reference），而不是对象本身。当你写下：

ListNode answer = head;

这里既没有克隆链表，也没有创建任何新节点，只是让 answer 变量指向 head 所指向的同一个首节点。从这一刻起，无论通过 head 还是 answer 遍历、修改 next 指针，操作的都是同一组物理节点，任何改动都会立即反映到原链表上。

以 LeetCode 第 19 题“删除倒数第 n 个节点”为例，可以更直观地理解这一机制：

// 定位到待删节点的前驱
int stop = length - n - 1;
ListNode answer = head;  // ← 共享同一链表
for (int i = 0; i < stop; i++) {
    answer = answer.next; // 移动的是引用，不改变节点内存布局
}
answer.next = answer.next.next; // 修改前驱节点的 next 指针 → 原链表结构即刻更新

这里的关键在于：answer.next = answer.next.next 这一行修改的是某个已有节点的 next 字段——而这个节点原本就是原始链表的一部分。因此，head 所代表的链表拓扑结构被原地修改。最终返回 head 完全合理：它仍然是链表首节点的引用，只不过后续的连接关系已经按照逻辑更新过了。

⚠️ 有几个容易出错的地方需要特别留意：

• 不存在“副本链表”：除非你显式遍历整个链表，并用 new ListNode(node.val) 逐个创建新节点，否则所有赋值操作都是引用传递，根本不存在所谓的“副本”。
• 空指针风险：answer.next.next 在边界场景下——比如删除唯一节点，或者删除倒数第一个节点——很可能会抛出 NullPointerException。原题解中通过 if (length == n) return head.next; 提前处理了头节点删除的情况，这种防护是必要的，能有效避免空指针异常。
• 时间/空间权衡：上述解法需要两次遍历（先求长度，再定位），时间复杂度 O(L)，空间复杂度 O(1)。如果希望一次遍历搞定，可以使用快慢指针法，但核心的引用传递机制完全一致。

说到底，链表操作的本质就是通过引用去操纵节点之间的指针关系。把“赋值即共享、修改即生效”这个原则吃透，就不会误以为“局部变量操作不影响原链表”——这个误区在面试和实际开发中都相当常见。理解了这一点，才算真正打下了编写健壮链表代码的基础。