17370845950

尾调用优化在JavaScript中基本无效，因V8、SpiderMonkey、JavaScriptCore等主流引擎均未实现或已放弃支持，即使代码符合严格模式和尾调用语法，仍会栈溢出。

尾调用优化在JavaScript里基本没用

ES2015（ES6）确实规范了尾调用优化（Tail Call Optimization，TCO），但主流JavaScript引擎几乎都没实现。V8（Chrome / Node.js）早在2017年就明确放弃支持；SpiderMonkey（Firefox）曾短暂实验性开启，后也默认关闭；JavaScriptCore（Safari）从未启用。这意味着写成尾递归形式的 function，在实际运行中仍会不断压栈，RangeError: Maximum call stack size exceeded 该崩还是崩。

为什么 return factorial(n - 1, acc * n) 不能避免栈溢出

尾调用优化生效有严格前提：必须是「严格模式」下、函数**直接返回另一个函数调用的结果**（即无后续计算），且该调用不能是方法调用（如 obj.f()）或带 this 绑定的调用。即便代码写得完全合规，引擎不支持，就只是普通递归。

常见误判场景：

• 用了箭头函数或 bind() —— 尾调用失效
• 外层函数不是严格模式（缺 "use strict";）—— TCO 不触发
• 调用后还做了运算，比如 return f(n-1) + 1 —— 不是尾调用
• 在 try/catch 或 finally 块里调用 —— 大多数引擎拒绝优化

真想提升递归性能？换思路，别依赖TCO

实际项目中，可靠解法是主动消除递归栈，改用迭代或显式栈结构：

• 阶乘、斐波那契等线性递归 → 改成 for 循环，时间/空间复杂度都更可控
• 树遍历（如DFS）→ 用数组模拟栈，push/pop 替代函数调用
• 需要保留上下文的深度优先场景 → 手动维护一个状态对象数组，存 {node, depth, visited} 等字段

例如，把尾递归版的求和改成循环：

function sumTo(n, acc = 0) {
  while (n > 0) {
    acc += n;
    n--;
  }
  return acc;
}

Node.js 和浏览器环境都不该假设TCO存在

即使你用 --harmony-tailcalls 启动旧版 Node（v8.0以前），它也只在非常受限的语法下工作，且已彻底移除。现在任何新项目里写“为TCO设计”的递归，等于给自己埋兼容性雷。真正影响性能的是调用深度和每次调用的内存开销，而不是“是否尾调用”——引擎看不见，也优化不了。

递归逻辑本身没问题，但指望靠尾调用优化来扛深栈，不如早点拆成迭代，或者加深度限制 + 异步分片（如用 setTimeout 或 queueMicrotask 切割任务）。