如何用尾调用优化（TCO）减少递归过程中的栈帧开销-js教程-PHP中文网

JavaScript 不支持真正的尾调用优化（TCO），现代引擎如V8、SpiderMonkey均未实现；Rust、Scala、Erlang/Elixir、Haskell等语言在编译器或运行时层面提供不同程度的TCO支持；手动转为循环是最可靠方式。

如何用尾调用优化（tco）减少递归过程中的栈帧开销

TCO 在 JavaScript 中根本不存在，别白费劲了

现代 JavaScript 引擎（V8、SpiderMonkey、JavaScriptCore）**不支持真正的尾调用优化**，哪怕你写得完全符合尾调用定义，node --harmony-tailcalls 也早已被移除，Chrome 和 Firefox 均未启用该特性。你看到的“尾递归没爆栈”，大概率是递归深度不够，或引擎做了其他无关优化，不是 TCO 起效。

哪些语言真能用 TCO？看编译器和运行时是否认账

TCO 是语言规范 + 实现共同决定的，不是语法写了尾调用就自动生效：

Rust：默认不开，但 rustc -C opt-level=3 下对简单递归（如 factorial）可能生成循环指令，需看生成的 LLVM IR 或汇编确认
Scala：仅当方法用 @tailrec 标记且编译器能验证为尾递归时才通过编译，否则报错 error: could not optimize @tailrec annotated method
Erlang/Elixir：运行时强制支持，所有尾调用都重用栈帧，这是其高并发模型的基础
Haskell（GHC）：默认启用，但依赖严格求值上下文；惰性求值下可能因 thunk 积累抵消 TCO 效果

自己手动转成循环，才是最稳的“TCO”

与其赌引擎或编译器，不如把尾递归逻辑改写为显式循环。关键点不是“去掉递归”，而是**保留状态变量、消除调用栈依赖**：

比如这个看似可尾递归的阶乘：

function factorial(n, acc = 1) {
  if (n <p>等价的手动循环写法：</p><pre class="brush:php;toolbar:false;">function factorial(n) {
  let acc = 1;
  while (n > 1) {
    acc *= n;
    n -= 1;
  }
  return acc;
}