控制流结构中没有指定返回语句的函数返回值

Question

今天我正在试验随机的 C 代码，我发现了一些让我感到困惑的东西。在以下程序中：

#include <stdio.h>
int f(int x)
{
        if(x==2)
        return 2;
        else
        {
                printf("+");
                f(x-1);
        }
}
int main()
{
        int n,i;
        n = f(6);
        printf("%d\n",n);
}

输出很符合预期++++2，没有混淆'+'的数量，因为递归调用的数量是4。但是我的问题是关于返回值2。在函数中，返回了一个值当if(x==2) 条件成立时。现在，当使用 2 以外的数字调用函数时，它将进入 else 块。该块中没有明确的 return 语句。但它仍然在返回一个值。如何允许？即使没有明确要求程序返回一个数字，它又是如何决定返回的呢？程序是否只是简单地返回它从最近的函数调用中获得的数字？当一个函数被调用时，调用者维护一个栈。返回值存储在寄存器中。该函数是否应该返回存储在该寄存器中的值？有人请解释一下。

Answer 1

如果到达终止函数的}，并且在调用者中使用返回值，则程序的行为是undefined。您不能期望任何理由对 您 获得的价值作为回报。在另一次运行中，它可能会返回一个完全不同的整数值，返回您最喜欢的歌曲的完整歌词，或者让您的计算机着火。没有任何保证。

引用 C11，第 6.9.1 章

如果到达终止函数的}，并且调用者使用了函数调用的值，则行为未定义。