为什么这个前序遍历会返回最后一个节点？

Question

我明白为什么字母 [A, B, D] 会附加到列表中。但我不明白最后两个字母 [E, C] 是如何添加的。 在 pre_order('C', nodes) 之后，字母 'C' 没有左孩子，函数怎么知道要上一级字母 'B' 并检查它的孩子，等等？看树图： Tree

def pre_order(root, nodes):
    nodes.append(root.data)
    if root and root.left:
        pre_order(root.left, nodes)
    if root and root.right:
        pre_order(root.right, nodes)
    return nodes

    print(pre_order(root, [])) #prints ['A', 'B', 'D', 'E', 'C']

Answer 1

执行后，函数返回到调用它的任何地方，在这种情况下 - 调用相同的函数但具有不同的参数。

让我们看看它在您的示例中是如何工作的。每个缩进都是一个新的执行 - 看看我们如何返回到前一个缩进并继续。

• 我们从节点 A 上的 pre_order 开始，列表为空
  • 将 A 附加到当前列表，新列表 = [A]
  • 第一个 if 命中，所以我们在 B 上执行列表：
    • 将 B 附加到当前列表 [A]，新列表 = [A, B]
    • 第一个 if 命中，所以我们在 D 上执行列表：
      • 将 D 附加到当前列表 [A, B]，新列表 = [A, B, D]
      • 第一个 if 没有命中，因为 D 没有左孩子
      • 第二个if 没有命中，因为 D 没有正确的孩子
      • 返回 [A, B, D]
    • 我们得到了内部执行的结果，并从它开始的地方继续（在 B 中）
    • 第二个 if 命中，所以我们在 E 上执行列表（由于可变性，现在在内部函数中进行了更改）
      • 将 E 附加到当前列表 [A, B, D]，新列表 = [A, B, D, E]
      • 第一个 if 没有命中，因为 E 没有左孩子
      • 第二个if 没有命中，因为 E 没有正确的孩子
      • 返回 [A, B, D, E]
    • 我们得到了内部执行的结果，并从它开始的地方继续（在 B 中）
    • 返回 [A, B, D, E]
  • 我们得到了内部执行的结果，并从它开始的地方继续（在 A 中）
  • 第二个if 命中，所以我们在 C 上执行列表（现在在内部执行中多次更改）
    • 将 C 附加到当前列表 [A, B, D, E]，新列表 = [A, B, D, E, C]
    • 第一个 if 没有命中，因为 C 没有左孩子
    • 第二个if 没有命中，因为 C 没有正确的孩子
    • 返回 [A, B, D, E, C]
  • 我们得到了内部执行的结果，并从它开始的地方继续（在 A 中）
  • 返回 [A, B, D, E, C]
• 我们回到第一次执行 pre_order 的地方 - 即打印函数

[列表中可能有轻微的拼写错误和小错误，我复制粘贴了大部分内容，可能我忘记更改某些内容]