JavaScript中蹦床函数Trampoline的递归内存处理方案

蹦床函数通过循环替代递归调用栈增长来避免爆栈，核心是返回thunk函数并由while循环逐层执行；它不节省内存或优化算法，但保障深度递归的栈安全性。

蹦床函数（Trampoline）在 JavaScript 中不是靠“节省内存”，而是靠消除递归调用栈增长来解决爆栈问题。它不减少单次执行的内存占用，但让整个递归过程只维持 1～2 层调用栈，从而绕过引擎对栈深度的硬性限制（如 RangeError: Maximum call stack size exceeded）。

核心机制：用循环接管执行权

普通递归每调用一次就压一个栈帧；蹦床函数则强制每步只返回一个函数（thunk），由外部 while 循环反复调用、解包，不新增栈帧。

• trampoline 接收一个函数 f，只要 f 是函数类型，就执行 f = f()
• f 的返回值必须是：要么是最终结果（非函数），要么是下一个 thunk（函数）
• 递归逻辑本身被改写为“返回 bind 或箭头函数”，而不是直接调用自身

改造递归函数的关键写法

原递归必须满足尾调用结构，并拆成“返回 thunk”形式。错误写法会立刻执行并爆栈。

• ✅ 正确：返回 () => factorial(n - 1, acc * n) 或 factorial.bind(null, n - 1, acc * n)
• ❌ 错误：直接写 factorial(n - 1, acc * n)（立即调用，未延迟）
• ❌ 错误：返回 function*() { yield factorial(n - 1, acc) }（生成器仍建新栈帧）

实际调用时必须包裹一层

不能直接传入已执行的函数调用，否则还没进 trampoline 就已爆栈。

立即学习“Java免费学习笔记（深入）”；

• ✅ 正确：trampoline(() => sum(0, 100000))
• ✅ 正确：trampoline(sum.bind(null, 0, 100000))
• ❌ 错误：trampoline(sum(0, 100000))（sum 已执行，报错发生在 trampoline 外）

它不替代算法优化，但保障深度安全

蹦床函数不降低时间复杂度，也不压缩变量内存，它的价值是让原本不可行的深度递归变得可行——比如处理嵌套上千层的 AST、遍历超深树结构、或实现 Free Monad 链式计算。

• 适合场景：逻辑天然递归、难以转为显式循环、又需保证栈安全
• 不适合场景：简单计数类递归（直接改 while 更清晰）、I/O 密集型（应配合异步分片）
• 注意：V8 等引擎仍不启用 TCO，所以蹦床仍是当前最可靠的手动方案