如何在TypeScript中对数组所有元素进行类型检查

问题核心 #

你遇到的问题本质是：TypeScript无法通过Array.every()的类型守卫，自动将Animals（即Cat[] | Dog[] | Fish[]）联合类型收窄为具体的Dog[]。即便你已经用every(isDog)验证了数组所有元素都是Dog，TypeScript的类型系统也不会自动完成这种联合类型到单一子类型的收窄，导致return [animal, ...animals]出现类型不匹配报错。

解决方案 #

方案1：添加类型断言（快速修复） #

既然已经通过every(isDog)确保了animals中所有元素都是Dog，我们可以安全地将animals断言为Dog[]，让TypeScript认可返回值的类型：

const setAnimals = (animal: Animal): Animals => {
    if(isDog(animal) && animals.every(a => isDog(a))) {
        // 手动断言animals为Dog[]
        return [animal, ...(animals as Dog[])]    
    } else if(isCat(animal)) {
        // 断言返回值为Cat[]，避免被推断为Animal[]
        return [animal] as Cat[]
    } else if (isFish(animal)) {
        return [animal] as Fish[]
    } else {
        return [] as Animals
    }
}

方案2：创建数组专属类型守卫（更严谨） #

编写专门的数组类型守卫函数，让TypeScript能正确识别数组的具体类型，无需手动断言：

// 新增数组类型守卫函数
const isDogArray = (arr: Animals): arr is Dog[] => {
    return arr.every(isDog)
}

const isCatArray = (arr: Animals): arr is Cat[] => {
    return arr.every(isCat)
}

const isFishArray = (arr: Animals): arr is Fish[] => {
    return arr.every(isFish)
}

// 修改setAnimals函数
const setAnimals = (animal: Animal): Animals => {
    if(isDog(animal) && isDogArray(animals)) {
        // 此时TypeScript已自动将animals收窄为Dog[]，无需额外断言
        return [animal, ...animals]    
    } else if(isCat(animal)) {
        return [animal]
    } else if (isFish(animal)) {
        return [animal]
    } else {
        return []
    }
}

补充说明 #

当你返回[animal]时，TypeScript默认会推断其类型为Animal[]，而非Cat[]或Fish[]，这也可能引发类型不匹配问题。方案1中通过as Cat[]/as Fish[]的断言可以解决；方案2中因为isCat(animal)已经将animal收窄为Cat类型，返回[animal]时TypeScript会自动推断为Cat[]，无需额外处理。

内容的提问来源于stack exchange，提问作者four-eyes