一、实现Push

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

例如：

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

答案

type Push<T, U> = T extends any[] ? [...T, U] : never

二、实现unshift

实现类型版本的 Array.unshift。

例如：

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

答案

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

本题和实现push做法相似

三、实现Parameters<T>

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

例如：

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

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

答案

type MyParameters<T extends (...args: any[]) => any> = T extends (...args: infer K) => any ? K : never

要善用类型推断

四、 实现ReturnType<T>

不使用 ReturnType 实现 TypeScript 的 ReturnType<T> 泛型。

例如：

const fn = (v: boolean) => {
if (v)
  return 1
else
  return 2
}

type a = MyReturnType<typeof fn> // 应推导出 "1 | 2"

答案

type MyReturnType<T> = T extends (...args: any[]) => infer K ? K : never

五、实现Omit

不使用 Omit 实现 TypeScript 的 Omit<T, K> 泛型。

Omit 会创建一个省略 K 中字段的 T 对象。

例如：

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

type TodoPreview = MyOmit<Todo, 'description' | 'title'>

const todo: TodoPreview = {
completed: false,
}

答案一

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

答案二

type Exclude<T, K> = T extends K ? never : T

type MyOmit<T, K extends keyof T> = {
   [P in Exclude<keyof T, K>]: T[P]
}

六、实现MyReadonly2<T, K>

实现一个通用MyReadonly2<T, K>，它带有两种类型的参数T和K。

K指定应设置为Readonly的T的属性集。如果未提供K，则应使所有属性都变为只读，就像普通的Readonly<T>一样。

例如

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

const todo: MyReadonly2<Todo, 'title' | 'description'> = {
title: "Hey",
description: "foobar",
completed: false,
}

todo.title = "Hello" // Error: cannot reassign a readonly property
todo.description = "barFoo" // Error: cannot reassign a readonly property
todo.completed = true // OK

答案一：纯手写

type MyReadonly2<T, K extends keyof T= keyof T> = {
  readonly [P in K ]: T[P]
} & {
  [P in keyof T as P extends K ?  never : P]: T[P]
}

答案二

type MyReadonly2<T, K extends keyof T = keyof T> = Readonly<Pick<T, K>> & Omit<T, K> 

这里需要注意的一点是第二个泛型参数需要设置默认值为keyof T，这样如果没有传参，默认K就是T中的所有key