如何在TypeScript常量数组中实现类型安全的find方法？

可以实现这个需求。核心是利用TypeScript的Extract条件类型，从const数组的元素联合类型中精准提取匹配指定id的元素类型。

完整实现代码 #

const MY_ARRAY = [
  { id: "a", name: "AAA" },
  { id: "b", name: "BBB" },
  { id: "c", name: "CCC" },
] as const;

type MyArrayElement = typeof MY_ARRAY[number];
type MyArrayId = MyArrayElement["id"];

// 精准提取匹配id的元素类型
type MyTypesafeArrayFind<ID extends MyArrayId> = Extract<MyArrayElement, { id: ID }>;

function find<ID extends MyArrayId>(id: ID): MyTypesafeArrayFind<ID> | undefined {
  return MY_ARRAY.find(entry => entry.id === id) as MyTypesafeArrayFind<ID>;
}

// 测试示例
const typesafeResult = find("a");
// typeof typesafeResult 为 { readonly id: "a"; readonly name: "AAA"; } | undefined
const exactResult = find("b");
// typeof exactResult 为 { readonly id: "b"; readonly name: "BBB"; } | undefined

关键说明 #

• Extract<MyArrayElement, { id: ID }>：从MyArrayElement联合类型中，筛选出id属性等于ID的元素类型，实现精准匹配。
• 函数返回值添加| undefined是因为Array.find()本身可能找不到匹配项（即使你知道id唯一且存在，TypeScript仍会保留这个类型以符合类型安全原则）。如果确定传入的id一定存在，可以用非空断言移除undefined，但更推荐保留以遵循TS的严格类型检查。
• 由于数组使用了as const断言，每个元素的id和name都是字面量类型，确保了类型提取的精确性。

内容的提问来源于stack exchange，提问作者Frédéric Camblor