了解堆栈帧如何在递归函数中工作

Question

这里是 Python/CS 新手，试图了解特定递归函数是如何“在后台”工作的，即函数的堆栈帧如何操作以及它们“持有”什么值。

我知道这里有很多关于递归函数的文章/发布，并且有说明它们如何工作的示例，但是递归的概念以及堆栈如何工作/它们在递归函数中的作用有点棘手，并且我没有找到任何清晰简洁的解释。

假设我们有以下递归函数可以反转字符串中的字符：

text = "hello"
def reverse_string(text):
        if len(text) <= 1:
            return text
        return reverse_string(text[1:]) + text[0]

哪个输出：olleh

我认为reverse_string(text[1:]) 的框架如下工作：

Global frame
text    "hello"
reverse_string  

reverse_string
text    "hello"

reverse_string
text    "ello"

reverse_string
text    "llo"

reverse_string
text    "lo"

reverse_string
text    "o"

Return
value   "o"

但是在返回值"o" 并且满足终止基本条件之后会发生什么？ text[0] 在函数中是如何工作最终到达"olleh" 的？

Answer 1

只是以你的例子来散步。

一旦我们达到终止条件，剩余的帧就会以相反的顺序弹出。

假设我们达到了终止条件，在这种情况下return text 是“命中”并且text = "o" 被返回。然后在前一帧中我们有reverse_string(text[1:]) + text[0]，但这只是reverse_string("o") + "l" = "o" + "l" = "ol" = reverse_string(text[1:])，其中reverse_string(text[1:]) 是来自前一帧的调用（text 等于“llo”的调用）。继续这个逻辑，reverse_string("lo") + "l" = "ol" + "l" = "oll"。

我们继续同样的想法，直到我们到达最终返回“olleh”的“顶部”框架。