函数递归

1. 递归是什么？

递归是学习C语⾔函数绕不开的⼀个话题，那什么是递归呢？

递归其实是⼀种解决问题的⽅法，在C语⾔中，递归就是函数⾃⼰调⽤⾃⼰。

写⼀个史上最简单的C语⾔递归代码：

            上述就是⼀个简单的递归程序，只不过上⾯的递归只是为了演⽰递归的基本形式，不是为了解决问 题，代码最终也会陷⼊死递归，导致栈溢出（Stack overflow）。

递归的思想：

把⼀个⼤型复杂问题层层转化为⼀个与原问题相似，但规模较⼩的⼦问题来求解；直到⼦问题不能再 被拆分，递归就结束了。所以递归的思考⽅式就是把⼤事化⼩的过程。 

2. 递归的限制条件

递归在书写的时候，有2个必要条件： 

1.递归存在限制条件，当满足这个限制条件的时候，递归便不再继续。

2.每次递归调用之后越来越接近这个限制条件。

在下⾯的例⼦中，我们逐步体会这2个限制条件。

3. 递归举例

3.1 举例1：求n的阶乘

计算n的阶乘（不考虑溢出），n的阶乘就是1~n的数字累积相乘。

3.1.1 分析和代码实现

我们知道n的阶乘的公式： n！ =  n ∗ (n − 1)!

这样的思路就是把一个大问题，转换为一个与原问题相似，但规模较小的问题来求解的。

n!---> n*(n-1)!       (n-1)! ---> (n-1)*(n-2)!  直到n等于1或者0时，停止拆分。

那我们就可以写出函数Fact求n的阶乘，假设Fact(n)就是求n的阶乘，那么Fact(n-1)就是求n-1的阶 乘，函数如下：

3.2顺序输出

举例2：顺序打印⼀个整数的每⼀位 输⼊⼀个整数m，打印这个按照顺序打印整数的每⼀位。 ⽐如：

输⼊：1234 输出：1 2 3 4

输⼊：520 输出：5 2 0 3.2.1kRln8kmNhSKU1lqL

分析和代码实现 这个题⽬，放在我们⾯前，⾸先想到的是，怎么得到这个数的每⼀位呢？

如果n是⼀位数，n的每⼀位就是n⾃⼰

n是超过1位数的话，就得拆分每⼀位 

我们发现其实⼀个数字的最低位是最容易得到的，通过%10就能得到 那我们假设想写⼀个函数Print来打印n的每⼀位，如下表⽰：

Print(n)

如果n是1234，那表⽰为

Print(1234) //打印1234的每⼀位

其中1234中的4可以通过%10得到，那么

Print(1234)就可以拆分为两步：

1. Print(1234/10) //打印123的每⼀位

2. printf(1234%10) //打印4

完成上述2步，那就完成了1234每⼀位的打印

那么Print(123)⼜可以拆分为Print(123/10) + printf(123%10)

直到被打印的数字变成⼀位数的时候，就不需要再拆分，递归结束。 那么代码完成也就⽐较清楚：

在这个解题的过程中，我们就是使用了大事化小的思路

把Print（2345）打印每一位，拆分成首先Print（234）打印234的每一位，再打印得到5

把Print（234）打印234每一位，拆分成首先Print（23）打印23的每一位，再打印得到4

依次进行拆分 

4. 递归与迭代 

递归是⼀种很好的编程技巧，但是很多技巧⼀样，也是可能被误⽤的，就像举例1⼀样，看到推导的公 式，很容易就被写成递归的形式：

fact（n）        1 , n<=0

                       n*fact(n-1) ,n>0

Fact函数是可以产⽣正确的结果，但是在递归函数调⽤的过程中涉及⼀些运⾏时的开销。 在C语⾔中每⼀次函数调⽤，都要需要为本次函数调⽤在栈区申请⼀块内存空间来保存函数调⽤期间 的各种局部变量的值，这块空间被称为运⾏时堆栈，或者函数栈帧。 函数不返回，函数对应的栈帧空间就⼀直占⽤，所以如果函数调⽤中存在递归调⽤的话，每⼀次递归 函数调⽤都会开辟属于⾃⼰的栈帧空间，直到函数递归不再继续，开始回归，才逐层释放栈帧空间。 所以如果采⽤函数递归的⽅式完成代码，递归层次太深，就会浪费太多的栈帧空间，也可能引起栈溢出（stack overflow）的问题。

所以如果不想使⽤递归就得想其他的办法，通常就是迭代的⽅式（通常就是循环的⽅式）。 ⽐如：计算n的阶乘，也是可以产⽣1~n的数字累计乘在⼀起的。

事实上，我们看到的许多问题是以递归的形式进⾏解释的，这只是因为它⽐⾮递归的形式更加清晰， 但是这些问题的迭代实现往往⽐递归实现效率更⾼。 当⼀个问题⾮常复杂，难以使⽤迭代的⽅式实现时，此时递归实现的简洁性便可以补偿它所带来的运 ⾏时开销。

举例3：求第n个斐波那契数

我们也能举出更加极端的例⼦，就像计算第n个斐波那契数，是不适合使⽤递归求解的，但是斐波那契 数的问题通过是使⽤递归的形式描述的，如下：

 

当我们n输⼊为50的时候，需要很⻓时间才能算出结果，这个计算所花费的时间，是我们很难接受的， 这也说明递归的写法是⾮常低效的，那是为什么呢？ 

其实递归程序会不断的展开，在展开的过程中，我们很容易就能发现，在递归的过程中会有重复计 算，⽽且递归层次越深，冗余计算就会越多。

 我们知道斐波那契数的前2个数都1，然后前2个数相加就是第3个数，那么我们从前往后，从⼩到⼤计 算就⾏了。 这样就有下⾯的代码：

 

这里为了不用另行讨论n等于1和2的情况，可以直接把c初始化为1.