先记住这个答案
在递归反转链表的经典实现中，每层递归调用都会先递归到链尾，随后回溯时先执行head.next.next = head; head.next = null完成指针翻转，然后return newHead将子递归返回的新头继续传递给上层。因此指针翻转发生在当前层的递归调用返回之后，而返回值是base case产生的节点被逐层原样传递，各层都参与这两个动作。
- base case 直接返回自身节点
- 每层回溯时翻转当前节点指针
- 返回值是同一节点逐层上传
回溯阶段的两个动作如何按序协作
递归反转是典型的后序访问模式。以链表1→2→3为例，调用函数会先执行reverse(1)，它立即调用reverse(2)，后者又调用reverse(3)。递推阶段只创建调用帧，没有任何指针变更。
当reverse(3)满足基条件返回3后，执行权回到第二层调用。此刻局部变量head指向2，head.next仍为3。随后执行翻转代码，将3的next指向2，再把2的next置空，最后把收到的节点3返回给第一层。该翻转发生在子调用返回之后。
对第一层，同样逻辑生效，最终原始链尾节点3作为新头被层层上传。深层的返回值始终保存在每个调用帧里，每一层都只修改自己相邻的两个节点，保证所有节点只被翻转一次。
function ListNode(val, next=null){this.val=val; this.next=next;}
function arrToList(arr){let head=null, tail=null; for(let v of arr){let node=new ListNode(v); if(head===null) head=node; else tail.next=node; tail=node;} return head;}
function listToArr(head){let res=[]; while(head){res.push(head.val); head=head.next;} return res;}
function reverseList(head){
if(head===null || head.next===null) return head;
const newHead = reverseList(head.next);
head.next.next = head;
head.next = null;
return newHead;
}
console.log(JSON.stringify(listToArr(reverseList(arrToList([])))));
console.log(JSON.stringify(listToArr(reverseList(arrToList([1])))));
console.log(JSON.stringify(listToArr(reverseList(arrToList([1,2,3])))));查看输出与解释
[]
[1]
[3,2,1]时空复杂度：每个节点一趟完成，时间复杂度O(n)；递归深度n，辅助空间O(n)。三个边界分别覆盖空表、单节点、普通三节点反转。
长链表递归爆栈的定性与应对
链表极长时递归深度线性增长，可能导致调用栈溢出。实际栈容量受引擎配置影响，没有跨环境的统一阈值。
为兼顾简洁与安全，可先遍历统计长度，将递归限定在安全范围（如数千节点），超长改用迭代反转。额外增加一次统计长度的O(n)遍历，但整体时间仍为O(n)。
实际的执行环境栈容量受引擎参数影响，没有稳妥的固定阈值；若代码发布环境允许开启尾调用优化，可将递归改写成尾递归，但大多数解释器不保证。因此最可操作的标准是预先限制列表长度或统一采用迭代反转。
失效边界与冗余风险
递归反转依赖“next最终为null”这个终止条件。一旦链表含有环，递归永远不会到达基例，会不断自调用直至栈溢出。因此在反转前最好先用快慢指针检测环，若检测到环则拒绝反转或先断开环，这额外需要O(n)时间。
链表长度没有上限也是隐藏故障点。一个十万节点的单链表会使递归深度达到十万，即使每个帧极小也会超过多数系统的栈限制。可考虑设置深度计数器，当递归深度超过预设值（如512）时抛错并降级，但这样会在每个调用帧增加判断成本。
平凡边界也要小心：空链表与单节点必须原地返回head，如果遗漏单节点判断，head.next为null时调用head.next.next会抛出TypeError。标准写法if (!head || !head.next) return head能同时覆盖两者，是最容易被遗漏但必须保留的防护。
容易答错的地方
- 返回值只在最深层产生
- 基例中的return只是给出了新头，但它之后每一层函数的return语句都会将该值原样提交给上层，所以返回值贯穿整个回溯链路，每一层都在参与传递。
- 指针在递推阶段就翻转
- 若把翻转代码放在递归调用之前，当前节点的next会被提前改写，导致无法再访问原后继，子问题彻底丢失。必须写成先递归、后翻转的后序模式。
面试官还会怎么问？
为什么递归反转链表不需要显式保存head.next？
因为递归调用发生在修改之前，调用后返回时，执行帧里head局部变量仍指向当前节点，head.next也还是原来的后继对象，可直接用于翻转，无需额外保存。
递归反转能处理环形链表吗？
不能。环导致永远找不到next为null的节点，递归无限深入直至栈溢出；必须先运用快慢指针判环且拆环后再处理。
迭代反转与递归反转的空间差异有多大？
迭代反转只使用少量指针，额外空间O(1)；递归反转需要n层调用栈，额外空间O(n)。时间上二者均为O(n)，但递归常数更大。
参考资料
示例用于理解所注明的运行环境与边界；延伸学习可结合原文中的更多案例。