蹦床函数通过循环替代递归避免爆栈，核心是接收返回无参thunk的函数，持续执行直至返回终值；支持多参数的关键在于thunk闭包捕获所有实参，如() => f(a, b, c)。
写一个支持多参数传递的通用蹦床函数，核心是让递归调用“退栈”、避免爆栈，同时保持函数签名灵活——关键在于把原函数的参数收集起来，统一交给下一次调度，而不是在递归中层层压栈。
理解蹦床函数的基本结构
蹦床函数本身不递归，它接收一个返回“继续执行指令”的函数（常叫 thunk），循环调用直到返回实际结果。所谓“多参数”，是指被包装的原始函数可能有任意个参数（如 f(a, b, c)），而蹦床不能硬编码参数个数。
- 每次调用原函数时，不直接执行，而是返回一个闭包或对象，携带函数引用和所有实参
- 蹦床主循环只负责解包、调用、判断返回值类型：若仍是 thunk，则继续；若是终值，则退出
- 推荐用函数作为 thunk（比对象更轻量），例如：() => f(x, y, z)
实现一个真正泛用的 trampoline 辅助函数
不依赖具体函数形状，只约定：被蹦床化的函数应返回 thunk 或最终值。你可以用高阶函数自动改造任意函数：
- 定义 trampoline(fn)：返回一个新函数，它接收任意参数，内部用 while 循环展开
- 每次调用 fn(...args)，检查返回值是否为函数；如果是，就把它当作 thunk 执行并更新 args（若 thunk 无参）或提取新参数（若 thunk 带参）
- 更稳妥的做法是让 thunk 总是无参函数，把参数闭包进去 —— 这样主循环逻辑干净，也规避了参数绑定歧义
支持多参的完整示例（ES6+）
下面是一个可直接运行的版本：
const trampoline = (fn) => (...initialArgs) => {
let result = fn(...initialArgs);
while (typeof result === 'function') {
result = result();
}
return result;
};
<p>// 使用示例：计算阶乘（避免爆栈）
const factorial = trampoline((n, acc = 1) =>
n <= 1 ? acc : () => factorial(n - 1, n * acc)
);</p><p>console.log(factorial(5)); // 120
console.log(factorial(10000)); // 不会报 Maximum call stack size exceeded
注意：这里 factorial 内部返回的是箭头函数 () => factorial(...)，它已捕获全部参数，外部蹦床无需再拆解或转发 —— 这就是“多参数”被自然容纳的关键。
进阶：兼容普通函数与 thunk 混合场景
如果希望被包装函数既能返回值又能返回带参 thunk（比如 () => f(a, b)），可在循环中加一层判断：
- 若返回的是函数，且该函数 length > 0（即显式声明了参数），可考虑用 apply 调用，但一般不建议 —— 容易混乱
- 更推荐统一约定：thunk 必须无参，参数靠闭包携带；这样语义清晰，调试友好，也便于类型推导（如 TypeScript）
- 若需动态参数，可在 thunk 内部构造新 thunk，比如：() => (() => g(x))()，仍符合单层无参原则
