17370845950

尾调用优化（TCO）在JavaScript规范中存在但支持有限：仅Safari的JavaScriptCore在严格模式下完全实现，V8和SpiderMonkey已放弃支持；尾调用指函数最后动作是调用另一函数且其返回值直接作为当前函数返回值。

JavaScript 的尾调用优化（Tail Call Optimization，TCO）在语言规范中确实存在，但实际支持非常有限——目前只有 Safari 浏览器的 JavaScriptCore 引擎在严格模式下完全实现了 TCO，而 V8（Chrome/Node.js）和 SpiderMonkey（Firefox）均已明确放弃支持。

什么是尾调用？

尾调用指函数的最后一个动作是调用另一个函数（包括自身），且该调用的返回值直接作为当前函数的返回值，不参与后续计算。例如：

function factorial(n, acc = 1) {
  if (n <= 1) return acc;
  return factorial(n - 1, n * acc); // 尾调用：没有其他运算，直接返回
}
function foo() {
return bar(); // 尾调用
}
function baz() {
return bar() + 1; // 不是尾调用：需对 bar() 结果再加 1
}

TCO 的核心限制

• 仅严格模式生效：非严格模式下，arguments 和 caller 等对象必须可访问，这与 TCO 要求的栈帧复用冲突。
• 必须是“尾位置”调用：不能出现在 try/catch/finally 中；不能在箭头函数体外的 return 后还有隐式操作（如 async 函数中 await 后的语句不算尾位置）。
• 引擎支持缺失：V8 在 2017 年移除了 TCO 实现（因性能开销、调试困难、使用率极低）；Firefox 从未启用；只有 Safari 保持支持。
• 不能跨执行上下文优化：比如从普通函数尾调用 generator 或 async 函数，不被视为合法尾调用。

实践中如何应对？

• 手动转为循环：对递归算法（如阶乘、遍历树）改写为 while 循环，最可靠且兼容所有环境。
• 使用蹦床（trampoline）模式：返回函数而非直接调用，由外层循环驱动，避免栈溢出（适合复杂递归逻辑）。
• 依赖 Babel 等工具转译（已过时）：Babel 曾提供 transform-regenerator 和 proposal-tailcall-optimization 插件，但因引擎不支持，现代构建链基本不再维护。
• 注意 Node.js 和 Chrome 完全不生效：即使写了合法尾调用，在这些环境中仍会正常增长调用栈，可能触发 RangeError。

基本上就这些。尾调用优化在规范里很优雅，现实中却几乎不可用。写递归时，默认按普通调用处理，优先考虑循环或迭代方案更稳妥。