Node.js v8.5中尾递归函数触发调用栈溢出，求原因与解决方案

首先直接给结论：这个栈溢出问题是因为你的递归函数调用栈深度超过了Node.js v8.5引擎的默认调用栈限制，核心需要调整函数结构来避免，而非引擎本身的bug。

为什么递归会触发栈溢出？ #

你的sum_multiples函数是尾递归形式（递归调用是函数的最后一个操作），但Node.js v8.5默认没有开启尾递归优化（TCO）。这意味着每一次递归调用都会在调用栈上创建一个新的栈帧，当从i=1递归到i=1000时，栈上会累积近1000个栈帧——虽然这个数字看起来不大，但v8引擎在早期版本的默认栈深度限制其实并没有特别高（不同环境下可能有波动），当栈帧数量超过阈值时就会触发Maximum call stack size exceeded错误。

而循环（while/for）则完全不同：循环逻辑始终在同一个栈帧里执行，不会不断新增栈帧，所以哪怕你计算到1000000000000这样的超大数值，也不会出现栈溢出的问题。

如何解决这个问题？ #

有几种可行的方案：

1. 改用循环实现（最稳定的方案）

你已经验证过这种方式可行，这里再给出一个更简洁的示例实现：

"use strict";
function sum_multiples(max) {
  let sum = 0;
  for (let i = 1; i < max; i++) {
    if (i % 3 === 0 || i % 5 === 0) {
      sum += i;
    }
  }
  return sum;
}
console.log(sum_multiples(1000));

2. 开启尾递归优化（仅适用于特定Node版本）

如果你坚持想用递归，可以在启动Node时加上--harmony-tailcalls flag来开启尾递归优化：

node --harmony-tailcalls your-script.js

不过要注意：这个特性在后续的Node.js版本（比如v10及以后）被移除了，所以这只是一个临时的兼容方案，不推荐在生产环境依赖它。

3. 使用蹦床函数（Trampoline）模拟尾递归

蹦床函数可以把递归调用转化为循环调用，避免栈溢出，适合需要保留递归逻辑的场景：

"use strict";
function trampoline(fn) {
  while (typeof fn === 'function') {
    fn = fn();
  }
  return fn;
}

function sum_multiples(i, max, sum) {
  if (i >= max) return sum;
  return () => ((i%3 === 0) || (i%5 === 0)) 
    ? sum_multiples(i+1, max, sum+i) 
    : sum_multiples(i+1, max, sum);
}

console.log(trampoline(() => sum_multiples(1, 1000, 0)));

这里我们把递归调用包装成返回一个函数，然后通过蹦床函数的循环来执行这些函数，从而避免栈帧累积。

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