TS：如何获取常量数组元素类型

Question

我正在使用带有 const 断言的 TS 3.4.5。如何检索声明的常量数组变量的元素类型？

export type GetArrayElementType<T extends Array<any>> = T extends (infer U)[] ? U : never;

export const MyConstArray = [
  'item1',
  'item2',
  'item3',
] as const;

export type MyConstArrayItem = GetArrayElementType<typeof MyConstArray>;

我想作为输出：

export type MyConstArrayItem = "item1" | "item2" | "item3"

我不完全确定如何提取项目的类型信息，因为由于 const 断言，我的数组不再是数组类型而是一个常量元组，所以GetArrayElementType 不能应用于它.

Answer 1

如果你想使用条件类型，你必须记住as const 生成只读数组。所以这应该像你期望的那样工作：

export type GetArrayElementType<T extends readonly any[]> = T extends readonly (infer U)[] ? U : never;

export const MyConstArray = [
  'item1',
  'item2',
  'item3',
  'item4',
] as const;

export type MyConstArrayItem = GetArrayElementType<typeof MyConstArray>;

但更简单的解决方案是不使用条件类型。类型索引查询在这里效果更好：

export const MyConstArray = [
  'item1',
  'item2',
  'item3',
  'item4',
] as const;

export type MyConstArrayItem = typeof MyConstArray[number];

Answer 2

可以通过以下方式轻松完成：

type MyConstArrayItem = typeof MyConstArray[number]