C语言函数无return语句可编译？未返回值却获正确结果疑问

一、为什么无return语句的函数能编译通过？ #

• C语言标准规定：对于返回类型非void的函数，如果执行到函数末尾却没有遇到return语句，属于未定义行为，但这并不属于语法错误。
• 大多数编译器（比如GCC、Clang）在默认警告级别下，只会输出类似 warning: control reaches end of non-void function 的警告信息，不会强制终止编译。只有当你开启严格警告选项（例如GCC的-Werror），才会把这类警告升级为错误，阻止编译通过。
• 简单说：编译器允许这种代码通过，但明确提示写法存在问题，只是默认不强制拦截。

二、为什么没层层返回值却能得到正确结果？ #

这完全是依赖特定编译器和CPU架构的偶然现象，核心原因是函数返回值的存储约定：

• 在x86/x86_64架构的常见调用约定（比如cdecl）中，函数的返回值通常会存在eax（32位）或rax（64位）寄存器里。
• 以你的第二段代码为例，当递归到n=1时，函数执行return b，会把b的值写入eax寄存器。后续的递归调用（比如fibo(2, ...)、fibo(3, ...)等）结束时，因为没有return语句，编译器没有生成修改eax的指令，所以eax里的值仍然是最后一次正确return的结果。
• 当main函数调用fibo(7, ...)结束后，会从eax寄存器读取返回值，刚好拿到了那个正确的数值。

但必须强调：这种结果是不可靠的，属于未定义行为的范畴：

• 换不同的编译器（比如MSVC）、不同的优化级别（比如开启-O2优化）、不同的CPU架构（比如ARM），结果可能完全错误。
• 编译器有权对未定义行为做任何处理，包括修改寄存器值、程序崩溃、输出随机数等，绝对不能依赖这种写法。

示例代码对照 #

第一段无return的代码 #

int fibo(int n) {
    if (n == 0 || n == 1) {
        return n;
    } else {
        // 无return语句，仅计算表达式
        fibo(n-1) + fibo(n-2);
    }
}

第二段仅递归无return的代码 #

int fibo(int n, int a, int b) {
    if (n == 1) {
        return b;
    } else {
        // 仅递归调用，无return
        fibo(n-1, b, a+b);
    }
}

内容的提问来源于stack exchange，提问作者Harsh Shah