为何ES6的TCO在Chrome中未生效？递归栈溢出问题咨询

你遇到的问题其实和代码本身的尾递归结构无关，核心原因是：Chrome的V8引擎已经不再支持ES6标准中的尾调用优化（TCO）了。

先明确几个关键点： #

• 你的代码确实是符合尾调用要求的：最后一步操作就是调用自身，没有额外的计算逻辑，理论上应该被TCO优化成循环。
• ES6规范确实要求支持严格模式下的尾调用优化，但浏览器厂商的实现情况一直在变化。

V8引擎对TCO的支持历程 #

V8曾经在严格模式下短暂支持过TCO，但后来因为以下几个原因移除了该特性：

• 调试难度大幅提升：TCO会改变调用栈的结构，开发者无法回溯完整的递归调用链，不利于调试。
• 性能权衡：TCO的实现会带来一些额外的运行时开销，对于大多数非极端递归场景，收益并不明显。
• 开发者生态的反馈：很多开发者表示更倾向于清晰的调用栈，而非隐式的优化。

所以现在无论是Chrome浏览器，还是基于V8的Node.js，都不再支持ES6标准的尾调用优化，你的递归代码在调用深度超过栈的限制时，自然会出现栈溢出。

替代解决方案 #

既然原生TCO不可靠，你可以用以下方式避免栈溢出：

1. 手动将递归转为循环：这是最直接的方式，性能也最优。比如你的代码可以改成：

function sumLoop(n, accumulator) {
  while (n > 0) {
    accumulator += n;
    n--;
  }
  return accumulator;
}
console.log(sumLoop(100000, 0)); // 正常运行

2. 使用蹦床函数（Trampoline）：把尾递归函数包装成返回函数的形式，通过循环执行这些函数来避免栈增长：

function trampoline(fn) {
  return function(...args) {
    let result = fn(...args);
    while (typeof result === 'function') {
      result = result();
    }
    return result;
  };
}

function sumTailRecursion(n, accumulator) {
  if (n == 0) return accumulator;
  accumulator += n;
  return () => sumTailRecursion(--n, accumulator);
}

const optimizedSum = trampoline(sumTailRecursion);
console.log(optimizedSum(100000, 0)); // 正常运行

内容的提问来源于stack exchange，提问作者Hyunsoo