如何从含undefined的类型化数组中提取元素类型？

你的问题出在直接对X[] | undefined这个联合类型使用[number]索引——因为undefined没有数组的索引签名，TypeScript会报错。同时注意别把类型名和变量名搞混（你代码里的type X和数组变量X重名了，这会导致歧义）。

这里有两种简单的解决方案：

方法一：用NonNullable排除undefined后提取元素类型 #

先通过NonNullable<T>把联合类型里的undefined去掉，再用[number]获取数组元素的类型：

// 假设你的数组变量叫arr（避免和类型名重名）
const arr: User[] | undefined = [{ id: 1, name: 'Alice' }];

// 提取元素类型
type User = NonNullable<typeof arr>[number];
// 此时User类型就是{ id: number; name: string }

方法二：自定义工具类型处理联合类型 #

写一个通用的工具类型，自动处理数组或undefined的情况：

type ExtractArrayElement<T> = 
  T extends undefined ? never : 
  T extends (infer U)[] ? U : 
  never;

// 使用示例
const arr: Product[] | undefined = [{ sku: '123', price: 99 }];
type Product = ExtractArrayElement<typeof arr>;
// Product类型为{ sku: string; price: number }

原理是利用TypeScript的条件类型推断：先判断类型是不是undefined，如果是就返回never；如果是数组，就用infer U推断出数组元素的类型U。

内容的提问来源于stack exchange，提问作者Abdel-Rahman