递归函数执行原理解析：为何power(2,5)返回32？

嘿，我来帮你拆解这个递归函数的逻辑，搞清楚那个exponent - 1到底在做什么！

首先，先明确这个函数的功能：它是用递归的方式计算底数的指数次方（也就是数学里的base^exponent）。你输入的power(2,5)就是计算2的5次方，结果32完全符合数学定义——那我们来一步步看递归是怎么实现的。

递归的核心：拆解问题 #

递归的本质就是把一个大问题拆成更小的、结构相同的子问题，直到子问题简单到可以直接解决（也就是终止条件）。这个函数的终止条件是：

if (exponent == 0) return 1;

这是数学里的定义：任何数的0次方都等于1，这是我们递归的“终点”。

exponent - 1的作用：缩小问题规模 #

当指数不是0的时候，函数执行：

return base * power(base, exponent - 1);

这里的exponent - 1就是在把当前的计算任务拆成一个更小的任务。比如计算power(2,5)，我们可以把它转化为：

2 乘以 2的4次方的结果

而计算power(2,4)又可以拆成：

2 乘以 2的3次方的结果

以此类推，直到指数降到0，触发终止条件返回1。

一步步展开计算过程 #

我们把power(2,5)的调用链完全展开，你就能看得清清楚楚：

• power(2,5) = 2 * power(2,4)
• power(2,4) = 2 * power(2,3)
• power(2,3) = 2 * power(2,2)
• power(2,2) = 2 * power(2,1)
• power(2,1) = 2 * power(2,0)
• power(2,0) = 1（触发终止条件）

现在从终点倒推回去计算结果：

• power(2,1) = 2 * 1 = 2
• power(2,2) = 2 * 2 = 4
• power(2,3) = 2 * 4 = 8
• power(2,4) = 2 * 8 = 16
• power(2,5) = 2 * 16 = 32

为什么必须有这个-1？ #

如果去掉-1，函数会一直调用power(base, exponent)，永远达不到exponent == 0的终止条件，最终会导致栈溢出错误（调用栈被无限增长的递归调用撑爆）。所以这个-1是让递归能够“收敛”到终止条件的关键。

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