递归链表反转

Question

此代码来自this site.

void recursiveReverse(struct Node** head_ref)
{
    struct Node* first;
    struct Node* rest;

    /* empty list */
    if (*head_ref == NULL)
       return;   

    /* suppose first = {1, 2, 3}, rest = {2, 3} */
    first = *head_ref;  
    rest  = first->next;

    /* List has only one node */
    if (rest == NULL)
       return;   

    /* reverse the rest list and put the first element at the end */
    recursiveReverse(&rest);
    first->next->next  = first;  

    /* tricky step -- see the diagram */
    first->next  = NULL;          

    /* fix the head pointer */
    *head_ref = rest;              
}

我不明白为什么在最后一次递归调用之后 rest 的值保持不变？我知道 recursiveReverse(&rest) 正在传递实际的 rest 地址，但这个地址不是仅由 head_ref 获取吗？这意味着每个递归调用都有自己的 first 和 rest 的本地副本，因此 *head_ref = rest 不应该工作，因为 rest 的值会不断变化。

我的理解哪里出了问题？

编辑：添加我的一些涂鸦。

Answer 1

我不明白为什么在最后一次递归调用之后 rest 的值 还是一样？

它遇到递归调用的基本情况并立即返回。

 /* List has only one node */
    if (rest == NULL)
       return;  

每个递归调用都有自己的 first 和 rest 的本地副本？

是的，没错。 See how it works.

*head_ref = rest 不应该工作，因为 rest 的值会不断变化。

没有。它最终指向链表的最后一个元素，这将是第一个元素，我的意思是最右边的节点（在未更改的列表中）将被指向。