蹦床函数通过循环替代递归调用栈增长来避免爆栈，核心是返回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 就已爆栈。
- ✅ 正确：
trampoline(() => sum(0, 100000)) - ✅ 正确：
trampoline(sum.bind(null, 0, 100000)) - ❌ 错误：
trampoline(sum(0, 100000))（sum 已执行，报错发生在 trampoline 外）
它不替代算法优化，但保障深度安全
蹦床函数不降低时间复杂度，也不压缩变量内存，它的价值是让原本不可行的深度递归变得可行——比如处理嵌套上千层的 AST、遍历超深树结构、或实现 Free Monad 链式计算。
- 适合场景：逻辑天然递归、难以转为显式循环、又需保证栈安全
- 不适合场景：简单计数类递归（直接改 while 更清晰）、I/O 密集型（应配合异步分片）
- 注意：V8 等引擎仍不启用 TCO，所以蹦床仍是当前最可靠的手动方案
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
