#00014 first

[pkc918]

问题

type arr1 = ['a', 'b', 'c']
type arr2 = [3, 2, 1]

type head1 = First<arr1> // expected to be 'a'
type head2 = First<arr2> // expected to be 3

就是实现一个 First 将数组中的第一个元素取出来成为新的类型

答案

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

讲解

这里利用了 extends 的条件判断，extends 在 interface 中作为继承，在type中可以作为条件判断，这里就类似于js中的三元运算