JavaScript 不支持真正的尾调用优化（TCO），现代引擎如V8、SpiderMonkey均未实现；Rust、Scala、Erlang/Elixir、Haskell等语言在编译器或运行时层面提供不同程度的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 <= 1) return acc;
return factorial(n - 1, n * acc); // 尾调用形式
}等价的手动循环写法：
function factorial(n) {
let acc = 1;
while (n > 1) {
acc *= n;
n -= 1;
}
return acc;
}- 原递归中
acc和n是每次调用的参数，现在变成循环内的可变变量 - 没有函数调用开销，栈空间恒定 O(1)
- 如果递归有多个参数或分支（如树遍历），就用数组或对象模拟调用栈，而非依赖语言特性
别被“尾调用”字面意思骗了：检查是否真在尾位置
常见误判场景：
- 异步回调里写递归：
setTimeout(() => foo(n-1), 0)—— 不是尾调用，中间穿插了事件循环调度 - try/catch 包裹递归调用：
try { return bar(n-1); } catch...—— 大部分引擎无法优化，异常处理需保留栈上下文 - 箭头函数里
this绑定导致隐式闭包，某些旧引擎会阻止优化 - 严格模式下某些引擎对
arguments或eval的存在更敏感，即使没用到也会禁用 TCO
真正可靠的栈控制，永远来自你对执行流的显式管理，而不是寄希望于某次“刚好优化成功”的调用。
