类型体操-简单

[项目地址](type-challenges/README.zh-CN.md at main · type-challenges/type-challenges)很疯狂

实现 Pick   

不使用 Pick<T, K> ，实现 TS 内置的 Pick<T, K> 的功能。

从类型 T 中选出符合 K 的属性，构造一个新的类型。

例如：

interface Todo {
  title: string
  description: string
  completed: boolean
}

type TodoPreview = MyPick<Todo, 'title' | 'completed'>

const todo: TodoPreview = {
    title: 'Clean room',
    completed: false,
}

答案：

type MyPick<T, K extends keyof T> = 
	{ [key in keyof T as key extends K ? key : never] : T[key] }

Includes  

在类型系统里实现 JavaScript 的 Array.includes 方法，这个类型接受两个参数，返回的类型要么是 true 要么是 false。

例如：

type isPillarMen = Includes<['Kars', 'Esidisi', 'Wamuu', 'Santana'], 'Dio'> // expected to be `false`

答案：

// 这道显然不是简单题，我不敢想象地狱难度会是什么样子的。。。
type Includes<T extends readonly any[], U> = { [P in T[number]]: true }[U] extends true ? true : false;

Push  

在类型系统里实现通用的 Array.push 。

例如：

type Result = Push<[1, 2], '3'> // [1, 2, '3']

答案：

// 这道就比较简单了
type Push<T extends any[], U> = [...T, U]

Unshift  

实现类型版本的 Array.unshift。

例如：

type Result = Unshift<[1, 2], 0> // [0, 1, 2]

答案：

// 这道和push也是一样的，就是调换了一下位置
type Unshift<T extends any[], U> = [U,...T]

Parameters    

实现内置的 Parameters 类型，而不是直接使用它，可参考TypeScript官方文档。

例如：

const foo = (arg1: string, arg2: number): void => {}

type FunctionParamsType = MyParameters<typeof foo> // [arg1: string, arg2: number]

答案：

// 使用infer获取到函数的参数的类型，并且把它赋给U
type MyParameters<T extends (...args: any[]) => any> = T extends (...args :infer U)=>any ? U : never