高质量的类型可以提高项目的可维护性并避免一些潜在的漏洞。
一些大厂在前端面试中也考察到了 TypeScript 高级类型的定义，本系列主要解答来自 Type Challenges 中的 TS 类型挑战问题，以此更好的了解 TS 的类型系统，编写自己的类型工具。
下面来看一个难度为简单的题目：实现 Pick
题目描述
实现 TS 内置的 Pick，但不可以使用它。
从类型 T 中选择出属性 K，构造成一个新的类型。
例如：
interface Todo {
title: string
description: string
completed: boolean
}
type TodoPreview = MyPick<Todo, 'title' | 'completed'>
const todo: TodoPreview = {
title: 'Clean room',
completed: false,
}
题目解答
Pick 类型用于从T类型中选择部分属性K来构造新的类型。
首先，我们需要遍历对象 T。那就要使用映射类型来遍历：
type MappedType<T> = {
[Key in keyof T]: T[Key];
};
- keyof T用于从对象类型T中获取键值 key;
- in用于对对象键值key进行迭代;
- Key 就是对象键值 key 本身;
- T[Key]是指定 Key 的值;
然后，要想迭代获取对象的某个部分，就需要指定要迭代的key：
type MappedType<T, Keys> = {
[Key in Keys]: T[Key];
};
但是，这样写就会有两个错误：
- 不能将类型“Keys”分配给类型“string | number | symbol”。
- 类型“Key”无法用于索引类型“T”。
这两个错误都与迭代规则有关：
- key 可以是string、number、symbol;
- 如果T中不存在Key，就不能调用T[Key]。
如果规则 2 成立，那么规则 1 一定是成立的，因为现有的 keys 是指定类型之一。为了迭代现有的 key，我们需要使用extends关键字进行约束。这样，如果指定不存在的 key，TypeScript 将抛出一个错误，如果T中不存在这个 key，就不能调用T[key]。
Pick的实现如下：
type MyPick<T, Keys extends keyof T> = {
[Key in Keys]: T[Key];
};
Type Challenges：https://github.com/type-challenges/type-challenges
