如何检测值是否存在于const声明的TypeScript数组中

我声明了一个const断言的数组：

const array = ['a', 'b'] as const;

当尝试检查一个字符串变量是否在该数组中时：

let variable = 'a';
if (array.includes(variable)) {
  // ...
}

TypeScript会抛出错误：

TS2345: Argument of type string is not assignable to parameter of type 'a' | 'b'

这个错误逻辑合理——array被const断言锁定为readonly ["a", "b"]类型，其includes方法仅接受'a' | 'b'类型的参数，但variable是宽泛的string类型，二者类型不匹配。

以下是比直接类型断言更可靠的解决方案：

方案1：缩小变量的类型范围 #

如果variable的取值本就属于'a' | 'b'，直接给它指定精确类型：

const array = ['a', 'b'] as const;
type ArrayItem = typeof array[number];
// 给变量绑定精确类型
let variable: ArrayItem = 'a';

if (array.includes(variable)) {
  // 类型检查通过，无需断言
}

这是最安全的方式，从根源上避免了类型不匹配问题。

方案2：编写类型安全的自定义判断函数 #

如果无法提前确定variable的类型（比如来自用户输入或外部接口），可以写一个带类型守卫的通用函数，同时完成运行时检查和类型缩小：

const array = ['a', 'b'] as const;
type ArrayItem = typeof array[number];

function isInArray<T extends readonly unknown[]>(
  value: unknown,
  array: T
): value is T[number] {
  return (array as readonly unknown[]).includes(value);
}

let variable = 'a'; // 类型为string
if (isInArray(variable, array)) {
  // 此时variable的类型自动缩小为'a' | 'b'
  console.log(variable); // 完全类型安全
}

这个函数通过类型守卫，让TypeScript自动识别变量的精确类型，无需手动断言。

方案3：集中处理类型转换 #

如果变量是动态生成的，但取值范围和数组一致，可将类型断言集中在变量转换环节：

const array = ['a', 'b'] as const;
type ArrayItem = typeof array[number];

// 模拟从外部获取字符串
function getVariable(): string {
  return 'a';
}

// 仅在转换时做一次断言
const variable = getVariable() as ArrayItem; 
if (array.includes(variable)) {
  // 后续逻辑类型安全
}

这种方式避免了在每次检查时重复断言，代码逻辑更清晰。

以上方案要么从根源明确类型，要么通过类型守卫实现安全检查，比直接断言更符合TypeScript的类型设计理念。

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