TypeScript 如何更简洁地推导数组内部元素的类型？

可选的无[0]实现方式 #

方式一：定义通用数组元素提取工具类型 #

你可以预先定义一个通用工具类型，用infer逻辑自动提取数组的元素类型：

// 通用工具类型，可复用在所有数组类型的元素提取场景
type ArrayElement<T extends unknown[]> = T extends (infer U)[] ? U : never;

// 使用示例
type InferredListType = ArrayElement<typeof object['list']>; // 推导结果为string

方式二：针对已知泛型结构直接提取参数 #

如果你明确知道实例所属的泛型结构，可以直接定义泛型参数提取工具：

// 针对GenericObjectWithList的专属提取工具
type ExtractListGeneric<T> = T extends GenericObjectWithList<infer U> ? U : never;

// 使用示例
type InferredListType = ExtractListGeneric<typeof object>; // 推导结果为string

为什么直接用[0]是最优实现 #

• 零额外成本：不需要定义任何额外的工具类型，代码最少，不需要理解额外的工具逻辑，可读性最高
• 符合TypeScript原生设计：对于普通的T[]类型来说，T[0]、T[number]的推导结果完全一致，类型层面不关心运行时数组是否为空，不存在类型安全问题
• 类型计算性能最优：原生索引访问不需要走条件类型的infer匹配流程，计算速度远快于自定义工具类型，在复杂类型嵌套的场景下性能差异会更加明显

内容的提问来源于stack exchange，提问作者Justin L.