知识运用：
题目分析：
题目地址：3060-easy-unshift
这道题的题面应该也不用多数，实现一个类数组unshift的功能，将我们的U传入到T的第一个位置。
题目解答：
测试用例：
测试用例和上一道题几乎是一样的，，只是向数组第一个元素的位置插入新的元素，我们这次的解法是不是可以直接复用呢？一起来看一下。
/* _____________ 测试用例 _____________ */ import { Equal, Expect, ExpectFalse, NotEqual } from '@type-challenges/utils' type cases = [ Expect<Equal<Unshift<[], 1>, [1]>>, Expect<Equal<Unshift<[1, 2], 0>, [0, 1, 2,]>>, Expect<Equal<Unshift<['1', 2, '3'],boolean>, [boolean, '1', 2, '3']>>, ] 复制代码
答案及解析：
- 我们还是按照惯例来使用泛型约束传入的T必须是一个数组类型；
- 接着我们按照上一题push的解法来处理这道题，发现可以直接搞定，完美解答；
/* _____________ 你的代码 _____________ */ type Unshift<T extends any[], U> = [U] extends [any[]] ? [...U, ...T] : [U, ...T]; 复制代码
- 那么还有没有跟简单的解答方式呢？必须要用到条件类型吗？
- 我们通过尝试发现条件类型非必须，可以直接通过结构来完美解答这道题，同时还避免了分布式条件类型的默认行为带来的不变。
/* _____________ 你的代码 _____________ */ type Unshift<T extends any[], U> = [U, ...T]; 复制代码
