javascript的尾调用优化是什么_如何写出可优化的递归

尾调用优化（TCO）是JS引擎将尾调用转为循环以避免栈溢出的机制，但仅Safari在严格模式下真正支持；尾调用指函数最后一步直接返回另一函数调用结果。

尾调用优化（Tail Call Optimization，TCO）是 JavaScript 引擎在满足特定条件时，将尾调用转换为循环以避免新增调用帧、防止栈溢出的机制。但要注意：目前只有 Safari 的 JavaScriptCore 引擎在严格模式下真正支持 TCO；V8（Chrome/Node.js）和 SpiderMonkey（Firefox）虽曾尝试实现，但已暂停或未启用。也就是说，写法上可以遵循尾调用规范，但不能依赖运行时一定优化。

什么是尾调用？

尾调用指函数的最后一步操作是调用另一个函数（或自身），且该调用的返回值直接作为当前函数的返回值——中间不再做任何计算或处理。

✅ 正确的尾调用（尾递归）：

function factorial(n, acc = 1) {
  if (n   return factorial(n - 1, n * acc); // 最后一步是调用自身，无后续运算
}

❌ 非尾调用（普通递归）：

function factorial(n) {
  if (n   return n * factorial(n - 1); // 调用后还要乘 n，不是尾位置
}

如何写出可被优化的递归函数

• 确保递归调用处于尾位置：函数体最后执行的语句必须是函数调用，不能跟在加减、拼接、赋值等操作之后
• 消除“调用后处理”逻辑：把累积结果通过参数传递（即引入累加器 accumulator），而不是靠返回值层层回传
• 使用严格模式：TCO 规范要求代码运行在 "use strict" 下，否则引擎可能直接忽略尾调用上下文
• 避免闭包捕获外部变量参与计算：尾调用需保证调用目标明确、无动态作用域干扰，尽量让所有状态都显式通过参数传递

实际开发中的建议

• 即使引擎不优化，尾递归写法本身也更易理解、不易出错，适合表达迭代逻辑
• 对深度不确定的递归（如树遍历、大型数组处理），优先改用显式循环或迭代器，避免栈溢出风险
• 可借助 Babel 等工具将尾递归自动转为 while 循环（需插件如 @babel/plugin-transform-tail-recursion），获得兼容性保障
• 测试时不要仅看 Chrome 控制台行为——它不启用 TCO，建议在 Safari 技术预览版中验证尾调用是否真的复用栈帧