JavaScript 中尾调用优化（TCO）实际不可用，所有主流引擎均未启用；合法尾调用要求函数最后一步直接返回函数调用结果，无中间运算；因调试可观测性问题，TCO 在规范中为可选且暂不支持，必须手动转为循环或显式栈实现。
尾调用优化（TCO）在 JavaScript 中实际不可用
JavaScript 规范确实定义了尾调用优化（Tail Call Optimization），但所有主流引擎（V8、SpiderMonkey、JavaScriptCore）目前都 ** 未启用该特性 **。Chrome 自 2017 年起移除了对 strict mode 下 TCO 的实验性支持，Firefox 也从未默认开启，Safari 则明确不支持。这意味着你写一个合法的尾 递归函数 ，它依然会消耗调用 栈空间，最终触发 RangeError: Maximum call stack size exceeded。
什么是合法的尾调用？不是所有“最后一个调用”都算
尾调用要求函数的 ** 最后一步是直接返回另一个函数调用的结果 **，中间不能有计算、赋值、逻辑运算或任何上下文依赖。常见误判包括：
-
return f(x) + 1❌ —— 加法在调用之后执行，不是尾调用 -
const result = f(x); return result;❌ —— 赋值引入了变量绑定，破坏尾位置 -
return x ? f(a) : f(b)✅ —— 两个分支都直接返回调用，仍是尾调用 -
return f(x)✅ —— 最简形式，标准尾调用
注意：只有 function 声明和 function 表达式在严格模式下才可能被识别为尾调用；箭头函数、async 函数、generator 函数均不参与 TCO 检查（即使语法上看似尾位置）。
想写高性能递归？手动改写才是现实方案
既然引擎不支持 TCO，真实项目中必须把尾递归转为循环或使用显式栈。例如阶乘的尾递归写法：
立即学习“Java 免费学习笔记（深入）”；
function factorial(n, acc = 1) {if (n <= 1) return acc; return factorial(n - 1, n * acc); // 看似可优化，但 V8 不会优化 }应改写为：
function factorial(n) {let acc = 1; while (n> 1) {acc *= n; n--;} return acc; }更复杂场景（如树遍历）需用数组模拟调用栈，把递归参数压入 stack 数组，再用 while (stack.length) 循环处理。这种转换不是“理论优化”，而是避免栈溢出的必要操作。
为什么 浏览器 不实现 TCO？不只是技术问题
TCO 在规范中是“可选”的，根本原因在于调试与错误追踪的权衡。启用 TCO 后，调用栈会被截断，开发者无法看到完整调用链，new Error().stack 丢失中间帧，DevTools 的断点跳转和异步堆栈追踪也会失效。V8 团队明确表示：在可观测性未解决前，不会重新引入 TCO。所以别等引擎“修复”，把递归转成迭代才是稳定解法。
