蹦床函数通过将递归调用转为返回待执行函数并由while循环调度，避免栈溢出。它要求所有递归分支返回lambda、状态全靠参数传递、终止时返回非函数值，从而安全处理嵌套递归结构。
蹦床函数（Trampoline）是一种把递归调用“压平”为循环的技术，专门用来避免深层递归导致的栈溢出。它不直接递归调用自身，而是返回下一个要执行的函数（或指令），由外层统一调度——就像人在蹦床上一次次弹起，而不是一层层堆叠调用栈。
核心思路是：把递归调用变成函数对象的链式返回，再用 while 循环逐个执行
蹦床函数如何应对嵌套递归结构
嵌套递归（比如树遍历、多层配置解析、带括号的表达式计算）容易产生调用栈深度失控。蹦床通过以下方式化解：
- 每次递归逻辑不再
return f(...)，而是return () => f(...) - 外层蹦床函数持续执行这些“待办函数”，直到返回非函数值为止
- 所有中间状态（如当前节点、路径、深度）都通过参数传递，不依赖调用栈保存
例如处理树形结构：
def traverse(node, path=None):
if not node:
return None
if node.get("id") == "target":
return {"found": True, "path": path or []}
# 不直接递归，而是返回一个待执行的函数
for child in node.get("children", []):
new_path = (path or []) + [node["id"]]
# 返回函数，不是调用结果
return lambda: traverse(child, new_path)
return None
def trampoline(func, *args):
result = func(*args)
while callable(result):
result = result()
return result
# 使用
result = trampoline(traverse, root_node)
关键设计要点
-
终止条件必须显式返回非函数值：比如
None、字典、数字，不能漏判 - 所有递归分支都要包装成 lambda 或 partial：哪怕只有一处没包，就会触发真实递归
-
状态全靠参数传递：不能靠闭包或全局变量存
depth或path，否则在蹦床调度中会错乱 -
支持提前退出：返回
StopIteration或自定义哨兵值，让trampoline立即终止
和普通递归、迭代栈的区别
- 比纯递归安全：不受引擎栈深限制（V8 通常 10k 层，Python 默认约 1k）
- 比手动栈更语义清晰：逻辑仍保持“递归风格”，只是执行方式变了
- 比嵌套调用更可控：每个返回函数可加日志、限速、中断判断
不复杂但容易忽略细节
