递归实现链表反转中双指针工作原理及代码语句顺序疑问

原代码为什么能成功反转？ #

递归的核心是从链表末尾开始反向修正指针指向，我们一步步拆解逻辑：

1. 递归终止：当*temp为nullptr时，说明已经走到链表最后一个节点的下一个位置，此时把反转后的链表头（*rootAddress）设为当前的*head（也就是原链表的最后一个节点），然后返回。
2. 递归返回时的指针修正：
   • 语句1：(*temp)->next = *head —— 把当前节点的下一个节点（*temp指向的节点）的next指向当前节点，完成局部的指针反转；
   • 语句2：(*head)->next = nullptr —— 把当前节点的next设为nullptr，因为当前节点在反转后的链表中暂时是“末尾节点”，后续会被上一层的节点指向，先清空旧指针避免残留无效指向。

举个具体例子（原链表10->20->30）：

• 递归到最底层时，*head是30，*temp是nullptr，设置反转后的头为30；
• 返回上一层，*head是20，*temp是30：执行语句1让30->next=20，语句2让20->next=nullptr；
• 返回最上层，*head是10，*temp是20：执行语句1让20->next=10，语句2让10->next=nullptr；
  最终链表变为30->20->10->nullptr，完全符合预期。

你的核心误解：(*head)->next = nullptr不会让*temp变为nullptr #

你混淆了两个完全独立的指针：

• (*head)->next：是当前节点（*head指向的节点）的成员变量，存储的是下一个节点的地址；
• *temp：是函数参数中的独立指针，存储的也是下一个节点的地址；

修改(*head)->next的值，只会改变当前节点的next指向，不会改变*temp本身存储的地址，*temp仍然稳稳指向原来的下一个节点。所以原代码中先执行语句1完成反转，再设置(*head)->next = nullptr，完全不会影响*temp的有效性。

交换语句1和2后为什么会“无法运行”？ #

理论上，交换语句顺序后，链表反转的结果应该是正确的：先把当前节点的next设为nullptr，再让下一个节点指向当前节点，最终的指针关系和原代码一致。如果你的程序确实出现错误，大概率是测试时的其他问题（比如print_list函数逻辑错误、内存泄漏导致的异常等），而非交换语句顺序本身的问题。

但从逻辑严谨性来说，原代码的顺序更合理：先完成反转指针的核心操作，再清空当前节点的旧指针，避免在极端场景下（比如链表只有1个节点）出现不必要的指针操作。

内容的提问来源于stack exchange，提问作者pawan097