JavaScript不支持真正的尾调用消除（TCO），主流引擎未实现ES2015严格模式下的TCO语义；可通过循环改写或蹦床（trampoline）模式模拟，前者性能高兼容好，后者保留递归可读性但有额外开销。
JavaScript本身不支持真正的尾调用消除（TCO），ES2015虽在严格模式下规定了尾调用优化的语义，但主流引擎（如V8、SpiderMonkey）基本未实现。不过，我们可以通过手动改写递归为循环，或使用“蹦床（trampoline）”模式来模拟TCO效果，避免栈溢出。
用循环替代递归（最直接）
核心思路是把递归逻辑拆解为状态变量 + while 循环，每次迭代更新参数，直到满足终止条件。
- 适用于所有尾递归函数，改造后性能高、兼容性好
- 需显式维护当前参数和返回上下文（有时还需累积器）
- 例如阶乘的尾递归版本：
fact(n, acc = 1) { return n - 转为循环后：
function fact(n, acc = 1) {<br> while (n > 1) {<br> acc = n * acc;<br> n = n - 1;<br> }<br> return acc;<br>}
用蹦床函数（trampoline）封装尾调用
让每个“递归调用”返回一个函数（thunk），由外层蹦床函数循环执行，直到返回非函数值。
- 保持递归写法的可读性，无需大幅重写逻辑
- 适合嵌套深、分支多、难以统一转为循环的场景
- 示例实现：
function trampoline(fn) {<br> return function(...args) {<br> let result = fn(...args);<br> while (typeof result === 'function') {<br> result = result();<br> }<br> return result;<br> };<br>} - 配合尾递归风格函数使用（注意返回 thunk）：
const factTco = trampoline(function _fact(n, acc = 1) {<br> return n <= 1<br> ? acc<br> : () => _fact(n - 1, n * acc); // 返回 thunk，不是直接调用<br>});
注意事项与局限
模拟TCO不是银弹，需结合实际权衡：
立即学习“Java免费学习笔记（深入）”；
- 蹦床引入额外函数调用和判断开销，对浅层递归可能反而更慢
- 不能解决非尾递归（如树的深度优先遍历中两次递归调用）——需用显式栈或迭代重写
- V8等引擎对
async/await和生成器有内部优化，某些场景可用async函数+await Promise.resolve()打断调用栈（属hack，不推荐生产使用） - TypeScript或Babel可通过插件（如
@babel/plugin-transform-tail-recursion）自动转换，但需确认目标环境兼容性
不复杂但容易忽略：关键在于识别真正的尾调用（函数最后一步是调用自身，且无后续计算），再选择循环或蹦床策略。多数业务场景中，循环改写更可靠；算法库或教学代码中，蹦床能更好保留原意。
