004.第一个元素

实现一个 First<T> 泛型，它接受一个数组 T 并返回它的第一个元素的类型

例如：

type arr1 = ['a', 'b', 'c']
type arr2 = [3, 2, 1]
 
type head1 = First<arr1> // 应推导出 'a'
type head2 = First<arr2> // 应推导出 3

答案

// 答案 1
type First<T extends readonly any[]> = T extends [] ? never : T[0]
 
// 答案 2
type First<T extends readonly any[]> = T['length'] extends 0 ? never : T[0]
 
// 答案 3
type First<T extends readonly any[]> = T extends [infer A, ...infer rest] ? A : never