awesome-typescript
awesome-typescript copied to clipboard
「重学TS 2.0 」TS 练习题第十四题
实现一个 Unshift 工具类型,用于把指定类型 E 作为第一个元素添加到 T 数组类型中。具体的使用示例如下所示:
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];
// 测试用例
type Arr = Unshift<[1, 2, 3], 0>; // [0, 1, 2, 3]
// 第四道
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
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]
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]
type Unshift<T extends any[], E> = [E, ...T] // 你的实现代码
// 测试用例
type Arr0 = Unshift<[], 1>; // [1]
type Arr1 = Unshift<[1, 2, 3], 0>; // [0, 1, 2, 3]
// 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]
type Unshift<T extends any[], E> = [E, ...T]
// 测试用例
type Arr0 = Unshift<[], 1>; // [1]
type Arr1 = Unshift<[1, 2, 3], 0>; // [0, 1, 2, 3]
```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]
// 实现一个 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的形状,直接构造数组出来
type Unshift<T extends any[], E> = [E, ...T] // 你的实现代码
// 测试用例
type Arr0 = Unshift<[], 1>; // [1]
type Arr1 = Unshift<[1, 2, 3], 0>; // [0, 1, 2, 3]
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]
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]
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]
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]
// 解法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]
type ParametersArray<T extends any[]> = T extends [...args:infer P]?P:[]
type Unshift<T extends any[], E> = [E,...ParametersArray<T>]
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>
type Unshift<T extends any[], E> = [E, ...T]; // 你的实现代码
// 测试用例
type Arr0 = Unshift<[], 1>; // [1]
type Arr1 = Unshift<[1, 2, 3], 0>; // [0, 1, 2, 3]
type Unshift<T extends any[], E> = [E, ...T];
// 测试用例
type Arr0 = Unshift<[], 1>; // [1]
type Arr1 = Unshift<[1, 2, 3], 0>; // [0, 1, 2, 3]
type Unshift<T extends any[], E> = [E, ...T];
// 测试用例
type Arr0 = Unshift<[], 1>; // [1]
type Arr1 = Unshift<[1, 2, 3], 0>; // [0, 1, 2, 3]