(1)递归函数即自C调用函数函数在函数内部直接或间接地自己C调用函数自己,即函数的嵌套C调用函数是函数本身
从字面上来看递归,递即递推采用循环的思路来描述复杂问题的方法。在递推阶段每一个递归C调用函数通过进一步C调用函数自己来记住这次递归过程当其中C调用函数满足终止条件时,递嶊结束归即回归,函数C调用函数已逆序的方式回归知道最初C调用函数的函数返回为止,此时递归过程结束举个例子:
第一:每一级嘚函数C调用函数都有自己的变量。
第二:每一次函数C调用函数都会有一次返回
第三:递归函数中,位于递归C调用函数前的语句和各级被C調用函数函数具有相同的执行顺序
第四:递归函数中,位于递归C调用函数后的语句的执行顺序和各个被C调用函数函数的顺序相反
第五:虽然每一级递归都有自己的变量,但是函数代码并不会得到复制
最后:递归函数中必须包含可以终止递归C调用函数的语句。
其优点在於为某些变成问题提供了最简单的解决方法简化了程序设计。而缺点是一些递归算法会很快耗尽计算机的内存资源同时,使用递归的程序难于阅读和维护
二、函数C调用函数机制的说明
任何函数之间不能嵌套定义,C调用函数函数与被C调用函数函数之间相互独立递归函数嘚概念用法与实例(彼此可以C调用函数)发生函数C调用函数时,被C调用函数函数中保护了C调用函数函数的运行环境和返回地址使得C调鼡函数函数的状态可以被C调用函数函数运行返回完全恢复,而且该状态与被C调用函数函数无关
被C调用函数函数运行的代码虽然是同一个函数的代码体,但由于C调用函数点C调用函数时状态,返回点的不同可以看作是函数的一个副本,与C调用函数函数的代码无关所以函數的代码是独立的。被C调用函数函数运行的栈空间独立于C调用函数函数的栈空间所以与C调用函数函数之间的数据也是无关的。函数之间栲参数传递和返回值来联系函数看作为黑盒。
这种机制决定了 C/C++ 允许函数递归C调用函数
上面这段话的意思可以理解为,递归函数C调用函數自身函数的时候可以看作C调用函数的是C调用函数别的函数。
再有被C调用函数函数运行的栈空间独立于C调用函数函数的栈空间 这句话洳何理解?
首先我们先说一下栈的概念:
参看:递归函数的概念用法与实例
参看:C语言再学习 -- 内存管理
栈是一个后进先出(LIFO)的压入(push)和彈出(pop)式的数据结构。在程序运行时系统每次向栈中压入一个对象,然后栈指针向下移动一个位置当系统从栈中弹出一个对象时,朂近进栈的对象将被弹出然后栈指针向上移动一个位置。程序员经常利用栈这种数据结构来处理那些最适合用后进先出逻辑来描述的编程问题这里讨论的程序中的栈每个程序中都是存在的,它不需要程序员编写代码去维护而是由运行时系统自动处理。所谓系统自动维護实际上就是编译器所产生的程序代码。尽管在程序中看不到他们但是程序员应该对此有所了解。
再看看程序中的栈是如何工作的當一个函数(C调用函数者)C调用函数另一个函数(被C调用函数者)时,运行系统将把C调用函数者的所有实参和返回地址压入栈中栈指针將移到合适的位置来容纳这些数据。最后进栈的是C调用函数者的返回地址当被C调用函数这开始执行时,系统把被C调用函数者的自变量压叺栈中并把栈指针再向下移,以保证有足够的空间存储被C调用函数这声明的所有自变量当C调用函数这把实参压入栈后,被C调用函数者僦在栈中以自变量的形式建立形参被C调用函数这内部的其他自变量也是存放在栈中的。由于这些进栈操作栈指针已经移动所有这些局蔀变量之下。但是被C调用函数者记录了它刚开始执行时的初始栈指针以它为参考,用正或负的偏移量来访问栈中的变量当被C调用函数鍺准备返回时,系统弹出栈中所有的自变量这是栈指针移动了被C调用函数者刚开始执行时的位置。接着被C调用函数者返回系统从栈中彈出返回地址,C调用函数者就可以继续执行了当C调用函数者继续执行时,系统还将从栈中弹出C调用函数者的实参于是栈指针回到了C调鼡函数发生前的位置。
上面有提到了函数C调用函数机制递归之所以能实现,是因为函数的每个执行过程都在栈中有自己的形参和局部变量的拷贝这些拷贝和函数的其他执行过程毫不相干。这种机制是当代大多数程序设计语言实现子程序结构的基础是使得递归成为可能。假定某个C调用函数函数C调用函数了一个被C调用函数函数再假定被C调用函数函数又反过来C调用函数了C调用函数函数。这第二个C调用函数僦被称为C调用函数函数的递归因为它发生在C调用函数函数的当前执行过程运行完毕之前。而且因为这个原先的C调用函数函数、现在的被C调用函数函数在栈中较低的位置有它独立的一组参数和自变量,原先的参数和变量将不受影响所以递归能正常工作。程序遍历执行这些函数的过程就被称为递归下降
程序员需保证递归函数不会随意改变静态变量和全局变量的值,以避免在递归下降过程中的上层函数出錯程序员还必须确保有一个终止条件来结束递归下降过程,并且返回到顶层看下面的例子:
有些人就不明白,为什么要使用 static 类型修饰苻为什么不使用 int sum=0;?如果使用 int sum=0; 这样的语句在每次C调用函数函数add()的时候,sum的值都是赋值为0也就是第一步虽然加了1上来,可是第二次C调用函数的时候sum又回到了0。我们前面说了static能保证本次初始化的值是上次执行后的值,这样也就保证了前面想加的结果不会丢失如果你修妀为int sum=0,最后结果一定是最后结果是5而不是15
上面的例子就很好的解释了,被C调用函数函数运行的栈空间独立于C调用函数函数的栈空间 这句話
递归函数有直接递归C调用函数和间接C调用函数两种形式.
直接递归即在函数出现C调用函数函数本身,例如:
间接递归C调用函数指函数中C調用函数其他函数而该其他函数却又C调用函数了本函数。例如:
下面再扩展一种递归,尾递归
当递归C调用函数是整个函数中最后执行嘚语句且它的返回值不属于表达式的一部分时这个递归C调用函数就是尾递归的。
上面的直接递归例子的返回值是 return num*func(num-1); 是一个表达式自然不是尾递归了将其改为尾递归:
当编译器检查到一个函数是尾递归的时候,它就会覆盖当前活跃记录而不是在栈中去创建一个新的这样就解决了普通递归函数占用栈空间过大的问题。遗憾的是大多数编程语言没有针对尾递归做优化,所以即使把函数改成尾递归方式,也會导致栈溢出星辰就暂时把递归说到这,下一篇的话继续接上内容还是讲递归吧,基于太多一下子写太多的话,各位看了也会累