Python基础教程（十四）递归函数：你以为Python递归只是函数自调用？实则是时空扭曲力场！

当普通函数还在顺序执行时，递归函数已经创造了平行宇宙——每个调用都在撕裂时空连续体

递归函数远非简单的自我调用，它是函数式编程的核心理念，是分治算法的时空折叠器，更是解决复杂问题的降维打击武器。本文将揭示Python递归如何通过自我复制突破线性思维，以及如何避免坠入深渊般的栈溢出黑洞。

---

一、递归本质：函数中的俄罗斯套娃

基础递归模型

def factorial(n):
    # 基准条件 - 递归宇宙的锚点
    if n == 0:  
        return 1
    # 递归步骤 - 时空折叠的关键
    return n * factorial(n-1)  

print(factorial(5))  # 输出：120

递归三要素：

1. 基准条件：递归终止的临界点（如n=0）
2. 递归步骤：问题规模的自我缩减（n → n-1）
3. 状态传递：通过参数携带上下文

调用栈的时空折叠

graph TD
    A[factorial5] --> B[5*factorial4]
    B --> C[4*factorial3]
    C --> D[3*factorial2]
    D --> E[2*factorial1]
    E --> F[1*factorial0]
    F --> G[返回1]
    G --> H[1*1=1]
    H --> I[2*1=2]
    I --> J[3*2=6]
    J --> K[4*6=24]
    K --> L[5*24=120]

每个递归调用都创建独立的执行上下文，形成调用栈。当基准条件触发时，栈开始逐层解压计算，实现时空折叠效果。

---

二、递归类型：多维问题解决策略

1. 线性递归：单向时空隧道

def fibonacci(n):
    if n <= 1:
        return n
    return fibonacci(n-1) + fibonacci(n-2)

致命缺陷：指数级重复计算（fib5计算fib3两次）

2. 尾递归：时空折叠的捷径

def tail_factorial(n, accumulator=1):
    if n == 0:
        return accumulator
    return tail_factorial(n-1, n*accumulator)  # 尾部调用