本文深入探讨了递归的基本概念，解析了递归与栈的关系，并通过实例讲解了如何正确思考递归问题，最后讨论了递归的适用场景。
点击上方 "程序员小乐"关注公众号
每天早上8点20分，第一时间与你相约
每日英文
Life is a long journey. Don't waste your time waiting for people who are no longer willing to walk with you.
生活是一场漫长的旅行，不要浪费时间，去等待那些不愿与你携手同行的人。
每日掏心话
每个人的性格中，都有某些无法让人接受的部分再美好的人也一样。所以不要苛求别人，不要埋怨自己。玫瑰有刺，才会是玫瑰。
来自：刘毅 | 责编：乐乐
链接：61mon.com/index.php/archives/208/
图片来自网络
往日回顾：拼多多市值超越百度，江湖再无BAT，PAT要来了？
00 前言
递归的学习绝对是一个持久战，没有人可以一蹴而就。一年两年的，很寻常。
问题的复杂，加上递归本身的细节，我们想要 "学会"，"学好"，再 "用好"，是需要一个漫长的过程的。所以还希望读者有足够的耐心。
01 什么是递归
所谓递归，简单点来说，就是一个函数直接或间接调用自身的一种方法，它通常把一个大型复杂的问题层层转化为一个与原问题相似的规模较小的问题来求解。
我们可以把” 递归 “比喻成 “查字典 “，当你查一个词，发现这个词的解释中某个词仍然不懂，于是你开始查这第二个词。
可惜，第二个词里仍然有不懂的词，于是查第三个词，这样查下去，直到有一个词的解释是你完全能看懂的，那么递归走到了尽头，然后你开始后退，逐个明白之前查过的每一个词，最终，你明白了最开始那个词的意思。（摘自知乎的一个回答）
我们以阶乘作为：
int Factorial(int n){
if (n == 0) return 1;
return
n * Factorial(n - 1);
}
02 递归与栈的关系
常常听到 “递归的过程就是出入栈的过程”，这句话怎么理解？我们以上述代码为例，取 ，则过程如下：
第 1~4 步，都是入栈过程，
Factorial(3)调用了Factorial(2)，Factorial(2)又接着调用Factorial(1)，直到Factorial(0)；第 5 步，因 0 是递归结束条件，故不再入栈，此时栈高度为 4，即为我们平时所说的递归深度；
第 6~9 步，
Factorial(0)做完，出栈，而Factorial(0)做完意味着Factorial(1)也做完，同样进行出栈，重复下去，直到所有的都出栈完毕，递归结束。
每一个递归程序都可以把它改写为非递归版本。我们只需利用栈，通过入栈和出栈两个操作就可以模拟递归的过程，二叉树的遍历无疑是这方面的代表。
但是并不是每个递归程序都是那么容易被改写为非递归的。某些递归程序比较复杂，其入栈和出栈非常繁琐，给编码带来了很大难度，而且易读性极差，所以条件允许的情况下，推荐使用递归。
03 如何思考递归
在初学递归的时候, 看到一个递归实现, 我们总是难免陷入不停的验证之中，比如上面提及的阶乘，求解Factorial(n)时，我们总会情不自禁的发问，Factorial(n-1)可以求出正确的答案么？接着我们就会再用Factorial(n-2)去验证，，，不停地往下验证直到Factorial(0)。
对递归这样的不适应，和我们平时习惯的思维方式有关。我们习惯的思维是：已知Factorial(0)，乘上 1 就等于Factorial(1)，再乘以 2 就等于Factorial(2)，，，直到乘到 n。
而递归和我们的思维方式正好相反。
那我们怎么判断这个递归计算是否是正确的呢？Paul Graham 提到一种方法，如下：
如果下面这两点是成立的，我们就知道这个递归对于所有的 n 都是正确的。
当 时，结果正确；
假设递归对于 是正确的，同时对于 也正确。
这种方法很像数学归纳法，也是递归正确的思考方式，上述的第 1 点称为基本情况，第 2 点称为通用情况。
在递归中，我们通常把第 1 点称为终止条件，因为这样更容易理解，其作用就是终止递归，防止递归无限地运行下去。
下面我们用两个例子来具体说明这种数学归纳法：
例 1 汉诺塔展开目录
问题描述为：有三根杆子 A，B，C。A 杆上有 N 个穿孔圆盘，盘的尺寸由上到下依次变大，B，C 杆为空。要求按下列规则将所有圆盘移至 C 杆：
每次只能移动一个圆盘；
大盘不能叠在小盘上面。
问：如何移？最少要移动多少次？
首先看下基本情况，即终止条件：N=1 时，直接从 A 移到 C。
再来看下通用情况：当有 N 个圆盘在 A 上，我们已经找到办法将其移到 C 杠上了，我们怎么移动 N+1 个圆盘到 C 杠上呢？很简单，我们首先用将 N 个圆盘移动到 C 上的方法将 N 个圆盘都移动到 B 上，然后再把第 N+1 个圆盘（最后一个）移动到 C 上，再用同样的方法将在 B 杠上的 N 个圆盘移动到 C 上，问题解决。
代码如下：
void Hanoi(int n, char a, char b, char c){ //终止条件
if (n == 1)
{
cout << a << "-->" << c << endl;
return;
} //通用情况
Hanoi(n - 1, a, c, b);
Hanoi(1, a, b, c);
Hanoi(n - 1, b, a, c);
}
例 2 求二叉树节点个数
首先看下基本情况，即终止条件：当为空树时，节点数为 0；
再来看下通用情况：当前节点的左，右子树节点数都被求出，则以当前结点为根的二叉树的节点总数就是 “左子树 + 右子树 + 1”。
代码如下：
int GetNodes(Node * node){ //终止条件
if (node == nullptr)
return 0; //通用情况
return
GetNodes(node->left) + GetNode(node->right) + 1;
}
04 什么时候该用递归
当我们遇到一个问题时，我们是怎么判断该题用递归来解决的？
问题可用递归来解决需具备的条件：
子问题需与原问题为同样的事，且规模更小；
程序停止条件。
欢迎在留言区留下你的观点，一起讨论提高。如果今天的文章让你有新的启发，学习能力的提升上有新的认识，欢迎转发分享给更多人。
欢迎各位读者加入程序员小乐技术群，在公众号后台回复“加群”或者“学习”即可。
猜你还想看
用 Python 一键分析你的上网行为, 看是在认真工作还是摸鱼
关注「程序员小乐」，收看更多精彩内容
嘿，你在看吗
扫一扫
218
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
