终端和非终端递归调用

Terminal && Non Terminal recursive call

本文关键字:终端 调用 递归      更新时间:2023-10-16

有人能告诉马终端递归调用和非终端递归调用之间的区别吗??

我写了

#include <iostream>
int factorial(int n)
{
    if (n==0 || n==1)
        return 1;
    else
        return n*factorial(n-1);
}

当递归调用是函数中要完成的最后一个操作时,会发生终端递归。

当从递归调用返回时有额外的工作要做时,就会发生非终端递归。

您的示例是非终端的,因为从递归调用返回后,仍有一个乘法要做(n*)。最后一行:

return n*factorial(n-1)

实际上相当于:

int temp = factorial(n-1);
return temp * n;

您可以将factorial()函数更改为带有附加参数的终端:

int factorial_x(int n, int f)
{
    if (n==0 || n==1)
        return f;
    else
        return factorial_x(n - 1, f * n);
}
int factorial(int n)
{
    return factorial_x(n, 1);
}

递归调用:

return factorial_x(n - 1, f * n);

相当于:

int n2 = n - 1;
int f2 = f * n;
return factorial(n2, f2);

正如您所看到的,现在乘法是在递归调用之前,而不是在递归调用之后。在递归调用之后,什么都没有,只有return,所以这实际上是尾部递归。