如何让arr.includes适配多类型数组的变量类型检查？

尝试实现类型守卫时遇到类型不兼容错误：变量currentType属于联合类型AllTypes（涵盖多个数组的元素类型），传入typed数组的includes方法时触发错误：Argument of type '"b3"' is not assignable to parameter of type '"a1" | "a2" | "a3"'.(2345)。需求是仅检查变量是否存在于数组中，不涉及赋值，且必须保留现有类型保障以维持代码稳定性，要求在不使用断言、类型谓词且无运行时错误的前提下解决。

代码示例：

type TypeA = ['a1', 'a2', 'a3'];
const typeAArr: TypeA = ['a1', 'a2', 'a3'];
type TypeB = ['b1', 'b2', 'b3'];
const typeBArr: TypeB = ['b1', 'b2', 'b3'];

type AllTypes = 'a1' | 'a2' | 'a3' | 'b1' | 'b2' | 'b3';
let currentType: AllTypes = 'b3'; // 值会动态变化

// 此处报错
if (typeAArr.includes(currentType)) {
  console.log('currentType is in typeAArr');
}

// 此处报错
if (typeBArr.includes(currentType)) {
  console.log('currentType is in typeBArr');
}

使用Array.prototype.some替代includes方法即可解决问题，同时完全保留原有的类型约束：

type TypeA = ['a1', 'a2', 'a3'];
const typeAArr: TypeA = ['a1', 'a2', 'a3'];
type TypeB = ['b1', 'b2', 'b3'];
const typeBArr: TypeB = ['b1', 'b2', 'b3'];

type AllTypes = 'a1' | 'a2' | 'a3' | 'b1' | 'b2' | 'b3';
let currentType: AllTypes = 'b3';

// 无类型错误的存在性检查
if (typeAArr.some(item => item === currentType)) {
  console.log('currentType is in typeAArr');
}

if (typeBArr.some(item => item === currentType)) {
  console.log('currentType is in typeBArr');
}

原理说明 #

• includes的类型定义要求传入的参数必须严格匹配数组的元素类型，而currentType的联合类型范围更大，因此触发类型错误。
• some的回调函数中，数组元素item的类型是元组对应的字面量联合类型，currentType作为更大范围的联合类型，与item的相等比较在TypeScript中是合法的（两者均为字符串字面量类型）。
• 该方案保留了原元组类型的所有约束（确保数组元素的数量、顺序和值的正确性），无需使用断言或类型谓词，也不会引入运行时错误。

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