递归函数逻辑拆分三步：第一步明确函数功能，如“计算n的阶乘”；第二步确定终止条件，如n==1时返回1；第三步建立等价关系式，如f(n)=n×f(n−1)，确保问题规模严格缩小。
递归函数的逻辑拆分，本质是把“自己调用自己”这个看似循环的动作，还原成可理解、可验证、可调试的明确步骤。它不是靠直觉，而是靠结构化思维——只要抓住三个关键动作，就能把任何递归函数清晰地剥开。
第一步：说清楚这个函数到底要干啥
不写代码，先用一句话定义功能。比如：
“这个函数接收一个正整数 n，返回 n 的阶乘值。”
或者：
“这个函数接收一个字符串 s 和下标 i，把 s 从位置 i 开始到末尾的字符逆序打印出来。”
这一步叫“功能锚定”，它决定了后续所有逻辑的方向。如果连函数该做什么都说不准，后面就容易写偏。
第二步：找到那个必须停下来的点
递归不能无限套娃，必须有明确的“刹车点”。这个点要满足两个特点：规模最小、答案已知、无需再调自己。
常见形式包括：
- n == 0 或 n == 1（阶乘、斐波那契）
- 指针为 NULL 或下标越界（链表、数组遍历）
- 字符串长度为 0 或 1（字符串处理）
- 剩余待拆分值为 0（如整数拆分）
注意：终止条件必须覆盖所有可能进入的输入路径，否则可能漏掉某些情况导致栈溢出。
第三步：写出“当前层怎么靠下一层搞定”的关系式
这是递归的核心桥梁——你要相信下一层已经算好了，然后只专注“我这一层怎么用它的结果”。
关键在于识别原问题和子问题的等价结构，例如：
- 阶乘：f(n) = n × f(n−1)
- 斐波那契：f(n) = f(n−1) + f(n−2)
- 字符串翻转（从后往前）：先处理 s[i+1..end]，再输出 s[i]
- 汉诺塔移动 n 盘：先把上面 n−1 盘挪走 → 移动第 n 盘 → 再把 n−1 盘挪回来
这个关系式必须让问题规模严格变小（比如 n→n−1），且方向明确指向终止条件。
补充：递归执行其实分两段走
写完函数后，运行时实际经历两个阶段：
- 递（压栈）：一层层调自己，参数越来越小，每层暂停等待下层返回
- 归（弹栈）：触达终止条件后开始返回，每层用下层结果算出自己的结果，逐层带回
就像进电梯下到 B3 层（递），再一层层上来回到 1 楼（归）。调试时可以加打印观察这两段，能快速定位卡在哪一层。
