如何在类型守卫中缩小类型：排除字符串的Iterable类型

当然可以实现这种“是Iterable但非string”的类型守卫，你只需要借助TypeScript的Exclude工具类型来明确排除string类型即可。

步骤1：定义目标类型 #

先创建一个排除了string的Iterable类型别名：

type NonStringIterable<T = any> = Exclude<Iterable<T>, string>;

这里Exclude<Iterable<T>, string>会从所有Iterable类型中剔除掉string（因为string默认实现了Iterable<string>）。

步骤2：修改类型守卫的返回断言 #

把原来的类型守卫返回类型改成上面定义的NonStringIterable：

const isNoStringIterable = (obj: any): obj is NonStringIterable => {
  if (obj == null) return false;
  if (typeof obj === "string") return false;
  return typeof obj[Symbol.iterator] === "function";
};

验证效果 #

现在这个类型守卫就能正确帮TypeScript缩小类型范围了：

function processValue(obj: unknown) {
  if (isNoStringIterable(obj)) {
    // 此处obj的类型被推断为NonStringIterable，即Iterable但非string
    for (const item of obj) {
      console.log(item);
    }
  } else {
    // 此处obj可能是string、null、undefined或非Iterable类型
    if (typeof obj === "string") {
      console.log(`处理字符串：${obj}`);
    }
  }
}

processValue([1, 2, 3]); // 遍历输出1、2、3
processValue("hello"); // 输出"处理字符串：hello"
processValue(new Set([4,5,6])); // 遍历输出4、5、6

补充说明 #

如果你不想单独定义类型别名，也可以直接在类型守卫里写obj is Exclude<Iterable<any>, string>，效果是一样的：

const isNoStringIterable = (obj: any): obj is Exclude<Iterable<any>, string> => {
  // 逻辑不变
};

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