蹦床函数与生成器结合:怎么实现更优雅的异步递归?

夜磊小哥_3906

夜磊小哥_3906

2026-06-18

809人浏览

原创

蹦床函数与生成器结合可避免异步递归栈溢出,核心是将递归调用转为生成器逐层yield promise,由蹦床用while循环+await驱动执行。

蹦床函数与生成器结合:怎么实现更优雅的异步递归?

蹦床函数(Trampoline)和生成器结合,能有效避免异步递归中的栈溢出问题,同时保持代码可读性。核心思路是:把递归调用“退弹”成同步返回的生成器对象,由蹦床函数循环驱动,每次只执行一层,再交还控制权。

为什么需要蹦床 + 生成器?

直接写 async function foo() { return await foo(); } 会无限压栈(即使有 await),V8 等引擎仍可能抛 RangeError: Maximum call stack size exceeded。生成器天然惰性、可暂停;蹦床则把递归“展平”为 while 循环——二者配合,既不阻塞事件循环,也不耗尽调用栈。

基础实现:一个通用蹦床函数

只需一个轻量函数,接收生成器函数及其初始参数,自动迭代直到完成:

javascript-pro
javascript-pro

专注现代 ECMAScript、异步编程、性能优化和全栈的 JavaScript 专家,适用于现代开发

下载
function trampoline(genFn, ...args) {
  let gen = genFn(...args);
  let result = gen.next();
  while (!result.done) {
    // 若 yield 出的是 Promise 或另一个生成器,继续推进
    if (result.value instanceof Promise) {
      result = gen.next(result.value.awaited()); // 需配合 async/await 改写
    } else if (typeof result.value === 'function' && result.value.constructor.name === 'GeneratorFunction') {
      gen = result.value();
      result = gen.next();
    } else {
      result = gen.next(result.value);
    }
  }
  return result.value;
}

但更实用的做法是让生成器只 yield Promise,并由蹦床统一 await:

  • 生成器逻辑专注业务流程,每层 yield 一个 Promise(如数据库查询、定时器、fetch)
  • 蹦床函数内部用 async/await 驱动,每次 await 后再 gen.next()
  • 这样递归深度无关栈大小,只取决于内存中保存的生成器上下文(极小)

实际例子:带重试的异步树遍历

比如从 API 加载嵌套评论树,每层最多重试 3 次:

function* fetchCommentTree(id, retries = 3) {
  try {
    const data = yield fetch(`/api/comment/${id}`);
    if (data.children?.length) {
      for (const child of data.children) {
        yield* fetchCommentTree(child.id, retries); // 委托给子生成器
      }
    }
  } catch (e) {
    if (retries > 0) {
      yield new Promise(r => setTimeout(r, 100)); // 指数退避可自行扩展
      yield* fetchCommentTree(id, retries - 1);
    }
  }
}
<p>// 蹦床驱动器(async 版)
async function runTrampoline(genFn, ...args) {
const gen = genFn(...args);
let result = gen.next();
while (!result.done) {
if (result.value instanceof Promise) {
result = gen.next(await result.value);
} else {
result = gen.next(result.value);
}
}
return result.value;
}</p><p>// 使用
runTrampoline(fetchCommentTree, 123).then(tree => console.log(tree));</p>

注意事项与优化点

  • 不要在生成器里写普通递归调用:必须用 yield* 委托,确保控制权回到蹦床
  • 错误需在生成器内捕获并 yield 出处理结果,否则会中断整个蹦床流程
  • 若需取消,可在生成器中监听 AbortSignal,或让蹦床接受 abort controller 并向生成器注入
  • 现代场景中,async generator(async function*)+ for await...of 更简洁,但无法直接替代蹦床解决深层递归——此时仍推荐上述模式

相关专题

更多
js获取数组长度的方法
js获取数组长度的方法

在js中,可以利用array对象的length属性来获取数组长度,该属性可设置或返回数组中元素的数目,只需要使用“array.length”语句即可返回表示数组对象的元素个数的数值,也就是长度值。php中文网还提供JavaScript数组的相关下载、相关课程等内容,供大家免费下载使用。

2023.06.20

4846

5

js刷新当前页面
js刷新当前页面

js刷新当前页面的方法:1、reload方法,该方法强迫浏览器刷新当前页面,语法为“location.reload([bForceGet]) ”;2、replace方法,该方法通过指定URL替换当前缓存在历史里(客户端)的项目,因此当使用replace方法之后,不能通过“前进”和“后退”来访问已经被替换的URL,语法为“location.replace(URL) ”。php中文网为大家带来了js刷新当前页面的相关知识、以及相关文章等内容

2023.07.04

1209

3

js四舍五入
js四舍五入

js四舍五入的方法:1、tofixed方法,可把 Number 四舍五入为指定小数位数的数字;2、round() 方法,可把一个数字舍入为最接近的整数。php中文网为大家带来了js四舍五入的相关知识、以及相关文章等内容

2023.07.04

4764

6

js删除节点的方法
js删除节点的方法

js删除节点的方法有:1、removeChild()方法,用于从父节点中移除指定的子节点,它需要两个参数,第一个参数是要删除的子节点,第二个参数是父节点;2、parentNode.removeChild()方法,可以直接通过父节点调用来删除子节点;3、remove()方法,可以直接删除节点,而无需指定父节点;4、innerHTML属性,用于删除节点的内容。

2023.09.01

940

4

JavaScript转义字符
JavaScript转义字符

JavaScript中的转义字符是反斜杠和引号,可以在字符串中表示特殊字符或改变字符的含义。本专题为大家提供转义字符相关的文章、下载、课程内容,供大家免费下载体验。

2023.09.04

1856

5

js生成随机数的方法
js生成随机数的方法

js生成随机数的方法有:1、使用random函数生成0-1之间的随机数;2、使用random函数和特定范围来生成随机整数;3、使用random函数和round函数生成0-99之间的随机整数;4、使用random函数和其他函数生成更复杂的随机数;5、使用random函数和其他函数生成范围内的随机小数;6、使用random函数和其他函数生成范围内的随机整数或小数。

2023.09.04

3445

4

如何启用JavaScript
如何启用JavaScript

JavaScript启用方法有内联脚本、内部脚本、外部脚本和异步加载。详细介绍:1、内联脚本是将JavaScript代码直接嵌入到HTML标签中;2、内部脚本是将JavaScript代码放置在HTML文件的`<script>`标签中;3、外部脚本是将JavaScript代码放置在一个独立的文件;4、外部脚本是将JavaScript代码放置在一个独立的文件。

2023.09.12

4473

6

Js中Symbol类详解
Js中Symbol类详解

javascript中的Symbol数据类型是一种基本数据类型,用于表示独一无二的值。Symbol的特点:1、独一无二,每个Symbol值都是唯一的,不会与其他任何值相等;2、不可变性,Symbol值一旦创建,就不能修改或者重新赋值;3、隐藏性,Symbol值不会被隐式转换为其他类型;4、无法枚举,Symbol值作为对象的属性名时,默认是不可枚举的。

2023.09.20

2920

5

java访问控制修饰符介绍
java访问控制修饰符介绍

java访问控制修饰符有四种,分别是public、protected、private、默认访问修饰符。详细介绍:1、public,public是最宽松的访问控制修饰符,被修饰的类、方法和变量可以被任何其他类访问,当一个类、方法或变量被声明为public时,它们可以在任何地方被访问,无论是同一个包中的类还是不同包中的类;2、protected修饰符等等。

2023.09.20

928

7

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
LLVM CMake构建指南
LLVM CMake构建指南

共0课时 | 0人学习

CMake 官方入门教程
CMake 官方入门教程

共0课时 | 0人学习

ECMAScript6 / ES6---十天技能课堂
ECMAScript6 / ES6---十天技能课堂

共25课时 | 2.7万人学习