之前因为一提到递归就是想到斐波那契数列,就认为递归就是每次都返回一个结果,让上一层的使用,但是里面到底是咋一层层的机制并没有搞清楚,今天看了几篇博客之后,有点感觉了,所以成文。


递归我们总是说直接或者间接的调用自己,可是这句话永远都是会说,但是自己却没有理解。


现在我的想法是可以把递归的调用当成是调用别的函数,因为函数调用的机制是,例如main()调用其他一个函数sort()吧,就是先把当前的环境,变量都压入一个栈里保存起来,等sor()运行完之后,再从栈中取回原来的那些东西,继续往下执行。因此啊 我们可以把函数的递归调用想象成一个函数调用另一个函数,只不过呢是这两个函数完全一样,不一样的地方在于,不一样的输入,不一样的过程,上一个函数总是把调用函数之前的一切压入栈中,还有就是不同的函数调用只是两个函数,而递归调用的函数可能会多一些,大部分都会多,当然如果太多就会造成栈的益处,这也是递归调用的缺点所在。

函数调用之前的语句是从上到下的,函数调用之后的语句呢是从下到上的,因为后面的语句肯定要等最下层或者最里面最后调用的那个函数执行之后不再调用了开始执行,然后返回上一层的时候再执行上一层函数调用后面的语句。并且特别注意的是,每次函数返回后直接就是函数调用后面的语句。

递归其实就是利用了函数调用的一些特点,很巧妙的不断调用自己,把一个很大的问题分成了很多部分,让每一个函数解决一部分,并且上一层的结果编译器给我们保留了起来,返回的时候还能用。所以递归调用一定要是每深入一层都会把问题变得越来越小,而且最后能解决,不然就会无限制的调用自己,形成一个无限的循环,最后造成栈的溢出,最后程序崩溃。


所以使用递归我觉得要注意两点:第一是不是把问题变小了,而且每个问题解决之道是相似的,只是每次输入变小,但是输入的形式上是一样的。第二这个问题到最后是能解决的,也就是说这个循环的递归调用得有一个最终的结果,最后得跳出来,不能调用起来没完没了。


还有一个感觉就是吧,递归不能说是一个方法而是一个想法,把一个很大的问题,重复的分解很多小的问题,最后解决掉。有的递归是一种数学推理公式上的递归,比如斐波那契数列,比如动态规划,还有的是数据结构方面就是递归定义的,如二叉树的定义,前中后序的遍历啊,等等


总结就是:

1 每一次函数调用都会有一次返回.当程序流执行到某一级递归的结尾处时,它会转移到前一级递归紧接着的后面继续执行.

2 递归函数中,位于递归调用前的语句和各级被调函数具有相同的顺序.如打印语句 #1 位于递归调用语句前,它按照递归调用的顺序被执行了 4 次.

3 每一级的函数调用都有自己的私有变量.

4 递归函数中,位于递归调用语句后的语句的执行顺序和各个被调用函数的顺序相反.

5 虽然每一级递归有自己的变量,但是函数代码并不会得到复制.

6 递归函数中必须包含可以终止递归调用的语句.


下面是个关于递归调用简单但是很能说明问题的例子:

  1. /*递归例子*/

  2. #include<stdio.h>

  3. void up_and_down(int);  

  4. int main(void)  

  5. {  

  6.    up_and_down(1);  

  7. return 0;  

  8. }  

  9. void up_and_down(int n)  

  10. {  

  11.    printf("Level %d:n location %p/n",n,&n); /* 1 */

  12. if(n<4)  

  13.        up_and_down(n+1);  

  14.    printf("Level %d:n location %p/n",n,&n); /* 2 */

  15. }  


输出结果
Level 1:n location 0240FF48
Level 2:n location 0240FF28
Level 3:n location 0240FF08
Level 4:n location 0240FEE8
Level 4:n location 0240FEE8
Level 3:n location 0240FF08
Level 2:n location 0240FF28
Level 1:n location 0240FF48


首先, main() 使用参数 1 调用了函数 up_and_down() ,于是 up_and_down() 中形式参数 n 的值是 1, 故打印语句 #1 输出了 Level1 。然后,由于 n 的数值小于 4 ,所以 up_and_down() (第 1 级)使用参数 n+1 即数值 2 调用了 up_and_down()( 第 2 级 ). 使得 n 在第 2级调用中被赋值 2, 打印语句 #1 输出的是 Level2 。与之类似,下面的两次调用分别打印出 Level3 和 Level4 。


 当开始执行第 4 级调用时, n 的值是 4 ,因此 if 语句的条件不满足。这时候不再继续调用 up_and_down() 函数。第 4 级调用接着执行打印语句 #2 ,即输出 Level4 ,因为 n 的值是 4 。现在函数需要执行 return 语句,此时第 4 级调用结束,把控制权返回给该函数的调用函数,也就是第 3 级调用函数。第 3 级调用函数中前一个执行过的语句是在 if 语句中进行第 4 级调用。因此,它继续执行其后继代码,即执行打印语句 #2 ,这将会输出 Level3 .当第 3 级调用结束后,第 2 级调用函数开始继续执行,即输出Level2 .依次类推.

 注意,每一级的递归都使用它自己的私有的变量 n .可以查看地址的值来证明.