使用Trampoline仍遇递归栈溢出？JS求和函数问题求助

你的问题其实不是trampoline的优化失效了，而是在调用sum(...xs)的时候，数组展开运算符(...)本身会消耗调用栈空间——当数组元素达到10万级别时，参数展开的过程就已经触发了栈溢出，根本轮不到trampoline去处理递归的栈问题。

为什么会这样？ #

JS引擎在处理函数调用的参数展开时，会把数组里的每一个元素都作为单独的参数压入调用栈。当你传入10万个元素的数组时，调用栈要一次性容纳10万个参数的信息，直接超过了浏览器或Node.js的调用栈容量限制，所以提前触发了call stack overflow。

而trampoline解决的是递归调用本身产生的栈累积，它管不了函数调用时参数展开带来的栈消耗。

怎么解决？ #

我们可以修改函数，让它直接接收数组作为参数，而不是依赖展开运算符传递大量单个参数。这样不管数组多大，函数调用时只传递一个（或几个固定数量的）参数，不会占用过多栈空间，再结合trampoline处理递归逻辑，就能支持超大数量的元素求和了。

基础优化版本

// 改为接收数组参数的递归函数
function _sum(arr, acc = 0) {
  if (arr.length === 0) {
    return acc;
  }
  // 每次取第一个元素累加，剩下的数组继续处理
  return () => _sum(arr.slice(1), acc + arr[0]);
}

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

const sum = trampoline(_sum);

// 测试10万个元素
let xs = [];
for (let i = 0; i < 100000; i++) {
  xs.push(i);
}
console.log(sum(xs)); // 正常输出结果

性能优化版本（避免数组切片开销）

上面的代码用arr.slice(1)会创建新数组，对于10万级别的数据会有一定性能损耗，我们可以改用索引遍历数组，进一步优化：

function _sum(arr, index = 0, acc = 0) {
  if (index >= arr.length) {
    return acc;
  }
  return () => _sum(arr, index + 1, acc + arr[index]);
}

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

const sum = trampoline(_sum);

let xs = [];
for (let i = 0; i < 100000; i++) {
  xs.push(i);
}
console.log(sum(xs)); // 效率更高

这样修改后，不管数组有多少元素，函数调用时都只传递固定数量的参数（数组、索引、累加器），参数展开的问题完全消失，trampoline也能正常处理递归的栈累积，完美解决你的问题。

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