trampoline模式通过循环替代递归调用栈增长来避免爆栈，核心是返回thunk函数并由while循环逐层执行；它不节省内存或优化算法，但保障深度递归的栈安全性。
Trampoline 模式不能真正实现“无限递归”，它其实是用来避免栈溢出的递归替代方案，把深度递归转换为循环执行。所谓“无限”，是指逻辑上可重复调用，但实际运行时不会压爆调用栈。
为什么需要 Trampoline？
普通递归每次调用都会在调用栈中新增一帧，当递归层级过深（比如几万次），JavaScript 或 JVM 等环境会抛出 RangeError: Maximum call stack size exceeded 或 StackOverflowError。Trampoline 通过返回函数（thunk）而非直接调用，把控制权交还给一个统一的循环驱动器，从而把栈深度压平为常数级。
核心思想：用函数包裹调用，延迟执行
每个递归步骤不直接调用自身，而是返回一个“待执行的函数”（即 thunk）。主循环不断调用这个函数，直到它返回一个非函数值（即结果）为止。
- 递归函数返回
() => nextStep(...)，而不是nextStep(...) - trampoline 函数接收初始 thunk，用 while 循环反复执行，直到返回值不再是函数
- 整个过程只占用 1 层调用栈
JavaScript 示例：计算阶乘（支持超大 n）
const trampoline = fn => (...args) => {
let result = fn(...args);
while (typeof result === 'function') {
result = result();
}
return result;
};
<p>const factorial = trampoline((n, acc = 1) => {
if (n factorial(n - 1, n * acc); // 返回 thunk，不递归调用
});</p><p>console.log(factorial(10000)); // ✅ 不报错，正常返回</p>注意事项与常见误区
- 必须确保每次返回的是纯函数（无副作用、不捕获外部可变状态），否则 thunk 执行顺序或结果可能异常
- 不是所有递归都适合——尾递归形式最自然；非尾递归需手动转成累积+延续（continuation-passing style）
- 性能略有开销（函数对象创建、循环判断），但换来的是稳定性和深度保障
- 现代 JavaScript 引擎未普遍支持尾调用优化（TCO），Trampoline 是目前最可靠的手动替代方案
