求解释C语言递归prod乘法函数的运行逻辑与执行流程

你提供的函数代码如下：

int prod(int a, int b) {
    if (a == 0 || b == 0) {
        return 0;
    } else {
        return a + prod(a, b - 1);  
    }   
}

这个函数的核心是通过递归累加实现非负整数的乘法运算，本质是把a * b转换为b个a相加的结果，符合乘法的基础定义。

核心运行逻辑 #

递归函数的运行分为两个核心部分：

• 终止条件：当a或b为0时直接返回0，符合数学规则「0乘任何数都为0」
• 递推规则：把当前的a和「少加一次a的乘积结果」相加，即prod(a,b) = a + prod(a, b-1)

常见疑问解答：为什么内层返回0还能得到正确乘积？ #

你提到的「最终返回0」其实是最内层递归调用的返回值，不是整个函数的最终输出。递归执行分为「递推（逐层深入调用）」和「回溯（逐层返回结果）」两个阶段，内层的0只是加法的单位元，不会影响累加结果，我们用prod(2,3)的完整执行流程来演示：

递推阶段（从外到内调用） #

1. 第一层调用：a=2，b=3，不满足终止条件，返回值为 2 + prod(2, 2)，进入下一层调用
2. 第二层调用：a=2，b=2，不满足终止条件，返回值为 2 + prod(2, 1)，进入下一层调用
3. 第三层调用：a=2，b=1，不满足终止条件，返回值为 2 + prod(2, 0)，进入下一层调用
4. 第四层调用：a=2，b=0，满足终止条件，直接返回0

回溯阶段（从内到外计算返回值） #

1. 第三层拿到内层返回的0，计算得到自身返回值：2 + 0 = 2，返回给上层
2. 第二层拿到内层返回的2，计算得到自身返回值：2 + 2 = 4，返回给上层
3. 第一层拿到内层返回的4，计算得到自身返回值：2 + 4 = 6，也就是2*3的最终结果

注意事项 #

这个函数仅支持b为非负整数的场景，如果b为负数，会因为b持续递减永远碰不到终止条件，最终导致栈溢出程序崩溃。

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