如何解决TypeScript中Array.includes()类型校验过于严格的问题

报错原因：TS 内置的Array.includes类型定义要求入参必须和数组元素类型完全一致，该设计初衷是避免传入完全无关类型做无意义检查，刚好不匹配我们这种「跨类型校验收窄」的使用场景。

方案1：单处快速修复（最简洁，可读性影响最小） #

仅需给入参加一层Fruit类型断言，仅修改1处代码，完全不影响可读性：

type Fruit = "apple" | "orange";
type Food = Fruit | "potato";

const fruits: Fruit[] = ["apple", "orange"];

function isFruit(thing: Food) {
  // 仅添加as Fruit断言即可
  return fruits.includes(thing as Fruit);
}

该断言无运行时风险：即使传入的是"potato"，运行时也会正确返回false，完全符合逻辑预期。

方案2：通用工具函数（适合多场景复用） #

如果项目中经常出现同类校验需求，可以封装一个类型安全的通用includes函数，一劳永逸解决问题，同时还能获得自动类型收窄能力：

// 全局通用工具函数，仅需定义一次
function includes<T extends U, U>(arr: readonly T[], el: U): el is T {
  return arr.includes(el as T)
}

// 业务代码使用
type Fruit = "apple" | "orange";
type Food = Fruit | "potato";

const fruits: Fruit[] = ["apple", "orange"];

function isFruit(thing: Food) {
  return includes(fruits, thing);
}

该函数返回类型谓词el is T，后续在isFruit返回true的逻辑分支中，TS会自动将参数收窄为Fruit类型，无需额外断言，更适合工程化项目使用。

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