蹦床函数用于解决无尾调用优化环境下深层递归导致的栈溢出问题。适用于高嵌套数据遍历、函数式组合链、响应式求值及策略表达式解析等场景，通过返回thunk并由调度器循环执行，将调用栈控制在1～2层。
蹦床函数主要用在那些逻辑天然适合递归、但运行环境不支持尾调用优化（TCO）的场景里。它不是为了“炫技”，而是解决一个很实际的问题：栈溢出。只要递归深度可能超过几百上千层，又没法换语言或引擎，蹦床就是最轻量、最可控的防御手段。
常见适用场景
• 高嵌套数据结构遍历：比如 JSON 深拷贝、schema 校验、AST 解析——10 层嵌套很常见，20 层以上就容易触发 RangeError。
• 函数式组合与柯里化链：像 compose(f, g, h, ..., z) 这种 50+ 函数串联，每次调用都隐式递归展开，表面看不出深度，实则危险。
• 响应式依赖追踪或虚拟 DOM diff：Vue 或 SolidJS 中的响应式更新有时会引发深层递归求值，尤其在复杂组件树中。
• 状态机或规则引擎的递归求值：例如解析带嵌套条件的策略表达式：if(a){if(b){...}}，层级一多就爆栈。
处理超大树结构的具体做法
关键不是“把树递归变循环”，而是让每一步递归主动交出控制权，由蹦床调度器统一推进。以遍历一棵万级节点的 DOM 树或配置树为例：
• 把原递归函数改造成返回 thunk 的尾递归形式：每个子树处理完，不直接调自己，而是返回 () => traverse(node.children[0], acc) 这样的函数。
• 所有分支路径（包括空节点、叶子、中间节点）都必须返回函数或最终值，不能混用；否则 while 循环会提前终止。
• 使用显式累加器（如数组、Map）收集结果，避免闭包堆积内存。
• 若树宽度过大（单层上千子节点），可配合分片：thunk 内部用 for 循环处理前 100 个，再返回下一个分片的 thunk，进一步摊平调用节奏。
一个简化示例：树节点计数
假设有一棵深度 5000 的单链树（每个节点只有一个 child）：
// 原始递归（必爆栈）
function countNodes(node) {
if (!node) return 0;
return 1 + countNodes(node.child);
}
// 改造成蹦床友好版
function countTramp(node, acc = 0) {
if (!node) return acc;
return () => countTramp(node.child, acc + 1); // 返回 thunk，不调用
}
// 调用入口
const result = trampoline(() => countTramp(root));
此时无论树多深，JS 引擎只维持 1～2 层调用栈——因为真正执行的是外层 while 循环，不是层层嵌套的函数调用。
注意事项
• 不要试图用生成器（yield）替代 thunk：生成器函数被调用时仍会建栈帧，无法防溢出。
• 箭头函数包裹必不可少：直接写 trampoline(countTramp(root)) 会立刻执行并爆栈。
• 如果树节点本身含大量属性或闭包，注意内存泄漏风险——thunk 闭包会捕获当前作用域，建议只传必要参数。
• 在 Node.js 环境中，可结合 setImmediate 或 queueMicrotask 把大任务拆成微任务，避免长时间阻塞主线程。
