#include <stdio.h>
void call(int n )
{
if ( n > 0 )
{
call(--n) ;
printf("\n%d",n) ;
call(--n) ;
}
}
int main(void )
{
int a = 3 ;
call(a) ;
return 0 ;
}
在上面提到的代码中,我很难理解它背后的逻辑。 我得到0 1 2 0作为输出。为什么呢?
答案 0 :(得分:5)
call(3)
│ n3=3
│ --n3 (n3=2)
├╴call(2)
│ │ n2=2
│ │ --n2 (n2=1)
│ ├╴call(1)
│ │ │ n1=1
│ │ │ --n1 (n1=0)
│ │ ├╴call(0)
│ │ │ └ return
│ │ │
│ │ │ printf("\n0"); ⇦ 0
│ │ │
│ │ │ --n1 (n1=-1)
│ │ ├╴call(-1)
│ │ │ └ return
│ │ └ return
│ │
│ │ printf("\n1") ⇦ 1
│ │
│ │ --n2 (n2=0)
│ ├╴call(0)
│ │ └ return
│ └ return
│
│ printf("\n2"); ⇦ 2
│
│ --n3 (n3=1)
├╴call(1)
│ │ n1=1
│ │ --n1 (n2=0)
│ ├╴call(0)
│ │ └ return
│ │
│ │ printf("\n0"); ⇦ 0
│ │
│ │ --n1 (n1=-1)
│ ├╴call(-1)
│ │ └ return
│ └ return
└ return
答案 1 :(得分:5)
首先,找到你的基本情况:call(n), when n<=0
什么也不做,只是返回。
在code(n)
的一般情况下,定义说:“递减n
并递归(一直向下);当控件返回时,打印n
(其值保留),再次递减并再次递归“。
或者,用方程式:
call(n) | when(n<=0) = NO-OP
call(n) | otherwise = call(n-1), print(n-1), call(n-2)
所以,
call(1) = call(0), print(0), call(-1)
= print(0)
call(2) = call(1), print(1), call(0)
= print(0), print(1)
call(3) = call(2), print(2), call(1)
= (print(0), print(1)), print(2), print(0)
继续,
call(4) = 0120+3+01
call(5) = 0120301+4+0120
call(6) = 012030140120+5+0120301
....
似乎我们可以生成无限期的结果输出序列,只保留两个最近的值:
(n,a,b) --> (n+1,b,b+n+a)
因此,不是递归而是基本情况,而是将 corecursion 描述为远离起始情况(2,0,1)
(1
情况被特殊事实(1,_,0)
覆盖。我们可以将它编码为一个实际无限增长的(即“无限”)序列,或者我们可以从中创建一个无限循环。
这种非终止计算的目的是什么?要描述结果的计算,一般。但是当我们达到n
的目标值时,当然可以非常容易地缩短此类计算。
好处?我们得到一个迭代循环而不是递归!
output(1) = "0"
output(n) | when(n>1) =
let {i = 2, a="0", b="1"}
while( i<n ):
i,a,b = (i+1),b,(b+"i"+a)
return b
答案 2 :(得分:1)
当试图理解代码流时,我无法反对我使用一个简单的策略:
以详细方式记录输出。例如,您可以映射应用程序的流程,而不是在调用函数中使用简单的printf语句。这是一个例子
#include <stdio.h>
void call(int n, int depth)
{
printf("%.*s(enter) n is (%d)\n", ++depth, "-----", n);
if ( n > 0 )
{
call(--n, depth) ;
call(--n, depth) ;
}
printf("%.*s(exit) n is (%d)\n", depth--, "-----", n);
}
int main(void )
{
int a = 3 ;
call(a, 0) ;
getchar();
return 0 ;
}
这将导致:
-(enter) n is (3)
--(enter) n is (2)
---(enter) n is (1)
----(enter) n is (0)
----(exit) n is (0)
----(enter) n is (-1)
----(exit) n is (-1)
---(exit) n is (-1)
---(enter) n is (0)
---(exit) n is (0)
--(exit) n is (0)
--(enter) n is (1)
---(enter) n is (0)
---(exit) n is (0)
---(enter) n is (-1)
---(exit) n is (-1)
--(exit) n is (-1)
-(exit) n is (1)