C语言int型递归函数无return语句却返回特定值的问题咨询

问题背景 #

有一个递归函数int f(int n)，仅在n==1时执行return语句。测试发现：当n=2、3时，接收返回值的变量y=2；n=4、5时y=3；n=6、7、8时y=4，以此类推。函数中x为静态变量，代码如下：

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

一、无return语句却能返回值的底层机制 #

C语言标准明确规定：返回类型非void的函数，若执行到函数末尾未遇到return语句，属于未定义行为。这意味着不同编译器、不同编译环境下的结果可能不一致，但在GCC、Clang等主流编译器的x86架构实现中，通常遵循以下逻辑：

函数的返回值会被存储在eax寄存器中。当调用子函数时，子函数会将返回值写入eax；如果当前函数没有执行return语句，eax寄存器中的值不会被修改，当前函数会直接将这个值作为自己的返回值返回——简单来说，就是“继承”最后一次调用的子函数的返回值，或者最后一个执行的表达式的计算结果。

二、n=2、3时返回2的具体逻辑 #

我们以每次单独运行程序（静态变量x每次启动都会重新初始化为1）的场景分析：

当n=2时 #

1. 调用f(2)，静态变量x初始值为1，进入else分支的for循环：
   • 第一次循环（i=1）：调用f(1)，f(1)执行return 1，此时eax寄存器值为1。回到f(2)后计算x = 1 + 1 = 2，赋值表达式的结果为2，部分编译器会将这个结果写入eax，随后打印x=2。
   • 第二次循环（i=2）：再次调用f(1)，f(1)返回1，eax被重置为1。回到f(2)计算x = 2 + 1 = 3，打印x=3。
2. for循环结束后，f(2)无return语句。此时若编译器保留了第一次循环中赋值表达式的结果（2），或者在递归调用的栈处理中，某个层级的返回值被保留，最终就会返回2。

当n=3时 #

1. 调用f(3)，x初始值为1，进入else分支的for循环：
   • 第一次循环（i=1）：调用f(2)，f(2)的执行流程和上述n=2的场景一致，最终f(2)返回2（基于上述编译器行为）。回到f(3)计算x = 1 + 2 = 3，打印x=3。
   • 第二次循环（i=2）：再次调用f(2)，此时x的值为3，f(2)执行后x会被更新为5，但f(2)依然返回2。回到f(3)计算x = 3 + 2 = 5，打印x=5。
2. for循环结束后，f(3)无return语句，继承最后一次调用f(2)的返回值2，因此y=2。

需要注意的是，这种返回结果完全依赖编译器的具体实现，属于未定义行为，在实际开发中绝对不能依赖这种逻辑，必须为非void类型的函数添加明确的return语句。

内容的提问来源于stack exchange，提问作者Sahil Ansari