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,
}

// ============= Test Cases =============
import type { Equal, Expect } from './test-utils'
​
type cases = [
  Expect<Equal<Expected1, MyPick<Todo, 'title'>>>,
  Expect<Equal<Expected2, MyPick<Todo, 'title' | 'completed'>>>,
  // @ts-expect-error
  MyPick<Todo, 'title' | 'completed' | 'invalid'>
]
​
​
interface Todo {
  title: string
  description: string
  completed: boolean
}
​
interface Expected1 {
  title: string
}
​
interface Expected2 {
  title: string
  completed: boolean
}
​
// ============= Your Code Here =============
// 答案
type MyPick<T, K extends keyof T> = {
  [P in K]: T[P]
}
​

pick 的意思是，从一个 type 或者 interface 中选择属性形成一个新的类型，但是不能有其他非该类型上的属性，比如：

// @ts-expect-error
  MyPick<Todo, 'title' | 'completed' | 'invalid'>

其中 invalid 是该类型上没有的属性，所以会报错，这就要求我们要限制属性，只能是该类型上的属性才行，而 K extends keyof T 的含义是 K 继承 T 身上的 key 值，即泛型上的属性，所以这里的 T 应该是原类型，而 K 则是该类型上的属性。即 'title' ， 'completed' ， 'description' 三者中任意一个或者任意组成的联合类型。[P in K] 的含义是任意 K 中的值，定义为 P，那么 T[P] 即为键值。