通过递归方法跟踪激活记录

Question

因为要很好地学习递归思想背后的逻辑，所以我在使用调试器学习数据结构的同时进行练习。这个问题可能看起来很简单，但它只是引起轰动。该方法在二叉搜索树中找到最大元素。 - 通常，二叉搜索树（完整实现为click here）是一棵树，其中左孩子的元素少于根元素，右孩子的元素比根元素多。 - 在找到它之前，该方法会进入新的激活帧并将其推送到堆栈顶部。找到后，它们会以相反的顺序 (LIFO) 弹出。我的问题是，为什么该方法返回第二条语句（return findMax(node.right)）？如果调试器显示激活帧被弹出，为什么它只显示一次？我希望图片也有助于更好地理解我的问题。

/* bST.add(1),bST.add(3),bST.add(7),bST.add(6),bST.add(4),
   bST.add(13),bST.add(14),bST.add(10),bST.add(8); */

/**
 * Find max element in the BST
 * @param node local node being given
 * @return max element
 */
public E findMax(Node<E> node) {
        if (node.right == null)
            return node.data;
        return findMax(node.right);
}

Answer 1

代码沿着树的右侧向下运行，直到遇到最大的元素：没有右孩子的那个。然后它返回那个节点的数据值——给调用它的实例。那是从节点 13 调用的实例。

特定语句 return node.data 是此递归的基本情况。第二个，return findMax(node.right)，是递归的情况。当您达到值 14 时，您已将其中的四个 回报 堆积起来，等待结果。

来自节点 13 的那个会将值 14 传递回来自节点 7 的调用，继续向下堆栈直到来自节点 1 的调用返回值 14到任何称为 findMax 的东西。

我不知道为什么您的调试器仅显示第一次激活“pop”的证据。不知道你用的是什么设置。如果您是单步执行，或者在 return 处设置了断点（以及 findMax 调用），您应该会看到两端：向下另一个水平，然后按 LIFO 顺序返回。

这对你有好处吗？