如何获取TypeScript数组中第一个元素的类型？

问题根源 #

你的数组const x = ['y', 2, true];被TypeScript推断为(string | number | boolean)[]——普通数组默认被视为可变的任意长度数组，所有元素类型会被合并为联合类型，这导致你尝试的三种方法都无法得到预期的string类型：

• typeof x[0]返回联合类型：因为数组的每个元素都可以是string | number | boolean中的任意一种，索引访问会返回所有元素的联合类型。
• 条件类型返回never：typeof x是数组类型，而[infer U, ...any[]]匹配的是固定长度的元组类型，可变数组无法匹配该模式，因此进入else分支返回never。

解决方案 #

方案1：显式标注元组类型 #

直接将数组标注为元组，让TypeScript明确各位置的元素类型：

const x: [string, number, boolean] = ['y', 2, true];
type FirstElementType = typeof x[0]; // 类型为string

方案2：用as const结合类型转换 #

通过类型转换将字面量类型转为基础类型，既保留初始元素的类型信息，又避免字面量类型：

const x = ['y', 2, true] as const;
// 通用的字面量转基础类型工具
type ToPrimitive<T> = 
  T extends string ? string :
  T extends number ? number :
  T extends boolean ? boolean :
  T;
type FirstElementType = ToPrimitive<typeof x[0]>; // 类型为string

方案3：通用首元素类型提取工具 #

如果需要从任意数组中提取首元素类型（假设数组非空），可以使用这个类型工具：

type FirstElement<T extends readonly unknown[]> = T extends [infer U, ...unknown[]] ? U : never;

// 将数组断言为只读元组，锁定初始元素类型
type FirstElementType = FirstElement<typeof x as readonly [string, number, boolean]>; // 类型为string

注意事项 #

TypeScript对普通数组的联合类型推断是合理的——因为数组是可变的，你可以随时修改首元素为number或boolean。如果不需要数组可变，建议使用readonly元组来保留初始元素的类型信息。

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