TypeScript中如何搜索const数组？解决类型与includes兼容问题

方法1：拆分类型定义与数组实例 #

先保留字面量数组用于提取类型，再将其转换为普通字符串数组供includes()使用：

const xRaw = ['a', 'b', 'c'] as const;
type somethingElse = typeof xRaw[number]; // 'a' | 'b' | 'c'
const x: string[] = [...xRaw];

x.includes('foo'); // 类型检查正常通过

方法2：断言includes方法的参数类型 #

不修改数组本身的只读字面量类型，直接断言includes方法支持普通字符串参数：

const x = ['a', 'b', 'c'] as const;
type somethingElse = typeof x[number];

(x.includes as (searchElement: string) => boolean)('foo');

方法3：自定义兼容型includes工具函数 #

兼顾类型安全（传入字面量时仍有类型提示）与普通字符串搜索需求：

const x = ['a', 'b', 'c'] as const;
type somethingElse = typeof x[number];

function includes<T extends readonly string[]>(arr: T, search: string): boolean {
  return arr.includes(search as T[number]);
}

includes(x, 'foo'); // 正常运行，传入'a'等字面量时仍有类型提示

原理说明 #

使用as const后，TypeScript会将数组推断为只读字面量元组类型，此时includes方法的参数被限制为元组元素的字面量联合类型（'a' | 'b' | 'c'），导致普通string参数触发类型不兼容错误。上述方法通过拓宽数组类型、绕过方法类型限制或自定义兼容函数，解决了两种需求的冲突。

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