刚刚计算机组成原理讲到汇编语言的递归,很受启发,所以分享一个用模拟栈实现递归的通用方法。
在模拟递归过程中之前,肯定先得把递归过程弄明白
比如对于下面的递归(伪代码):
void dfs(int a0,int a1,...)
{
{
代码块0;
}
dfs(a00,a11,...);
{
代码块1;
}
}
它的执行过程如下:
总的来说递归过程分为以下五步:
- 执行代码块0
- 保存现场准备进入下一层
- 接受下层返回的数据
- 恢复现场
- 继续执行代码块1
上述五步相当重要
在直接用递归程序实现递归时,第二步和第四步都是编译器在帮助你完成。而手写递归则需要自己用模拟栈来实现保存现场和恢复现场。
接下来讲如何实现用模拟栈来实现
先约定我们的变量名称
//命名方式是遵从的是 汇编语言MIPS指令里面对应的寄存器编号
int ret;//不同递归层相互通信的信使,也就是存放的普通递归里面return里面的值
struct data
{
int a0,a1,a2,a3;//表示递归函数输入参数和部分保存的“现场数据”
int v0;//该层递归结束时的返回值
int ra;//地址,记录应该执行哪个代码块了
}
然后看一个最简单的例子递归实现n阶乘和手写递归实现n阶乘
good luck and have fun!!!
#include<bits/stdc++.h>
using namespace std;
int fact1(int n)
{
if(n==1) return 1;
else return n*fact1(n-1);
}
int fact2(int n)
{
int ret;
struct data
{
int a0;
int v0;
int ra;
};
stack<data> S;
S.push({
n,0,0});//递归栈初始化,ra=0表示先进入代码块0
while(!S.empty())
{
data now=S.top();S.pop();
int a0=now.a0;
int ra=now.ra;
int v0=now.v0;
switch(ra)
{
case 0:
{
if(a0==1)//递归结束条件
{
S.push({
a0,1,1});//此条语句也可省略
ret=1;//将本层返回值传给ret
}
else
{
S.push({
a0,v0,1});//本层入栈,排队准备进入代码块1
S.push({
a0-1,v0,0});//下一层入栈,马上执行代码块0
}
continue;
}
case 1:
{
v0=a0*ret;//将下层的返回值和自己的a0相乘并变为自己的返回值
ret