无返回语句的递归C函数运行行为解析请求

我完全理解你的困惑——明明递归函数漏掉了关键的return语句，程序却还能输出正确结果，这看起来太违反直觉了！咱们一步步拆解这个问题：

为什么编译器没报错甚至没警告？ #

C标准里规定，非void类型的函数（除了main函数有特殊例外）如果执行到函数末尾却没有返回语句，属于未定义行为。但编译器并不是必须对此报错，很多编译器默认只会给出警告，如果你没开启足够的警告等级（比如GCC默认不会强制提示这个问题），就看不到相关提醒。

比如你用GCC编译时加上-Wall或者-Wreturn-type选项，就能看到明确的警告：

warning: control reaches end of non-void function

为什么程序能“碰巧”输出正确结果？ #

这其实是依赖了特定硬件和编译器实现的巧合：
在x86/x86_64这类常见的CPU架构中，函数的返回值通常是通过特定寄存器（比如eax）来传递的。当递归走到n == 0的分支时，return curr_sum会把计算好的总和写入这个寄存器。之后每一层递归调用结束后，虽然上层函数没有写return语句，但函数退出时并没有修改这个寄存器里的值，所以当最终回到main函数时，printf拿到的还是那个存在寄存器里的正确值。

但要特别注意：这绝对不是可靠的行为！换个编译器（比如MSVC）、换个CPU架构（比如ARM），或者开启更高的优化级别，这个程序的结果可能就完全错误，甚至导致程序崩溃——因为未定义行为意味着编译器可以做任何事情，没有任何运行保障。

正确的写法应该是什么？ #

你只需要在递归调用前加上return关键字即可，修改后的函数如下：

int sum_up_to_n(int n, int curr_sum) {
    if (n == 0) {
        return curr_sum;
    }
    return sum_up_to_n(n - 1, n + curr_sum);
}

这样既符合C标准，无论什么环境下都能稳定运行，编译器也不会再有任何警告。

备注：内容来源于stack exchange，提问作者Ashutosh Aswal