更好地理解链表中的递归

Question

我想更深入地理解递归，而不仅仅是直观。我知道这个概念，也知道如何递归求解阶乘或斐波那契数列。但是当递归使用时，我似乎无法很好地想象链表中到底发生了什么。

更具体地说，我正在努力理解以下算法：

（它在链表中查找最大值。它通过从第二个元素开始递归搜索最大值。然后将其与第一个元素进行比较并返回较高的那个。）

 function MaxRec (inRefBegin : tRefList) : tRefList;
  { returns recursively a pointer to the max element in a list }

    var
    rekMax : tRefList; { variable to point to the recursive maximum 
                          starting from second element }
    begin
      if inRefBegin = nil then { Base Case, recursion stops }
        MaxRec := nil
      else
      begin
        rekMax := MaxRec (inRefBegin^.next); 
        if rekMax = nil then
          MaxRec := inRefBegin
        else
          if inRefBegin^.info < rekMax^.info then
            MaxRec := rekMax
          else
            MaxRec := inRefBegin
      end { if }
    end; { MaxRec }

我确实明白理论上应该发生什么。我很难一步一步地想象它。每个堆栈级别会发生什么？ 我不明白这一行如何：rekMax := MaxRec (inRefBegin^.next) 可以找到最大值....它只使用指向下一项的指针调用函数，但不比较任何值....函数被调用的时间？？

我的思考过程是这样的： 假设我有一个这样的链表：

5 => 7 => 10 => 3 => 2 => nil 

1. 函数被调用并且不为零（（保存到堆栈））
2. 函数被调用并且不为零（（保存到堆栈））
3. 函数被调用并且不为零（（保存到堆栈））
4. 函数被调用并且不为零（（保存到堆栈））
5. 函数被调用并且不为零（（保存到堆栈））

6. 递归停止

7. 现在会发生什么？我是否将每个函数与第一个元素进行比较？或者这是我已经拥有递归最大值的地方？可以想象一下吗？

我非常感谢每一个帮助。我知道这个主题在网上有大量资源，相信我已经阅读过它们。但我仍然不清楚每个级别到底发生了什么。

Answer 1

7) 现在会发生什么？我是否将每个函数与第一个元素进行比较？或者这是我已经拥有递归最大值的地方？可以想象一下吗？

在 7) 递归停止，因为您已到达列表的末尾，因此返回 nil。 然后继续上一个调用，此时 MaxRec 的结果现在为零，因此最后一部分的最大值是当前的 inRefBegin 值（同样，因为返回了 nil）。

对于其他级别，退出递归，将当前节点中的值与递归调用返回的值进行比较，并保留最大的节点，直到最后留下最大节点整个列表。

这有帮助吗？