yield*实现嵌套迭代器递归展开详解

JavaScript生成器中的yield*表达式，常被理解为展开可迭代对象，但其核心机制是“迭代委托”。理解这一本质及关键细节，有助于开发者更精准地运用这一特性。

yield*的核心在于“交出控制权”。它并非手动循环并逐个yield，也不同于展开运算符（...）的数组聚合。其工作方式是直接启动被委托对象的迭代过程，并将产出的每个值实时、原样地传递给当前生成器的调用者，如同无缝对接两条流水线。

yield* 的本质是迭代委托

关键在于，yield*执行的是迭代委托，而非简单的函数调用或语法糖。它要求被委托的对象必须是实现了[Symbol.iterator]()方法的可迭代对象。

• 合法的可迭代对象： 数组、字符串、Map、Set、生成器执行结果及自定义迭代器对象。
• 常见问题对象： 普通对象字面量（如{a: 1}）默认不可迭代，对其使用yield*将抛出TypeError。

递归展开嵌套数组的典型写法

yield*的经典应用是扁平化多层嵌套数组。其思路是遍历数组，若当前项为数组，则通过yield*将迭代任务递归委托给处理子数组的同一生成器函数；若非数组，则直接产出该值。

function* flatten(arr) {
  for (const item of arr) {
    if (Array.isArray(item)) {
      yield* flatten(item);
    } else {
      yield item;
    }
  }
}

// 使用示例
const nested = [1, [2, 3], [4, [5, 6]], 7];
console.log([...flatten(nested)]); // 输出：[1, 2, 3, 4, 5, 6, 7]

代码简洁，递归逻辑清晰，体现了迭代委托的优势。

注意字符串和类数组的边界情况

实际使用中需注意以下边界情况：

• 字符串处理： 字符串是可迭代对象，yield* "hello"会依次产出每个字符。在通用扁平化函数中，常需用typeof item === 'string'将字符串排除在递归展开之外。
• 类数组对象： 如arguments或NodeList，可能未直接实现[Symbol.iterator]。建议先使用Array.from()转换为数组再进行委托。
• 空值处理： 对null或undefined使用yield*会导致运行时错误，使用前应进行有效性检查。

yield* 表达式本身有返回值

这是一个实用但易被忽略的特性。yield*作为表达式具有值，该值来源于被委托迭代器正常执行完毕后的返回值（即生成器函数中return语句的值）。若被委托迭代器无显式return，则yield*表达式的值为undefined。

function* gen1() {
  yield 1;
  yield 2;
  return "done";
}

function* gen2() {
  const result = yield* gen1(); // gen1迭代完毕后，result 接收 "done"
  yield `finished with ${result}`;
}

// 测试
const g = gen2();
console.log(g.next()); // { value: 1, done: false }
console.log(g.next()); // { value: 2, done: false }
console.log(g.next()); // { value: 'finished with done', done: false }
console.log(g.next()); // { value: undefined, done: true }

此机制为生成器间的协作与状态传递提供了灵活性，适用于需要获取子迭代器最终结果或计算状态的场景。

总之，将yield*理解为“迭代权的交接”而非“值的简单展开”，能帮助开发者更准确地把握其行为与边界，编写出更健壮、清晰的异步或惰性计算代码。