TypeScript中如何抽象定义非空Iterable类型？

和非空数组的静态类型约束不同，Iterable<T> 接口本身无法直接在编译层面强制“非空”——因为迭代器的元素数量是动态的，TypeScript 静态类型系统无法追踪迭代器是否会返回至少一个元素。不过我们可以通过以下几种方式实现语义+运行时结合的非空可迭代类型：

1. 基于已有非空类型扩展 #

先复用你已经定义的NonEmptyArray<T>，再扩展到其他带长度属性的可迭代类型（比如字符串）：

type NonEmptyArray<T> = [T, ...T[]];

// 约束可迭代对象同时具备length属性且length > 0
type NonEmptyIterable<T> = Iterable<T> & {
  readonly length: number;
} & { [Symbol.iterator]: () => Iterator<T> };

// 使用示例：非空数组、非空字符串都符合该类型
const nonEmptyStr: NonEmptyIterable<string> = "hello";
const nonEmptyArr: NonEmptyIterable<number> = [1,2,3] as NonEmptyArray<number>;

这种方式只适用于有length属性的可迭代对象，对自定义迭代器这类无length的对象不适用。

2. 类型标记+运行时断言 #

通过类型别名标记非空，配合断言函数在运行时确保可迭代对象不为空，这是最通用的方案：

// 类型层面标记为非空可迭代
type NonEmptyIterable<T> = Iterable<T>;

// 运行时断言函数，确保可迭代对象至少有一个元素
function assertNonEmpty<T>(iterable: Iterable<T>): asserts iterable is NonEmptyIterable<T> {
  const it = iterable[Symbol.iterator]();
  if (it.next().done) {
    throw new Error("Iterable cannot be empty");
  }
}

// 接收非空可迭代对象的函数
function handleNonEmpty<T>(iterable: NonEmptyIterable<T>) {
  for (const item of iterable) {
    // 这里可以安全处理，因为已经通过断言确保非空
    console.log(item);
  }
}

// 使用示例
const emptyIterable: Iterable<number> = [];
const nonEmptyIterable: Iterable<number> = [1,2,3];

// assertNonEmpty(emptyIterable); // 运行时抛出错误
assertNonEmpty(nonEmptyIterable);
handleNonEmpty(nonEmptyIterable);

3. 约束迭代器的返回类型 #

如果要在类型层面更严格地约束迭代器不会立即结束，可以定义非空迭代器类型：

// 约束迭代器第一次next()不会返回done: true
type NonEmptyIterator<T> = Iterator<T, never, undefined>;

// 非空可迭代类型必须返回非空迭代器
type NonEmptyIterable<T> = {
  [Symbol.iterator]: () => NonEmptyIterator<T>;
};

但这种方式只能在类型层面做标记，静态检查无法确保实际运行时迭代器的行为，依然需要配合运行时验证。

总结：TypeScript 无法仅通过静态类型完全保证可迭代对象非空，最佳实践是类型标记+运行时断言的组合，既保留类型提示，又保证运行时安全。

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