每天花几分钟练练ts...
7、Last of Array
实现一个通用Last<T>
,它接受一个数组T
并返回其最后一个元素的类型。
例如
type arr1 = ['a', 'b', 'c']
type arr2 = [3, 2, 1]
type tail1 = Last<arr1> // expected to be 'c'
type tail2 = Last<arr2> // expected to be 1
实现
type arr1 = ["a", "b", "c"];
// infer 关键字声明了一个新的类型变量B
type Last<T extends any[]> = T extends [...infer A, infer B] ? B : never;
// 或者
type Last<T extends any[]> = T extends [...any, infer L] ? L : never;
// 或者
type Last<T extends any[]> = [any, ...T][T["length"]];
type Res = Last<arr1>;
// 相当于 type Res = "c";
8、出堆
实现一个通用Pop<T>,接受一个数组T并返回一个没有最后一个元素的数组。
type arr1 = ["a", "b", "c"];
type Pop<T extends any[]> = T extends [...infer U, any] ? U : never
type Res = Pop<arr1>;
// 相当于
type Res = ["a", "b"]