1. 反转链表到底在反转什么先把话说直白点反转链表这道题表面上是把指针方向调个头实际上考的是你对引用操作、边界条件、循环不变式这三件事的理解深度。我见过太多人背下了迭代写法面试官稍微换个问法——比如“每k个一组反转”“反转区间”“递归版写一下”——立马卡壳。根因不在于题刷得少而在于没有把链表这种数据结构的“物理模型”在脑子里建起来。链表和数组最大的区别是什么数组是一块连续内存你拿到索引就能直接跳到任意位置链表是一堆散落的节点每个节点只知道自己下一个是谁。这就意味着链表上几乎所有操作都围绕一个核心动作展开改指针。反转链表就是把每个节点的next从“指向后一个”改成“指向前一个”仅此而已。但就是这么一个简单的动作写起来有无数种翻车方式。这篇文章适合谁看如果你正在准备技术面试或者刚学数据结构对指针操作还不太有手感又或者你写业务代码时偶尔需要处理链表结构但总是写得磕磕绊绊那接下来的内容应该能帮到你。我会从思路拆解、代码实现、边界处理、常见翻车点几个维度把反转链表这件事讲透不只是给你一个能跑的答案而是让你真正理解每一步为什么这么写。2. 链表基础回顾与反转的核心思路2.1 先搞清楚链表的物理模型在动手反转之前有必要把链表节点的结构再确认一遍。JavaScript 里通常用对象来表示一个链表节点class ListNode { constructor(val, next) { this.val val undefined ? 0 : val; this.next next undefined ? null : next; } }每个节点有两个属性val存值next存下一个节点的引用。注意next存的是引用不是节点本身。这一点非常关键因为反转操作本质上就是在修改这个引用指向哪里。你可以把链表想象成一列火车每个车厢里坐着一个乘客val车厢尾部有一个挂钩next连着下一节车厢。反转链表就是把所有挂钩的方向调过来让最后一节车厢变成车头。但你不能直接把整列火车掉头只能一节一节地改挂钩方向。2.2 反转的本质三指针的舞蹈反转链表最核心的操作可以用一句话概括让当前节点的 next 指向前一个节点。但这里有个致命问题——你一旦把当前节点的 next 改了你就找不到下一个节点了。所以你需要提前把下一个节点存起来。这就是三指针法的由来prev指向前一个节点初始为null因为反转后第一个节点的 next 必须指向 nullcurr指向当前正在处理的节点初始为headnextTemp临时存储当前节点的下一个节点防止断链整个过程的循环不变式是prev 始终是已经反转好的那部分链表的头curr 始终是还没处理的那部分链表的头。每次循环做四件事把curr.next存到nextTemp把curr.next指向prev把prev移到curr把curr移到nextTemp这四步的顺序不能乱。如果你先执行第2步再执行第1步那nextTemp就拿不到原来的下一个节点了链表直接断掉。这是新手最容易犯的错误没有之一。2.3 为什么迭代法比递归法更值得先掌握反转链表有两种主流写法迭代和递归。很多人觉得递归写法更“优雅”代码更短。但从工程角度看迭代法才是你应该首先吃透的。原因有三第一迭代法空间复杂度是 O(1)递归法因为调用栈的关系是 O(n)链表一长就可能栈溢出第二迭代法的思路更直观你能清楚地看到每一步指针怎么变第三面试中面试官通常期望你先写出迭代版本再讨论递归。递归版本当然也要会它的思路是先把当前节点之后的子链表反转好然后把当前节点接到反转后子链表的尾部。理解递归的关键是相信递归函数已经帮你把后面的事情做完了你只需要处理当前这一层的关系。3. 迭代法反转链表从思路到代码落地3.1 完整代码实现与逐行解析先上迭代法的标准实现function reverseList(head) { let prev null; let curr head; while (curr ! null) { const nextTemp curr.next; // 暂存下一个节点 curr.next prev; // 反转指针方向 prev curr; // prev 前移 curr nextTemp; // curr 前移 } return prev; // prev 最终指向反转后的头节点 }这段代码只有十行但每一行都值得掰开说。let prev null这一行为什么初始值是 null 而不是 head因为反转后原来的头节点会变成尾节点尾节点的 next 必须是 null。所以 prev 初始为 null正好在第一次循环时把原头节点的 next 设成 null。const nextTemp curr.next这一行用 const 而不是 let是因为这个变量在单次循环内不需要重新赋值。用 const 能防止你手滑改掉它这是一个小但实用的编码习惯。curr.next prev是反转的核心动作。执行完这一行当前节点就指向前一个节点了。但此时 curr 和它原来的后继节点之间的联系就断了所以上一步必须先把后继存好。prev curr和curr nextTemp是同步前移。注意顺序先移 prev 再移 curr因为 curr 的新位置存在 nextTemp 里而 prev 的新位置就是当前的 curr。如果你先移 currprev 就找不到该去哪了。最后return prev而不是return curr因为循环结束时 curr 已经是 null 了prev 才是指向新头节点的那个指针。3.2 用具体例子走一遍完整流程光看代码容易晕拿一个具体链表走一遍就清楚了。假设链表是1 - 2 - 3 - null。初始状态prev nullcurr 节点1。第一轮循环nextTemp 节点2节点1.next null指向 prevprev 节点1curr 节点2此时链表变成了1 - null2 - 3 - null还没处理。第二轮循环nextTemp 节点3节点2.next 节点1prev 节点2curr 节点3此时2 - 1 - null3 - null还没处理。第三轮循环nextTemp null节点3.next 节点2prev 节点3curr null循环结束返回prev即节点3。最终链表是3 - 2 - 1 - null反转完成。我建议你在纸上画一遍这个过程比在脑子里想有效得多。指针操作这种东西画图是最快的理解方式。3.3 边界条件空链表和单节点链表很多人写反转链表时只考虑了多节点的情况结果遇到空链表或单节点链表就出问题。其实用上面的迭代法这两种情况天然就是对的空链表head nullwhile 循环一次都不执行直接返回prev null正确。单节点链表head 节点1循环执行一次节点1.next nullprev 节点1curr null返回节点1正确。所以迭代法不需要额外的边界判断这也是它比递归法更省心的地方。递归法如果不在开头加if (head null || head.next null) return head;遇到空链表就会报错。提示虽然迭代法天然处理了边界但在面试中主动提一句“空链表和单节点的情况也能正确处理”会给面试官留下考虑周全的印象。4. 递归法反转链表理解调用栈的魔法4.1 递归思路的拆解递归反转链表的核心思想是把问题分解成“反转当前节点之后的子链表”和“把当前节点接到子链表尾部”两个步骤。function reverseListRecursive(head) { // 递归终止条件空链表或只有一个节点 if (head null || head.next null) { return head; } // 先反转后面的子链表 const newHead reverseListRecursive(head.next); // 把当前节点接到子链表尾部 head.next.next head; head.next null; return newHead; }这段代码最让人困惑的是head.next.next head这一行。它的意思是让当前节点的下一个节点也就是子链表的尾节点的 next 指向当前节点。换句话说把当前节点挂到已经反转好的子链表的末尾。然后head.next null把当前节点的 next 置空让它成为新的尾节点。这两行的顺序也不能反如果先执行head.next null那head.next.next就变成null.next了直接报错。4.2 递归调用的展开过程还是用1 - 2 - 3 - null举例。第一次调用reverseListRecursive(1)1 不是 null1.next 是 2 不是 null继续递归调用reverseListRecursive(2)第二次调用reverseListRecursive(2)2 不是 null2.next 是 3 不是 null继续递归调用reverseListRecursive(3)第三次调用reverseListRecursive(3)3.next 是 null命中终止条件返回 3回到第二次调用newHead 32.next.next 2即3.next 22.next null返回 3回到第一次调用newHead 31.next.next 1即2.next 11.next null返回 3最终链表变成3 - 2 - 1 - null。递归法的代码确实更短但理解成本更高。如果你在面试中写递归版本一定要能清楚地解释每一层在做什么否则面试官会怀疑你是背下来的。4.3 递归法的空间复杂度陷阱递归法看起来很美但它有一个绕不开的问题调用栈的深度等于链表长度。链表有 n 个节点就有 n 层调用栈空间复杂度是 O(n)。在 JavaScript 中调用栈的默认大小是有限的。不同运行环境的限制不同但通常在几千到一万层左右。如果你的链表长度超过这个限制就会抛出RangeError: Maximum call stack size exceeded。所以实际工程中如果链表可能很长迭代法是更安全的选择。递归法更适合链表较短、或者你确定运行环境栈空间充足的场景。注意有些面试官会故意给一个很长的链表让你用递归写看你会不会主动提到栈溢出的风险。这时候你主动说出来比被问出来要好得多。5. 反转链表的常见变体与扩展5.1 反转链表的前 n 个节点这个变体要求只反转链表的前 n 个节点后面的保持不变。思路和全量反转类似但需要记录第 n1 个节点反转完前 n 个之后把它们接回去。function reverseN(head, n) { if (n 1) { // 记录第 n1 个节点 successor head.next; return head; } const newHead reverseN(head.next, n - 1); head.next.next head; head.next successor; return newHead; }这里用了一个外部变量successor来记录第 n1 个节点。递归的终止条件是 n 减到 1此时 head 就是第 n 个节点它的 next 就是第 n1 个节点。这个变体是理解更复杂的“区间反转”和“k 个一组反转”的基础。如果你能把反转前 n 个节点写清楚后面的变体都是在这个基础上叠加逻辑。5.2 反转链表的指定区间给定位置 left 和 right反转从 left 到 right 这一段。这个变体的标准做法是找到 left 的前一个节点然后对从 left 开始的子链表执行“反转前 n 个节点”的操作最后把前后接好。function reverseBetween(head, left, right) { if (left 1) { return reverseN(head, right); } head.next reverseBetween(head.next, left - 1, right - 1); return head; }这段代码的精妙之处在于通过递归把“区间反转”转化成了“反转前 n 个节点”。当 left 减到 1 时问题就变成了反转从当前节点开始的前 right 个节点。5.3 每 k 个一组反转链表这是反转链表家族里最难的变体也是面试中出现频率较高的进阶题。要求把链表每 k 个节点分为一组每组内部反转不足 k 个的保持原样。function reverseKGroup(head, k) { if (head null) return null; // 找到第 k1 个节点 let tail head; for (let i 0; i k; i) { if (tail null) return head; // 不足 k 个不反转 tail tail.next; } // 反转前 k 个节点 const newHead reverseN(head, k); // 递归处理剩余部分并拼接 head.next reverseKGroup(tail, k); return newHead; }这个实现的关键在于先检查剩余节点是否够 k 个不够就直接返回。够的话反转前 k 个然后递归处理后面的部分把反转后的尾节点也就是原来的 head接到后面部分的结果上。6. 实操中容易翻车的六个坑6.1 指针丢失最常见的致命错误写反转链表时最常见的错误就是指针丢失。具体表现是你改了curr.next之后发现找不到下一个节点了链表从中间断开。这个问题的根因是操作顺序不对。正确的顺序永远是先存后继再改指针最后移动指针。这三步的顺序不能有任何颠倒。我在带新人的时候发现很多人不是不理解这个逻辑而是写代码时手快顺序写反了。我的建议是在写反转链表的循环体时严格按照“存、改、移、移”四步来写每一步写完检查一下形成肌肉记忆。6.2 返回值搞错返回 curr 还是 prev循环结束时curr是 nullprev才是指向新头节点的指针。如果你返回curr得到的就是 null整个链表都丢了。这个错误在面试紧张的时候特别容易犯。避免的方法是在写 return 语句时脑子里过一遍循环结束的条件是 curr 变成 null那此时谁指向最后一个处理的节点是 prev。所以返回 prev。6.3 递归终止条件写错递归法的终止条件必须是head null || head.next null两个条件缺一不可。如果只写head.next null遇到空链表时head.next会直接报错。如果只写head null遇到单节点链表时会继续递归然后head.next.next就会变成null.next同样报错。6.4 忘记断开原头节点的 next迭代法中prev初始为 null 就是为了让原头节点反转后指向 null。如果你把prev初始化为head或者其他值原头节点的 next 就不会被正确置空反转后的链表尾部会指向一个错误的节点形成环。6.5 在递归法中搞混 head.next 和 newHead递归返回的newHead是反转后子链表的新头节点而head是当前节点。head.next.next head这一行里head.next是子链表的尾节点因为子链表已经反转了原来的 head.next 变成了尾节点让它的 next 指向 head就把 head 接到了尾部。如果你写成newHead.next head那就错了因为 newHead 是子链表的头不是尾。6.6 没有考虑链表有环的情况标准的反转链表题目默认链表是无环的。但如果链表中存在环反转操作会导致无限循环或者逻辑错误。在实际工程中如果你不确定链表是否有环应该先用快慢指针检测环再决定是否执行反转。7. 常见问题速查表问题现象可能原因排查方法解决方案链表从中间断开改指针前没存后继节点检查循环体第一步是否是存 nextTemp严格按“存、改、移、移”顺序写返回结果是 null返回了 curr 而不是 prev检查 return 语句循环结束后返回 prev报错 Cannot read property next of null递归终止条件不完整检查是否同时判断了 head 和 head.next补全head null || head.next null反转后链表形成环prev 初始值不对或尾节点 next 未置空检查 prev 初始值和最后一步prev 初始为 null确保尾节点 next 为 null栈溢出 Maximum call stack size exceeded递归深度过大检查链表长度改用迭代法反转结果顺序不对指针移动顺序错误逐步打印每轮循环后的链表状态先移 prev 再移 curr8. 我在实际写反转链表时的几个习惯第一个习惯是先画图再写代码。不管多简单的链表题我都会在纸上画三到四个节点标出 prev、curr、nextTemp 的位置然后手动模拟一轮循环。这个过程花不了两分钟但能避免百分之八十的低级错误。第二个习惯是写完代码后用单节点和双节点链表各跑一遍。单节点验证边界条件双节点验证指针移动逻辑。这两个 case 能过多节点的基本不会出问题。第三个习惯是在面试中主动说出空间复杂度的权衡。写完迭代法之后我会补一句“递归法代码更短但空间复杂度是 O(n)实际工程中如果链表可能很长迭代法更安全”。这句话能体现你对两种方案的取舍有清晰认知比单纯写出代码加分更多。第四个习惯是把反转链表当作模板来记。反转链表是很多链表题的基础组件比如回文链表判断、链表重排、k 个一组反转等等。把迭代法的四步循环练到不用想就能写出来后面遇到复杂题时就能把精力放在逻辑组合上而不是纠结指针怎么移。提示如果你在面试中遇到反转链表的变体先写出基础的反转函数再在它的基础上做修改。这样既能保证核心逻辑正确又能让面试官看到你的思路是层层递进的。链表反转这件事说到底就是指针操作的基本功。你把这一道题吃透了链表相关的其他操作——删除节点、合并链表、找中间节点——都会变得顺手很多。反过来如果反转链表总是写得磕磕绊绊那说明对引用的理解还有欠缺值得花时间把基础补扎实。