TypeScript中如何判断Iterable迭代后状态及区分可复用迭代对象

1. 如何判断一个Iterable在完成迭代后是否为空？ #

判断Iterable是否为空的核心难点在于：一次性迭代器（如生成器实例、Array.values()返回值）在迭代后会改变自身状态，直接迭代会消耗它。以下是两种可行方案：

方案1：通用但有副作用的检查 #

通过获取迭代器并调用一次next()判断是否为空，但会修改一次性迭代器的状态（仅适用于不介意消耗迭代器的场景）：

function isIterableEmpty<T>(iterable: Iterable<T>): boolean {
  const iterator = iterable[Symbol.iterator]();
  const { done } = iterator.next();
  return done === true;
}

• 可复用Iterable（如数组）：每次调用Symbol.iterator()都会生成新迭代器，此方法无副作用，判断结果准确。
• 一次性Iterable：调用后迭代器会前进一位，后续迭代会丢失第一个元素（若原Iterable非空）。

方案2：针对特定类型的无副作用检查 #

对于已知的可复用Iterable类型（如数组、Set、Map），可以直接通过自身属性判断，避免消耗迭代器：

function isKnownIterableEmpty<T>(iterable: Iterable<T>): boolean {
  if (Array.isArray(iterable)) return iterable.length === 0;
  if (iterable instanceof Set || iterable instanceof Map) return iterable.size === 0;
  // 其他可复用类型可扩展
  // 未知类型 fallback 到通用方案
  return isIterableEmpty(iterable);
}

2. 如何区分一次性与可复用Iterable？ #

可复用Iterable的本质是：每次调用[Symbol.iterator]()都会返回一个全新的、从头开始的迭代器；而一次性Iterable（如生成器实例、Array.values()迭代器）的[Symbol.iterator]()会返回自身，多次迭代会延续之前的状态。基于此特性，我们可以通过以下方法判断：

运行时判断方法 #

function isReusableIterable<T>(iterable: Iterable<T>): boolean {
  if (typeof iterable !== 'object' || iterable === null) return false;
  const iterator1 = iterable[Symbol.iterator]();
  const iterator2 = iterable[Symbol.iterator]();
  // 返回不同迭代器实例 → 可复用；返回同一实例 → 一次性
  return iterator1 !== iterator2;
}

结合示例验证 #

• 数组a：每次调用[Symbol.iterator]()生成新迭代器，isReusableIterable(a)返回true，多次调用iterate(a)都能得到完整结果。
• 生成器实例c：[Symbol.iterator]()返回自身，isReusableIterable(c)返回false，第二次调用iterate(c)会得到空数组。
• 生成器函数b：每次调用b()返回新的生成器实例，所以iterate(b())每次都能得到完整结果，但单个b()实例是一次性的。

编译时类型标记（辅助用） #

TypeScript的类型系统无法在编译时强制区分可复用/一次性Iterable，但可以自定义类型别名作为文档标记：

// 仅作为语义标记，编译时无法验证，需配合运行时检查
type ReusableIterable<T> = Iterable<T>;

内容的提问来源于stack exchange，提问作者Gnlow