TypeScript高级类型-Partial
预备知识：
TypeScript类型系统
接口
泛型
先来看一下 Partial 类型的定义
/*** Make all properties in T optional*/
type Partial<T> = {[P in keyof T]?: T[P];
};
假设我们有一个定义 user 的接口，如下
interface IUser {name: stringage: numberdepartment: string
}
经过 Partial 类型转化后得到
type optional = Partial<IUser>// optional的结果如下
type optional = {name?: string | undefined;age?: number | undefined;department?: string | undefined;
}
那么 Partial<T> 是如何实现类型转化的呢？
-
遍历入参
T，获得每一对key, value -
将每一对中的
key变为可选，即添加? -
希望得到的是由
key, value组成的新类型
以上对应到 TypeScript 中是如何实现的呢？
对照最开始 Partial 的类型定义，能够捕捉到以下重要信息
-
keyof是干什么的？ -
in是干什么的？ -
[P in keyof T]中括号是干什么的？ -
?是将该属性变为可选属性 -
T[P]是干什么的？
keyof
keyof，即 索引类型查询操作符，我们可以将 keyof 作用于泛型 T 上来获取泛型 T 上的所有 public 属性名构成的 联合类型
注意："public、protected、private"修饰符不可出现在类型成员上
例如：
type unionKey = keyof IUser// unionKey 结果如下，其获得了接口类型 IUser 中的所有属性名组成的联合类型
type unionKey = "name" | "age" | "department"
in
我们需要遍历 IUser ，这时候 映射类型就可以用上了，其语法为 [P in Keys]
- P：类型变量，依次绑定到每个属性上，对应每个属性名的类型
- Keys：字符串字面量构成的联合类型，表示一组属性名（的类型），可以联想到上文
keyof的作用
上述问题中 [P in keyof T] 中括号是干什么的？这里也就很清晰了。
T[P]
我们可以通过 keyof 查询索引类型的属性名，那么如何获取属性名对应的属性值类型呢？
这里就用到了 索引访问操作符，与 JavaScript 种访问属性值的操作类似，访问类型的操作符也是通过 [] 来访问的，即 T[P]，其中”中括号“中的 P 与 [P in keyof T] 中的 P 相对应。
例如
type unionKey = keyof IUser // "name" | "age" | "department"type values = IUser[unionKey] // string | number 属性值类型组成的联合类型
最后我们希望得到的是由多个 key, value 组成的新类型，故而在 [P in keyof T]?: T[P]; 外部包上一层大括号。
到此我们解决遇到的所有问题，只需要逐步代入到 Partial 类型定义中即可。
总结：
- 针对高级类型的编写，我们可以尝试将其以
JavaScript的代码方式表述出来，然后使用TypeScript对其进行实现。 - 在每一个小步骤中遇到不懂的，可以结合最后的结果进行比对（比如本文中
Partial的类型定义），发现问题点在哪里，然后针对性查证并解决。