前言

ts内置的一些常用工具类型，简化ts的操作。它们都是基于泛型实现的，并且内置的，可直接使用。

1. Pick(选择)

• 通俗的说法就是：在已经定义的对象中选取一些
  pick<T，keys>：从Type中选择一系列属性来构造新类型，属性来源于keys

• pick两个类型变量：1.表示选择谁的属性 2.表示选择哪几个属性（传入属性名，只能是第一个 类型变量中存在的属性）
  例子如下：

  interface Props{
      id:string
      title:string
      children:number[]
  }
  type PickProps= Pick<Props,'id'|'title'>
  

  生成的新类型，只有id，title两个属性类型 相当于

  interface Props{
      id:string
      title:string
  }
  

2. Omit（省略）

• 通俗的说法就是：在已经定义的对象中删除一些，留下剩下的 omit<T，keys>：从Type中选取所有的属性值，然后移除一系列属性值，属性值来源于keys

• 生成一个新的类型，该类型拥有T中除了K属性以外的所有属性 例子如下：

  interface User {
    name: string;
    age: number;
    like: string;
  }
  type User1 = Omit<User, "name" | "age">;
  相当于
  interface User1 {
    like: string;
  }
  

3. Exclude（排除/不包括）

• 通俗的说就 返回没有含有的那个 Exclude<T,U> 从第一个联合类型参数中，将第二个联合类型中出现的联合项全部排除，只留下没有出现过的参数。 例子如下：

  type A = "age" | "name";
  type B = "like" | "name";
  type C = Exclude<A, B>;
  
  
  相对于
  type C ='age'
  
  
  type A = "age" | "name";
  type B = "age" | "name" | "height";
  type C = Exclude<A, B>;
  
  
  相对于
  never 
  

4. Extract (提取/包括）

• 通俗的说就 返回含有的那个 Extract<T,U>提取Type中所有能够赋值给Union的属性，将这些属性构成一个新的类型

• 传入两个泛型，如果 T 是 U 的子类型则返回，不是则返回 never

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

  type A = "age" | "name";
  type B = "like" | "eat";
  type C = Extract<A, B>;
  相当于 type C = nerver
  
  type A = "age" | "name";
  type B = "like" | "eat" | "name";
  type C = Extract<A, B>;
  相当于 type C = "name"