视频教程 小满TypeScript27（TS 进阶用法infer 提取元素的妙用）_哔哩哔哩_bilibili
我们用infer 实现四个简单的例子
1.提取头部元素
type Arr = ['a','b','c'] type First<T extends any[]> = T extends [infer First,...any[]] ? First : [] type a = First<Arr>
类型参数 T 通过extends 约束 只能是数组类型，然后通过infer 声明局部 First 变量做提取，后面的元素可以是任意类型，然后把局部变量返回
2.提取尾部元素
type Arr = ['a', 'b', 'c'] type Last<T extends any[]> = T extends [...any[], infer Last,] ? Last : [] type c = Last<Arr>
其实就是反过来就可以了
3.剔除第一个元素 Shift
type Arr = ['a','b','c'] type First<T extends any[]> = T extends [unknown,...infer Rest] ? Rest : [] type a = First<Arr>
思路就是 我们除了第一个的元素把其他的剩余元素声明成一个变量 直接返回 就实现了我们的要求 剔除第一个元素
4.剔除尾部元素 pop
type Arr = ['a','b','c'] type First<T extends any[]> = T extends [...infer Rest,unknown] ? Rest : [] type a = First<Arr>
道理一样的 反过来就行了
