尾递归指函数最后一步直接调用自身且返回其结果，不参与后续计算；它支持栈帧复用以避免栈溢出，但需语言支持TCO或手动转为迭代。
编写高性能递归函数的关键，在于避免重复计算和调用栈膨胀，而尾调用优化（Tail Call Optimization, TCO）正是解决后者的核心机制——但需注意：JavaScript（除部分 Safari）尚未在所有环境中默认启用TCO，Python 完全不支持，而 Scheme、Haskell 等语言原生支持。因此，“结合尾调用”更准确的理解是：**写成尾递归形式 + 配合语言特性或手动转换为迭代**。
什么是尾递归？
尾递归指函数的最后一步操作是调用自身，且该调用的返回值直接作为当前函数的返回值，中间不参与任何计算。它让引擎有机会复用栈帧，避免深度嵌套导致的栈溢出。
❌ 非尾递归（阶乘）：
function factorial(n) {if (n return n * factorial(n - 1); // * 运算在递归调用之后，必须保留当前栈帧
}
✅ 尾递归（带累加器）：
function factorial(n, acc = 1) {if (n return factorial(n - 1, n * acc); // 调用是最后一个动作，无后续运算
}
为什么 JavaScript 中尾调用不总生效？
ES2015 规范定义了尾调用优化，但实际支持受限：
- 仅在严格模式（
"use strict"）下才可能启用 - 目前只有 Safari（较新版本）稳定支持；Chrome 和 Firefox 已移除或未实现
- Node.js 在某些版本中可通过
--harmony-tailcalls启用，但已废弃 - 即使语法合法，V8 等引擎仍可能因调试、try-catch、async 等上下文禁用优化
所以，不能依赖 JS 运行时自动优化，而应把尾递归当作一种可转为循环的清晰结构来设计。
如何写出真正高性能的递归逻辑？
不单靠语言是否支持TCO，而是从算法与实现双层优化：
- 消除重复子问题：对重叠子问题（如斐波那契），用记忆化（memoization）缓存结果，时间复杂度从 O(2ⁿ) 降至 O(n)
- 转为显式迭代：将尾递归函数手动改写为 while 循环，完全规避调用栈——这是最可靠、跨环境的高性能方案
- 控制递归深度：对树/图遍历等场景，预估最大深度；超限时降级为迭代或分批处理
- 避免闭包与大对象传递：尾递归参数尽量轻量，避免传入未被使用的大型数组或对象，减少内存压力
一个实用的转换示例：从尾递归到循环
以求和为例（输入数组，避免索引越界）：
// 尾递归写法（语义清晰，便于理解）function sum(arr, i = 0, acc = 0) {
if (i >= arr.length) return acc;
return sum(arr, i + 1, acc + arr[i]);
}
→ 等价的循环实现（性能确定、无栈风险）：
function sum(arr) {let acc = 0;
for (let i = 0; i acc += arr[i];
}
return acc;
}
这种转换不是“退化”，而是把尾递归的状态转移逻辑（i 和 acc 的更新规则）直接映射为循环变量，既保持可读性，又获得最佳性能。
