【类型挑战】Unshift，难度⭐️

一起养成写作习惯！这是我参与「掘金日新计划 · 4 月更文挑战」的第12天，点击查看活动详情。

Dear，大家好，我是“前端小鑫同学”，😇长期从事前端开发，安卓开发，热衷技术，在编程路上越走越远～

---

知识运用：

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. 那么还有没有跟简单的解答方式呢？必须要用到条件类型吗？
2. 我们通过尝试发现条件类型非必须，可以直接通过结构来完美解答这道题，同时还避免了分布式条件类型的默认行为带来的不变。

/* _____________ 你的代码 _____________ */
 
type Unshift<T extends any[], U> = [U, ...T];

去演练场验证答案

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

---

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