类型挑战Unshift，难度⭐️

Posted 2022-04-25 前端小鑫同学

---

知识运用：

1. 条件类型的灵活运用；
2. 分布式条件类型的灵活运用；
3. 解构完美解答此题；

题目分析：

题目地址：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]>>,
]

答案及解析：

1. 我们还是按照惯例来使用泛型约束传入的T必须是一个数组类型；
2. 接着我们按照上一题push的解法来处理这道题，发现可以直接搞定，完美解答；

   
   /* _____________ 你的代码 _____________ */

type Unshift<T extends any[], U> = [U] extends [any[]] ? [...U, ...T] : [U, ...T];

1. 那么还有没有跟简单的解答方式呢？必须要用到条件类型吗？
1. 我们通过尝试发现条件类型非必须，可以直接通过结构来完美解答这道题，同时还避免了分布式条件类型的默认行为带来的不变。
```typescript
/* _____________ 你的代码 _____________ */

type Unshift<T extends any[], U> = [U, ...T];

去演练场验证答案

接下来的一题是：【类型挑战】Parameters，难度⭐️

---

欢迎关注我的公众号“前端小鑫同学”，原创技术文章第一时间推送。