JavaScript尾调用转换的核心目标是将符合尾调用形式的递归函数改写为不增长调用栈的等价结构，需满足尾调用识别规则、应用尾递归三步法、映射为while循环，并在实际开发中主动控制执行模型。
JavaScript 中的尾调用转换，核心目标是把符合尾调用形式的递归函数改写为不会增长调用栈的等价结构。虽然主流引擎（Chrome、Firefox、Node.js）目前都不启用尾调用优化（TCO），但掌握转换规则，既能写出更清晰的逻辑，也能手动转为安全的循环或借助工具落地。
尾调用识别规则
判断一个调用是否为尾调用，只看函数体中「最后执行的语句」是否满足：
- 该语句是函数调用（可以是自身，也可以是其他函数）
- 调用结果直接作为 整个函数的返回值，中间不参与任何运算、赋值、条件判断或额外操作
- 不能出现在 if/else 分支内部却缺少对应 return；所有分支路径的末尾都必须是合法尾调用或直接返回值
尾递归改写三步法
将普通递归转为可被识别为尾调用的形式，关键在于消除“回传后处理”，把状态显式带入下一次调用：
-
引入累加器参数（accumulator）：把原本靠返回值层层叠加的计算（如
n * factorial(n-1)），改为在参数中累积（如acc * n） -
把终止条件返回累加器值：不再返回基础值（如 1），而是返回当前累积结果（
return acc） -
确保递归调用是函数最后一行且无包装：写成
return fn(n - 1, newAcc)，而非return fn(n - 1, newAcc) + 0或const r = fn(...); return r;
从尾递归到循环的映射关系
尾递归本质上就是带状态的迭代，可机械地转为 while 循环：
立即学习“Java免费学习笔记（深入）”；
- 函数参数 → 循环外的变量声明（如
let n = ..., acc = ...） - 递归调用前的条件判断 → while 的循环守卫（如
while (n > 1)） - 递归调用中的参数更新 → 循环体内对变量的重新赋值（如
acc = acc * n; n = n - 1;） - 递归终止时的返回值 → 循环结束后的 return（如
return acc;）
实际开发中的转换建议
不要依赖引擎自动优化，而是主动控制执行模型：
- 深度不确定的场景（如解析超深嵌套 JSON、遍历大型 DOM 树），直接用栈模拟或 while 循环，不写递归
- 想保留函数式风格又需兼容性，可用 蹦床函数（trampoline） 包装尾递归，让每次调用返回下一个函数，由 trampoline 统一循环执行
- 构建阶段可接入 Babel 插件（如
@babel/plugin-transform-tail-recursion），自动将尾递归编译为循环代码 - 严格模式（
"use strict"）仍是必要前提——即使不触发 TCO，它也是规范要求的尾调用上下文基础
