递归是一种在函数定义中使用函数自身的方法。递归函数通常包括两个部分：基本情况（base case）和递归情况（recursive case）。基本情况（Base Case）是递归函数停止递归的条件。如果没有基本情况，递归将无限进行下去，导致栈溢出。基本情况通常是一个简单的条件判断，当满足这个条件时，函数直接返回一个值，不再调用自身。递归情况（Recursive Case）是函数调用自身的地方。递归情况通常会将问题分解成一个更小的子问题，然后递归地解决这个子问题。递归情况的目标是逐渐缩小问题的规模，直到问题规模小到可以直接解决（即达到基本情况）。

阶乘是一个经典的递归问题。阶乘的定义如下：

​​n! = n * (n-1) * (n-2) * ... * 1​
特殊情况：​0! = 1​
我们可以用递归来实现阶乘函数：
#include <iostream>

int factorial(int n) {
    // 基本情况：当 n 为 0 时，返回 1
    if (n == 0) {
        return 1;
    }
    // 递归情况：n 的阶乘等于 n 乘以 (n-1) 的阶乘
    else {
        return n * factorial(n - 1);
    }
}

int main() {
    int n = 5;
    std::cout << "Factorial of " << n << " is " << factorial(n) << std::endl;
    return 0;
}
递归过程详解

假设我们调用 ​factorial(5)​，递归过程如下：

    第一次调用 ​factorial(5)​：
        ​​n​ 不等于 0，进入递归情况。
        返回 ​5 * factorial(4)​。

    第二次调用 ​factorial(4)​：
        ​​n​ 不等于 0，进入递归情况。
        返回 ​4 * factorial(3)​。

    第三次调用 ​factorial(3)​：
        ​​n​ 不等于 0，进入递归情况。
        返回 ​3 * factorial(2)​。

    第四次调用 ​factorial(2)​：
        ​​n​ 不等于 0，进入递归情况。
        返回 ​2 * factorial(1)​。

    第五次调用 ​factorial(1)​：
        ​​n​ 不等于 0，进入递归情况。
        返回 ​1 * factorial(0)​。

    第六次调用 ​factorial(0)​：
        ​​n​ 等于 0，进入基本情况。
        返回 ​1​。

    返回值传递：
        ​​factorial(0)​ 返回 ​1​。
        ​​factorial(1)​ 返回 ​1 * 1 = 1​。
        ​​factorial(2)​ 返回 ​2 * 1 = 2​。
        ​​factorial(3)​ 返回 ​3 * 2 = 6​。
        ​​factorial(4)​ 返回 ​4 * 6 = 24​。
        ​​factorial(5)​ 返回 ​5 * 24 = 120​。

最终，​factorial(5)​ 返回 ​120​。
递归的优缺点

优点：

    递归可以使代码更简洁、更易读。
    递归可以自然地解决一些问题，如树的遍历、分治算法等。

缺点：

    递归可能会导致栈溢出，特别是当递归深度很大时。
    递归的效率可能不如迭代（循环），因为每次递归调用都会增加函数调用的开销。

总结

递归是一种强大的编程技术，但需要谨慎使用。理解递归的关键是理解基本情况和递归情况，以及递归调用的过程和返回值的传递。通过合理的递归设计，可以解决许多复杂的问题。