TypeScript中Array.includes()限制是否为Bug？及正确用法探讨

我有一个已类型化的数组，但TypeScript仅允许我为Array.includes()函数传入数组中包含的值类型，这是否意味着该方法永远不会返回false？

type Pet = 'cat' | 'dog' | 'fish' | 'hamster';
const pets: Pet[] = ['cat', 'dog', 'fish', 'hamster'];

const someInput1: string = 'fish';
const someInput2: string = 'snake';

pets.includes('cat'); // true
pets.includes(someInput1); // Argument of type 'string' is not assignable to parameter of type 'Pet'.ts(2345)
pets.includes(someInput2); // Argument of type 'string' is not assignable to parameter of type 'Pet'.ts(2345)

我知道someInput2可能是数组中不存在的值，这正是我调用该函数的原因——我想判断someInput2是否存在于数组中。我已经找到很多规避该错误的方法，例如：

(pets as string[]).includes(someInput2); // false
pets.includes(someInput2 as any); // false
pets.some((value) => value === someInput2) // false

const allPets: string[] = pets;
allPets.includes(someInput2); // false

但我的问题并非如何规避该错误，而是想知道这是否是TypeScript的Bug？若不是，Array.includes()的预期用法是什么？

这不是TypeScript的Bug，是设计层面的类型安全考量 #

TypeScript对Array.includes()的参数类型约束，是为了在编译阶段确保类型一致性：

• 当你声明数组为Pet[]类型时，TypeScript会认定这个数组的所有元素都属于Pet类型集合，因此includes()的参数被限定为Pet类型，避免你传入完全无关的类型（比如数字、对象）导致的逻辑错误。
• 从类型系统的角度看，传入Pet类型的值时，includes()依然可能返回false（比如传入'hamster'但数组里没有），TypeScript只保证参数的类型合法，不保证值一定存在于数组中。

Array.includes()的预期用法 #

1. 检查确定属于数组元素类型的值：比如直接传入'cat'这类Pet字面量，或者类型明确为Pet的变量。这种场景下，TypeScript能确保类型安全，同时你依然可以用includes()判断值是否存在。
2. 类型严格匹配的场景：当你的代码逻辑中，待检查的值本就应该是数组元素类型的子集时，用includes()是最直接的类型安全写法。

如果需要检查宽泛类型的值（比如string）是否在窄类型数组中，本质是你主动打破了TypeScript的类型约束，这时候就需要用你找到的那些类型转换方法——但这属于业务逻辑层面的主动选择，而非TypeScript的设计缺陷。

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