蹦床模式通过将同步递归改为循环驱动的thunk序列，实现常量栈空间的深度遍历，避免栈溢出但不改变同步本质；如需真正非阻塞，需结合微任务切片。
蹦床模式（Trampoline）本身不直接“实现非阻塞递归遍历”，而是把可能栈溢出的**同步递归调用**改造成**循环驱动的延迟执行序列**，从而避免调用栈无限增长。它解决的是“阻塞式递归导致栈溢出”的问题，而非让遍历真正异步或非阻塞（如不占用主线程）。在 JavaScript 等单线程环境里，“非阻塞”常被误用——这里实际目标是：**用常量栈空间完成深度遍历，同时不卡住事件循环**。
蹦床的核心思想：用数据代替调用
普通递归靠函数调用堆栈推进，蹦床则把每一步“该做什么”封装成函数（thunk），返回给调度器，由 while 循环逐个执行。每次只压一个栈帧，彻底规避爆栈。
- 每个递归步骤不直接调用自身，而是返回一个函数（即 thunk），表示“下一步要做的事”
- 蹦床函数（trampoline）接收初始 thunk，进入循环：执行它 → 检查返回值 → 若仍是函数，继续执行；若不是，返回结果
- 整个过程只用一层调用栈，但逻辑上仍是递归结构
对树遍历的应用：以深度优先为例
假设遍历一棵嵌套很深的树，传统递归写法容易栈溢出：
❌ 危险写法function dfs(node) { if (!node) return; console.log(node.val); dfs(node.left); dfs(node.right); }
改用蹦床模式：
✅ 蹦床版（同步、零栈增长）function dfsTramp(node) {<br> return () => {<br> if (!node) return null;<br> console.log(node.val);<br> return () => dfsTramp(node.left)(); // 返回下一个 thunk<br> };<br>}<br><br>function trampoline(fn) {<br> let result = fn();<br> while (typeof result === 'function') {<br> result = result();<br> }<br> return result;<br>}<br><br>trampoline(() => dfsTramp(root)()); // 安全启动
若真需要“非阻塞”（不卡 UI）：配合微任务或定时切片
纯蹦床仍是同步执行，只是不爆栈。如需让深度遍历不冻结页面，需主动让出控制权：
- 每处理 N 个节点后，用
Promise.resolve().then(...)或queueMicrotask把剩余工作推到下一轮微任务 - 或用
setTimeout(..., 0)切成宏任务，强制浏览器重绘 - 此时“蹦床循环”被拆成多个异步片段，每次只跑一小段，实现真正的非阻塞体验
注意：这不是银弹，有适用边界
蹦床适合已知存在超深递归风险、且无法改用迭代（如复杂状态依赖）的场景。但会增加代码复杂度和内存开销（保存闭包）。现代 JS 引擎对尾调用优化（TCO）支持有限，而简单遍历通常可直接转为显式栈迭代（如用数组模拟调用栈），更直观高效。
