C语言递归求和函数疑问：N=2时输出为何为5？

第一段完整代码 #

#include <stdio.h>
#include <stdlib.h>

int func(int n,int a)// 我尝试计算用户输入的N以内的数值之和
{
    if(n>=a) // 当N=2时；若条件为n>a，求和结果为3，若为n>=a，求和结果为5
    {
        return a+func(n,a+1);
    }
}
int main(int argc, char *argv[]) 
{
    int n;
    printf("N: ");
    scanf("%d",&n);
    int sum;
    int a=1;
    sum=func(n,a);
    
    printf("1-N Summing: %d",sum);
}

第二段修正后的func函数代码 #

int func(int n,int a)// 未声明返回值时，为何n会被作为返回值？
{
                 // 是否必须始终声明返回值？
    if(n>=a) // 当N=2时；若条件为n>a，求和结果为3，若为n>=a，求和结果为5
    {
        return a+func(n,a+1);
    }
    else
           return 0;
}

问题与推导 #

输入N=2时，第一段代码输出结果为5，疑惑点：当if条件不成立时，编译器为何会将n作为返回值？

推导过程 #

• 当执行逻辑为n>=a时：

  2>=1;      1+func(2,2)
             1 +2+func(2,3) 此时2>=3不成立，按我的理解结果应为1+2=3
             但实际计算为1 + 2 +2 =5
  

• 当执行逻辑为n>a时：

  2>1;      1+func(2,2) 此时2>2不成立，按我的理解结果应为'1'
            实际却得到1+ 2=3
  

原因分析 #

1. 核心问题：缺少默认返回值触发未定义行为
   C语言明确规定，非void类型的函数必须在所有代码路径都有明确的return语句。第一段代码的func函数中，当n >= a不成立时，没有编写return语句，这属于未定义行为。
   未定义行为的结果完全不可控——编译器可能返回栈中某个残留的变量值（这里刚好是参数n的值），也可能导致程序崩溃，具体表现取决于编译器实现和运行环境。

   对应N=2的场景：

   • 递归到func(2,3)时，2>=3不成立，函数无返回值，编译器返回了栈中的n值（2），最终计算为1+2+2=5。

2. 条件改为n>a时的异常结果
   同样是因为缺少默认返回值：

   • 递归到func(2,2)时，2>2不成立，函数无返回值，编译器返回了n的值（2），所以最终计算为1+2=3，而非预期的1。

3. 第二段代码的正确性
   第二段代码在else分支添加了return 0，覆盖了所有代码路径，此时递归逻辑完全正确：

   • 当n>=a不成立时返回0，计算1+2+0=3（对应N=2，条件n>=a）；1+0=1（对应条件n>a），结果符合预期。

结论 #

• 非void类型的C函数必须保证所有代码路径都有明确的return语句，否则会触发未定义行为，结果不可控。
• 你的递归求和逻辑本身没有问题，只要补上默认返回值（比如else分支return 0），就能得到正确结果。

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