c - 为什么递归函数调用需要返回一个值给调用函数？

Question

在下面的递归函数中，

int subtractByOne(int num) {
    printf("%d\n", num);
    if (num == 0)
        return 0;
    return subtractByOne(num - 1);
}

为什么需要最终返回？据我了解，基本情况将始终停止递归，并且当控制到达函数末尾时(在递归调用之后)，该函数将把控制权转移给调用它的任何人而不返回。

我对栈帧和返回地址的了解很薄弱，但栈应该接收一个独立于实际返回关键字的返回地址，不是吗？

Visual Studio 2015 会发出有关控制路径的警告，我理解这一点。然而，在编程类(class)中，评分者的 IDE 不会编译类似的代码，教授评论说代码不正确，而不仅仅是错误的做法。我当时修正了代码，但始终不明白为什么它不正确。

Answer 1

函数定义说它将返回一个整数。如果您不放置最后一个返回值，则只有基本情况会返回值 0 并将控制权转移到前一个(调用方)函数，但不会发生其他返回值。

在这种情况下您可能不需要返回值，因此您可以在函数定义中使用 void 作为返回值，并完全摆脱所有返回值，但在许多情况下您将需要返回值。一个这样的简单示例是计算 1...n 个整数的总和，如下所示:

int sum(int n)
{
   if(n==0)
       return 0;
   return n + sum(n-1);
}