type-challenges [medium]

type-challenges

 每天花几分钟练练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"]