如何在TypeScript中用instanceof区分Dog[]与Cat[]并创建类型守卫？

核心问题原因 #

TypeScript的泛型是编译时特性，编译后泛型类型信息会被完全擦除。运行时，不管是Dog[]还是Cat[]，本质都是普通的Array实例，没有任何元素类型的标记。所以你尝试的instanceof Array<Dog>、instanceof Dog[]这些写法都会报错——前者语法不合法，后者运行时根本不存在Dog[]这样的构造函数。

可行解决方案：自定义类型守卫 #

既然没法直接通过数组本身的instanceof判断，我们可以通过检查数组内的元素来实现类型守卫（前提是你能保证数组内元素类型一致，符合业务场景）。

步骤1：定义基础类 #

class Dog {
  constructor(public name: string) {}
}

class Cat {
  constructor(public name: string) {}
}

步骤2：编写自定义类型守卫函数 #

// 判断是否为Dog数组
function isDogArray(arr: Dog[] | Cat[]): arr is Dog[] {
  // 非空数组时检查第一个元素是否为Dog实例
  return arr.length > 0 && arr[0] instanceof Dog;
}

// 判断是否为Cat数组
function isCatArray(arr: Dog[] | Cat[]): arr is Cat[] {
  return arr.length > 0 && arr[0] instanceof Cat;
}

如果需要兼容空数组的场景，可以根据业务逻辑调整，比如默认把空数组归为某一类，或者返回false让后续逻辑处理。

步骤3：使用类型守卫 #

function handlePound(thePound: Dog[] | Cat[]) {
  if (isDogArray(thePound)) {
    // TypeScript会自动推断thePound为Dog[]类型
    console.log("狗舍里的狗狗们：", thePound.map(d => d.name));
  } else if (isCatArray(thePound)) {
    // TypeScript会自动推断thePound为Cat[]类型
    console.log("猫舍里的猫咪们：", thePound.map(c => c.name));
  } else {
    console.log("空舍或无法识别的类型");
  }
}

补充说明 #

如果必须避免检查元素（比如数组可能为空且无法默认归类），那instanceof这条路走不通——因为运行时没有数组元素类型的信息。这种情况下只能依赖其他编译时的类型标记方案，比如给数组添加自定义属性来区分，但这需要额外的代码约定。

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