【类型挑战】实现 Pick，难度

知识运用：

在实现Pick这道题目的过程中运用到的知识点如下：

1. Keyof 类型运算符；

2. Mapped Types 映射类型；

3. Indexed Access Types：索引访问类型；

4. 泛型中约束类型参数；

   题目分析：

   题目地址：4-easy-pick 如图所示我们需要设计一个通用类型工具MyPick来支持从接口Todo中获取到title或completed属性并组成一个新的类型。

   题目解答：

   测试用例：

5. 满足从Todo接口取出属性title及类型与Expected1类型一致。

6. 满足从Todo接口取出属性title和completed及类型构成联合类型与Expected2类型一致。

7. 当需要取出在Todo中不存在的属性invalid及类型时将抛出错误。

   /* _____________ 测试用例 _____________ */
   // 完整测试用例可见 type-challenges项目，点击题目链接可转到
   import { Equal, Expect } from '@type-challenges/utils'
   

type cases = [ Expect<Equal<Expected1, MyPick<Todo, 'title'>>>, Expect<Equal<Expected2, MyPick<Todo, 'title' | 'completed'>>>, // @ts-expect-error MyPick<Todo, 'title' | 'completed' | 'invalid'>, ]

#### 答案及解析：
```typescript
/* _____________ 答案 _____________ */

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

在演练场验证答案

1. 通过keyof T来得到接口中所有属性的字符串组成的合集；
2. 使用in来遍历联合类型K得到每次遍历的值key，形式为[key in keyof T]；
3. 使用索引访问类型，得到接口中特定属性的类型，形式为T[key]；
4. 使用extends来约束K均来自于T中；

在演练场看解题过程

接下来的一题是：【类型挑战】实现 Readonly，难度⭐️，尽情期待！