递归 - Python，返回值问题

Question

我意识到这可能听起来像一个愚蠢的问题，但我最后一次编程是在汇编程序中，所以我的想法可能已经关闭：

递归函数如下：

def fac(n):
    if n == 0:
        return 1
    else:
        return n * fac(n - 1)

为什么当函数达到n == 0时它不返回1而是返回阶乘的答案。我在思考类似于汇编程序的东西，当n == 0：

时

mov eax, 1
ret

为什么上面的代码工作，我想python会在该条件之前返回堆栈的最后一个值？

Answer 1

想想这样，对于 fac（5），例如：

return 5 * fac(4)
           return 4 * fac(3)
                      return 3 * fac(2)
                                 return 2 * fac(1)
                                            return 1 * fac(0)
                                                       1

所以 1 将是第一个返回的值，但它将返回 fac（1）和 fac（1） 将返回 fac（2），依此类推。

Answer 2

当n == 0时返回1.返回值从调用站点弹出堆栈，这是 n * fac（n - 1）<的调用。 1 乘以 n 并返回等等。

Answer 3

如果你打电话给fac（0），它将返回1（不是0，但我想这只是你问题中的一个错字）。如果你调用fac（1），它将进入else子句，并在那里调用 fac（0）。这将返回1.然后它将计算n * 1，即1，然后返回。如果你打电话给 fac（2），它也会进入else子句，在那里它将调用 fac（1），如上所述将返回1，所以 n * fac（n-1）将为2，这是 fac（2）的返回值。等等。我希望能为你解释一下。

Answer 4

没有任何隐含的返回 - 当n = 0时，函数进入if语句，并直接从 return 1 语句返回1。 然而，这不是“回答是因子”的点。返回给用户。相反，它可能会将此值返回到 调用函数调用fac（1），它位于 n * fac（n - 1）分支的中间。因此，它将采用“1”。返回并返回 n * 1 ，这是1到它的调用者。如果是fac（2），它将返回 n * 1 ，或者2返回它来电等等。

因此fac（5）被翻译成：

fac(5) = 5 * fac(4) = 5 * (4 * fac(3) = 5 * (4* (3 * fac(2)) = 5 * (4* (3 * (2 * fac(1)) = 5 * (4* (3 * (2 * (1 * fac(0)) = 5*4*3*2*1*1

只有在通过每个上层返回1值后，它才会返回到第一个调用者，并且每个阶段的乘法都会给出答案。

Answer 5

James，当你对函数的最后调用（当n == 0）时，它只是调用堆栈中fac（n）的几个实例之一。如果你说print（fac（4）），那么堆栈基本上是：

fac(0)
fac(1)
fac(2)
fac(3)
fac(4)
print()

对fac（0）的最终调用适当地返回1，但是在Python中你已经请求了第一次调用fac（n），fac（4）的返回值。

不要认为它是一个循环，其中'ret'会爆发，返回只是简单地结束几个待处理的执行之一。