为何无返回值的C语言递归函数Bye输出30而非报错？

首先看你提供的代码：

#include<stdio.h>
int Bye(int n);
void main()
{
    int n = 10;
    printf("%d", Bye(n));
}
int Bye(int m)
{
    if (m > 0) {return (m+Bye(m-2));}
}

核心问题：未定义行为 #

你的判断本质是对的——这段代码违反了C语言标准：非void类型的函数（main除外）必须通过return语句返回对应类型的值。当m=0时，Bye函数跳过return直接执行到函数末尾，这种情况属于未定义行为，C标准不对该场景的结果做任何保证，程序可能输出正确值、垃圾值，甚至直接崩溃。

为什么实际输出30？ #

这是编译器（比如Code::Blocks默认使用的GCC）的特定实现细节导致的巧合：

• 在x86/x86_64架构的调用约定中，函数的返回值通常存储在eax（32位）或rax（64位）寄存器中。
• 当Bye(0)执行时，没有任何代码修改寄存器的值，此时寄存器中恰好保留了0（可能是之前递归调用的遗留值，或是寄存器初始化状态）。
• 递归链的计算因此变成了10+8+6+4+2+0，最终得到30。

但这完全是偶然现象，如果换用其他编译器、开启优化选项，或者修改代码的其他部分，结果可能完全不可预测。

正确的写法 #

要让程序行为符合预期，必须在Bye函数末尾添加显式的返回语句，确保所有分支都有返回值：

int Bye(int m)
{
    if (m > 0) {return (m+Bye(m-2));}
    return 0; // 补充m<=0时的返回值
}

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