14 - 第一个元素

[Skytim]

type First<T extends any[]> = T extends []? never: T[0]

1. T extends []：这部分表达式是一个条件类型，用来检查 T 是否可以赋值给 []，即 T 是否是一个空数组。在 TypeScript 中，extends 关键字在泛型中用于表示类型约束，在这里用来评估条件。
2. never：这是 TypeScript 中的一种类型，表示永不发生的值。例如，一个抛出异常或永不返回的函数会有 never 的返回类型。这里用它来表示当数组为空时，没有可返回的类型。
3. T[0]：这表示访问数组 T 的第一个元素的类型。如果 T 是如 number[] 这样的数组类型，则 T[0] 会是 number。