「重学TS 2.0 」TS 练习题第十四题 about awesome-typescript

[sunboyZgz]

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

// 测试用例
type Arr = Unshift<[1, 2, 3], 0>; // [0, 1, 2, 3]

[zhaoxiongfei]

// 第四道
type Unshift<T extends any[], E> = T extends [...args: infer U] ? [E, ...U] : never;

// 测试用例
type Arr = Unshift<[1, 2, 3], 0>; // [0, 1, 2, 3

[douhao1988]

type Unshift<T extends any[], E> = undefined extends T[0]? [E] : 
((h: E, ...t: T) => void) extends (...args: infer R) => void? R : never

// 测试用例
type Arr2 = Unshift<[], 1>; // [1]
type Arr3 = Unshift<[1, 2, 3], 0>; // [0, 1, 2, 3]
type Arr4 = Unshift<[1], 0>; // [0, 1]

[mingzhans]

type Unshift<T extends any[], E> = T extends [...infer R] ? [E, ...R] : never// 你的实现代码

// 测试用例
type Arr0 = Unshift<[], 1>; // [1]
type Arr1 = Unshift<[1, 2, 3], 0>; // [0, 1, 2, 3]

[wenye123]

type Unshift<T extends any[], E> = [E, ...T] // 你的实现代码

// 测试用例
type Arr0 = Unshift<[], 1>; // [1]
type Arr1 = Unshift<[1, 2, 3], 0>; // [0, 1, 2, 3]

[Suc5999]

// type Unshift<T extends any[], E> = [E, ...T]
type Unshift<T extends any[], E> = ((e:E, ...t:T) => void) extends ((...args: infer R) => void) ? R : never
type Arr0 = Unshift<[], 1>; // [1]
type Arr1 = Unshift<[1, 2, 3], 0>; // [0, 1, 2, 3]

[Mrlgm]

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

// 测试用例
type Arr0 = Unshift<[], 1>; // [1]
type Arr1 = Unshift<[1, 2, 3], 0>; // [0, 1, 2, 3]

[winfa]

```ts
type Unshift<T extends any[], E> =  // 你的实现代码

// 测试用例
type Arr0 = Unshift<[], 1>; // [1]
type Arr1 = Unshift<[1, 2, 3], 0>; // [0, 1, 2, 3]

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

[zhaoxiongfei]

// 实现一个 Unshift 工具类型，用于把指定类型 E 作为第一个元素添加到 T 数组类型中。具体的使用示例如下所示：

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

// 测试用例
type Arr0 = Unshift<[], 1>; // [1]
type Arr1 = Unshift<[1, 2, 3], 0>; // [0, 1, 2, 3]

依然是注重array的形状，直接构造数组出来

[Flavour86]

type Unshift<T extends any[], E> = [E, ...T]  // 你的实现代码

// 测试用例
type Arr0 = Unshift<[], 1>; // [1]
type Arr1 = Unshift<[1, 2, 3], 0>; // [0, 1, 2, 3]

[rookiecdn]

type Unshift<T extends any[], E> = T extends [U: infer f, ...arga: infer a] ? [E, f, ...a] : [E] // 你的实现代码

// 测试用例
type Arr0 = Unshift<[], 1>; // [1]
type Arr1 = Unshift<[1, 2, 3], 0>; // [0, 1, 2, 3]

[a572251465]

export default {}

// 实现一个 Unshift 工具类型，用于把指定类型 E 作为第一个元素添加到 T 数组类型中。具体的使用示例如下所示：

type Unshift<T extends any[], E> = T extends [...infer args] ? [E, ...args] : never

// 测试用例
type Arr0 = Unshift<[], 1>; // [1]
type Arr1 = Unshift<[1, 2, 3], 0>; // [0, 1, 2, 3]

[Ljp10086]

type Unshift<T extends any[], E> = T extends [...args: infer Args] ? [E, ...Args] : never;

// 测试用例
type Arr0 = Unshift<[], 1>; // [1]
type Arr1 = Unshift<[1, 2, 3], 0>; // [0, 1, 2, 3]

[waleiwalei]

type Unshift<T extends any[], E> = 
  T extends [...infer Arr]
    ? [E, ...Arr]
    : []
// 测试用例
type Arr0 = Unshift<[], 1>; // [1]
type Arr1 = Unshift<[1, 2, 3], 0>; // [0, 1, 2, 3]

[ChangerHe]

// 解法1: 通过infer指代数组key列表, 然后再数组中扩展前一位
type Unshift<T extends any[], E> = T extends [...infer K] ? [E, ...K] : never

// 解法2: 直接扩展就好了
type Unshift1<T extends any[], E> = [E, ...T]

[ChuTingzj]

type ParametersArray<T extends any[]> = T extends [...args:infer P]?P:[]
type Unshift<T extends any[], E> = [E,...ParametersArray<T>]

[liziqiang]

type Unshift<T extends any[], E> = T extends NonNullable<T> ? [E, ...T] : [E] // 你的实现代码

// 测试用例
type Arr0 = Unshift<[], 1>; // [1]
type Arr1 = Unshift<[1, 2, 3], 0>; // [0, 1, 2, 3]
type Arr2 = Unshift<null, 0>
type Arr3 = Unshift<undefined, 0>

[fishcoderman]

type Unshift<T extends any[], E> = [E, ...T]; // 你的实现代码

// 测试用例
type Arr0 = Unshift<[], 1>; // [1]
type Arr1 = Unshift<[1, 2, 3], 0>; // [0, 1, 2, 3]

[LLDLZ]

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

// 测试用例
type Arr0 = Unshift<[], 1>; // [1]
type Arr1 = Unshift<[1, 2, 3], 0>; // [0, 1, 2, 3]

[SweeperDuan]

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

// 测试用例
type Arr0 = Unshift<[], 1>; // [1]
type Arr1 = Unshift<[1, 2, 3], 0>; // [0, 1, 2, 3]