链表反转递归函数栈展开时Rest变量值未变的技术疑问

先看你提供的递归反转链表代码：

void reverseLinkedList(Node* &head) 
{
    if (head == nullptr || head->next == nullptr) 
    {
        return ;
    }

    Node* Rest = head->next;

    reverseLinkedList(Rest);
    head->next->next = head; 
    head->next = nullptr;   
    head = Rest;
}

int main() 
{
    Node* h = nullptr;

    Create(h, 4);//create linked-list with N nodes
    reverseLinkedList(h);
    Print(h);
}

你调试时发现递归栈展开过程中Rest变量的值始终一致，本质是对局部变量生命周期和引用传递的误解，具体原因如下：

• 每个递归栈帧的Rest是独立局部变量
  每次调用reverseLinkedList时，都会在当前栈帧中创建全新的Node* Rest局部变量，它的初始值是当前栈帧中head->next的地址——比如原链表是1->2->3->4，第一层Rest指向2，第二层指向3，第三层指向4，每个层级的Rest初始值完全不同。

• 递归返回时Rest被统一修改为最终链表头
  当递归触底（head指向4时直接返回），开始逐层回溯：

  • 第三层栈帧：Rest初始指向4，因递归终止条件直接返回，Rest未被修改；
  • 第二层栈帧：调用reverseLinkedList(Rest)后，Rest会被修改为4（底层返回后，该栈帧的head被设置为Rest）；
  • 第一层栈帧：调用reverseLinkedList(Rest)后，Rest同样被修改为4。
    你在递归展开（回溯）阶段观察到的Rest值一致，是因为所有栈帧的Rest在回溯时都被更新为了整个链表的新头（原尾节点），但它们的初始值其实完全不同。

• 引用传递是核心触发点
  函数参数Node* &head是指针的引用，当调用reverseLinkedList(Rest)时，递归函数内部对head的修改（head = Rest）会直接作用于当前栈帧的Rest变量。这导致每一层回溯时，当前栈帧的Rest都会被更新为子链表反转后的头节点，最终所有栈帧的Rest都指向同一个最终头节点。

总结：你看到的“值一致”是回溯阶段的结果，每个Rest在创建时的初始值是不同的，只是在递归返回后被统一修改成了同一个地址。

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