17370845950

生成器函数是可暂停的函数，返回实现迭代器和可迭代协议的Generator对象；通过function*定义，yield实现惰性求值与状态暂停，每次next()触发一次执行并返回值，适合处理无限序列或大数据流以节省内存。

生成器函数本质是可暂停的函数

JavaScript 生成器函数不是普通函数，它返回一个 Generator 对象，这个对象是迭代器（Iterator）和可迭代协议（Iterable）的双重实现。调用它不会立即执行函数体，而是返回一个未启动的迭代器。

关键在于 function* 语法和内部的 yield 表达式——每次遇到 yield，函数就暂停并交出控制权，同时把右侧值作为 next() 调用的返回结果；下次再调用 next()，才从暂停处继续执行。

yield 是惰性求值的开关

惰性求值不等于“延迟计算”，而是“按需触发、逐次产出”。只要没调用 next()，yield 后面的表达式就不会求值。

• yield 右侧如果是函数调用（如 yield expensiveCalculation()），该函数仅在对应 next() 被调用时执行
• yield 后面可以是任意表达式，包括 await（配合 async function*）、yield* 委托，甚至没有值（yield;）
• 一旦生成器进入 done: true 状态，后续 next() 调用始终返回 { value: undefined, done: true }，不会再触发任何逻辑

function* countdown(n) {
  while (n > 0) {
    console.log('计算中...', n);
    yield n;
    n--;
  }
}
const gen = countdown(3);
gen.next(); // 打印 "计算中... 3"，返回 { value: 3, done: false }
gen.next(); // 打印 "计算中... 2"，返回 { value: 2, done: false }
gen.next(); // 打印 "计算中... 1"，返回 { value: 1, done: false }
gen.next(); // 返回 { value: undefined, done: true }，不再打印

和普通数组对比：内存与时机差异明显

生成器不预先构建完整数据结构，因此对无限序列或大数据流特别友好。比如想生成斐波那契数列前 10000 项：

立即学习“Java免费学习笔记（深入）”；

• 用数组：必须一次性算出全部 10000 个数并存入内存，可能 OOM
• 用生成器：每次只保留当前两项状态，next() 一次算一个，内存恒定 O(1)
• 如果只取前 5 项，生成器就只执行 5 次循环；数组方案仍要算满 10000 次

function* fib() {
  let a = 0, b = 1;
  while (true) {
    yield a;
    [a, b] = [b, a + b];
  }
}
const it = fib();
it.next().value; // 0
it.next().value; // 1
it.next().value; // 1
it.next().value; // 2
// 想停就停，不浪费算力

注意 return 和 throw 会提前终止生成器

生成器不是纯惰性容器，它的生命周期受外部控制。调用 return() 或 throw() 会强制结束，跳过剩余 yield，并触发 finally 块（如果有）。

• gen.return(value) 立即返回 { value, done: true }，后续 next() 也返回 { value: undefined, done: true }
• gen.throw(err) 将错误抛入生成器内部，若没被 try/catch 捕获，生成器进入 completed 状态
• 所有 yield 都隐含暂停点，但 return 和 throw 是主动中断信号，这点容易被忽略

生成器的惰性不是魔法，它依赖你不主动调用 next()；一旦开始遍历，每一步仍是同步执行的——真正复杂的是状态机管理与上下文保存，这些都由 JS 引擎在背后完成。