C++中的函数递归指的是函数直接或间接调用自身的编程技巧，这种写法可以把复杂的大问题拆分成同类型的子问题逐步解决，在很多场景下能简化代码逻辑，但也需要合理设计终止条件避免无限递归。
递归调用的核心条件
要实现正确的递归调用，必须满足两个基本条件，缺少任意一个都可能导致程序出错：
- 递归终止条件：必须存在明确的边界情况，当满足该条件时函数不再调用自身，直接返回结果，否则会陷入无限递归导致栈溢出。
- 递归递推关系：除了终止条件外的其他情况，当前问题的解可以通过调用自身解决规模更小的同类型子问题得到，且子问题的规模逐步向终止条件靠近。
常见的递归调用形式
线性递归
线性递归是最基础的递归形式，函数每次调用自身一次，递归路径呈线性结构，比如计算阶乘、遍历线性数据结构都属于这类递归。
尾递归
尾递归指的是递归调用是函数执行的最后一个操作，部分编译器会对尾递归做优化，将其转化为循环执行，避免栈空间过度消耗。
间接递归
间接递归不是函数直接调用自身，而是函数A调用函数B，函数B再调用函数A，通过多个函数之间的相互调用实现递归效果。
递归调用的实现示例
示例1：阶乘计算（线性递归实现）
阶乘的定义是n! = n * (n-1)!，其中0!和1!都等于1，这就是典型的递归递推关系，终止条件就是n小于等于1的情况。
#include <iostream>
using namespace std;
// 计算n的阶乘的递归函数
int factorial(int n) {
// 递归终止条件：0和1的阶乘都是1
if (n <= 1) {
return 1;
}
// 递归递推关系：n的阶乘等于n乘以n-1的阶乘
return n * factorial(n - 1);
}
int main() {
int num = 5;
cout << num << "的阶乘是：" << factorial(num) << endl;
return 0;
}示例2：斐波那契数列（线性递归实现）
斐波那契数列的规则是第n项等于第n-1项加第n-2项，前两项都是1，终止条件就是n为1或2的情况。
#include <iostream>
using namespace std;
// 计算第n个斐波那契数的递归函数
int fibonacci(int n) {
// 递归终止条件：前两项都是1
if (n == 1 || n == 2) {
return 1;
}
// 递归递推关系：第n项等于前两项之和
return fibonacci(n - 1) + fibonacci(n - 2);
}
int main() {
int index = 6;
cout << "第" << index << "个斐波那契数是：" << fibonacci(index) << endl;
return 0;
}示例3：尾递归实现阶乘
下面把阶乘的递归调用放到函数最后，做成尾递归形式，部分编译器可以对此做优化。
#include <iostream>
using namespace std;
// 尾递归辅助函数，acc参数用来保存中间计算结果
int factorial_tail(int n, int acc) {
// 递归终止条件：n为0时返回累积的结果
if (n == 0) {
return acc;
}
// 递归调用是最后一个操作，属于尾递归
return factorial_tail(n - 1, n * acc);
}
// 对外暴露的阶乘函数，初始累积值为1
int factorial(int n) {
return factorial_tail(n, 1);
}
int main() {
int num = 5;
cout << num << "的阶乘是：" << factorial(num) << endl;
return 0;
}递归使用的注意事项
虽然递归能简化代码，但使用时需要注意几个问题：
- 一定要明确设置递归终止条件，否则会导致栈溢出程序崩溃。
- 递归深度过深时，即使有终止条件也可能因为栈空间不足报错，这种情况可以考虑用循环改写递归。
- 重复子问题的递归会有大量重复计算，比如上面的斐波那契递归实现，计算第n项时会重复计算很多次前面的项，这种情况可以用记忆化递归或者循环优化。
递归的本质是利用系统栈保存每一层函数的上下文，每次递归调用都会占用栈空间，因此合理控制递归深度是递归使用的核心要点。
掌握递归的核心逻辑后，还可以尝试用递归实现二叉树遍历、汉诺塔问题等更复杂的场景，逐步提升对递归的理解和使用能力。