Exclude和Extract

type Exclude<T, U> = T extends U ? never : T;
type Extract<T, U> = T extends U ? T : never;

从名字上看，Exclude是将类型U从类型T中去除，生成一个新类型；Extract则是从类型T中提取类型U。

但从定义上看又不是那么回事。

其实两个类型是用在联合类型上的，因为当extends的左侧是一个联合类型的时候，就成了分布式条件类型。

以Exclude为例：

type Keys = 'name'|'age'|'sex'|'address'
type IgnoreKeys = 'age'|'sex'
type AimKeys = Exclude<Keys, IgnoreKeys> // 结果是'name'|'address'

原理是：

type AimKeys = Exclude<Keys, IgnoreKeys>
// 等于
type AimKeys = Exclude<'name'|'age'|'sex'|'address', 'age'|'sex'>
// 等于
type AimKeys = 'name' extends 'age'|'sex' ? never : 'name' // 'name'
              |'age' extends 'age'|'sex' ? never : 'age' // never
              |'sex' extends 'age'|'sex' ? never : 'age' // 'sex'
              |'address' extends 'age'|'sex' ? never : 'age' // never
// 等于
type AimKeys = 'name'|'address'

Extract同理。