C语言递归函数sam(3,0)返回值计算与实际输出不符问题排查

核心问题：函数存在未定义行为 #

原sam函数的else分支没有显式的return语句，而C语言规定非void类型的函数必须在所有代码路径上都有返回值。当函数执行到else分支末尾时无返回值，程序会读取栈上的随机残留值作为返回结果，你得到的2是未定义行为导致的巧合结果。

递归执行流程拆解 #

我们一步步追踪sam(3, 0)的执行过程：

1. 调用sam(3, 0)：
   • 进入else，a = 0 + 3 = 3，调用sam(2, 3)
2. 调用sam(2, 3)：
   • 进入else，a = 3 + 2 = 5，调用sam(1, 5)
3. 调用sam(1, 5)：
   • 进入else，a = 5 + 1 = 6，调用sam(0, 6)
4. 调用sam(0, 6)：
   • 触发终止条件，return 6（修改版函数在此处打印6，这是正确的累加结果）
5. 回到sam(1, 5)的递归调用后：
   • 执行a += n，此时n已变为0（之前执行了--n），a = 5 + 0 = 5，但此分支无return，函数无返回值
6. 回到sam(2, 3)的递归调用后：
   • 执行a += n，此时n为1（--n后的结果），a = 3 + 1 = 4，同样无返回值
7. 回到sam(3, 0)的递归调用后：
   • 执行a += n，此时n为2（--n后的结果），a = 0 + 2 = 2，无返回值，程序最终将这个2作为sam(3,0)的返回值（未定义行为的巧合）

为什么修改版打印出6？ #

修改版函数仅在递归终止的最底层sam(0,6)中打印了a的值，这个值确实是正确的累加结果6。但上层递归函数依然没有返回值，主函数也没有尝试打印sam(3,0)的返回值，所以你看不到错误的2，但函数本身的问题依然存在。

修复方案 #

要让函数返回正确的6，需要：

1. 确保所有代码路径都有return语句
2. 正确传递递归的返回结果，同时去掉多余的a += n（这会修改累加后的正确值）
3. 修正格式符不匹配的问题（原主函数用%ld打印int类型，会导致未定义行为）

修复后的代码：

#include <stdio.h>
int sam(int n,int a)
{
    if(n==0)
         return a;
    else
    {
        a += n;
        return sam(--n, a); // 递归调用后直接返回结果
    }
}

int main()
{
    printf("%d", sam(3,0)); // 用%d匹配int类型
    return 0;
}

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