尾调用优化（TCO）在JavaScript中实际不可用，因所有主流引擎均未启用且已放弃支持；替代方案包括手动转为循环、Trampoline模式或Babel转译（但后者局限大、不实用）。

尾调用优化（TCO）在 JavaScript 中实际不可用

JavaScript 规范（ES2015 起）确实定义了尾调用优化，但 所有主流浏览器引擎（V8、SpiderMonkey、JavaScriptCore）都未启用该特性，且 Chrome 和 Safari 已明确表示不打算支持。Node.js 在启用 --harmony-tailcalls 时曾短暂实验过，但该 flag 已于 Node.js 8.0+ 彻底移除。这意味着：你写的尾递归函数 foo(n) { return n 仍会爆栈，和普通递归无异。

为什么 return func(...) 不等于“被优化的尾调用”

即使语法上满足尾位置（即函数最后一条语句是 return 调用另一个函数），也必须同时满足：调用发生在严格模式下，且引擎必须实现并启用 TCO。现实中这两条全不成立。常见误判场景包括：

• return f(x) + 1 —— 不是尾调用（有后续加法）
• return f(x); 在非严格模式下 —— 即使语法正确，V8 也直接忽略
• async function 中的 return await f() —— await 表达式破坏尾位置

替代方案：手动转为循环或使用 trampoline

想安全处理深层递归，只能绕过引擎限制。两种主流做法：

• 显式循环重写：把递归逻辑展开为 while 或 for，用栈数组模拟调用帧，例如阶乘可改写为

  function factorial(n) {
    let result = 1;
    while (n > 1) {
      result *= n;
      n--;
    }
    return result;
  }

• Trampoline 模式：返回函数而非值，由外层循环驱动执行，避免嵌套调用。适用于无法预知递归深度的场景，如树遍历：

  function trampoline(fn) {
    while (typeof fn === 'function') {
      fn = fn();
    }
    return fn;
  }
  function factorialTco(n, acc = 1) {
  return n <= 1 ? acc : () => factorialTco(n - 1, n * acc);
  }
  // 使用：trampoline(() => factorialTco(10000))

立即学习“Java免费学习笔记（深入）”；

注意：Babel 等转译器也无法真正实现 TCO

Babel 的 @babel/plugin-transform-tail-recursion 只能将尾递归转为 while 循环，但它 仅在编译时静态识别简单尾调用，对闭包捕获变量、间接调用（return obj.method()）、动态函数名等均失效。而且它生成的代码可读性差、调试困难，线上项目基本不用。真正可靠的方案仍是人工重构或选用合适的数据结构与迭代策略。