递归过程和关联的递归工作堆栈的示例:
'''c
#include <stdio.h>
int factorial(int n) {
if (n == 0)
return 1;
else
return n * factorial(n - 1);
}
int main() {
int result = factorial(5);
printf("Factorial: %d\n", result);
return 0;
}
'''
在这个例子中,我们有一个递归过程"阶乘",它计算一个数字的阶乘。基本情况是当 'n' 等于 0 时,该过程返回 1。在递归情况下,该过程使用参数"n - 1"调用自身。
当我们执行程序时,以初始值 5 调用递归过程。递归工作堆栈的演变方式如下:
- 'factorial(5)' 称为:
-
当前执行状态被推送到堆栈上,包括 'n' 的值 (5) 和返回地址。
-
触发递归情况,并调用 'factorial(4)'。
- 'factorial(4)' 称为:
-
当前执行状态被推送到堆栈上,包括 'n' (4) 的值和返回地址。
-
触发递归情况,并调用 'factorial(3)'。
- 'factorial(3)' 称为:
-
当前执行状态被推送到堆栈上,包括 'n' 的值 (3) 和返回地址。
-
触发递归情况,并调用 'factorial(2)'。
- 'factorial(2)' 称为:
-
当前执行状态被推送到堆栈上,包括 'n' (2) 的值和返回地址。
-
触发递归情况,并调用 'factorial(1)'。
- 'factorial(1)' 称为:
-
当前执行状态被推送到堆栈上,包括 'n' (1) 的值和返回地址。
-
触发递归情况,并调用 'factorial(0)'。
- 'factorial(0)' 称为:
-
满足基本情况,返回值 1。
-
"factorial(0)"的堆栈帧从堆栈中弹出。
当堆栈展开时,每个递归调用都会返回其结果,从而允许计算最终结果。中间结果相乘,直到我们达到"factorial(5)"的原始调用。最后,将结果打印为 5 的阶乘。
递归工作堆栈在管理执行流程和在递归期间保持状态方面起着至关重要的作用,确保获得正确的结果。