TypeScript 学习笔记 — 自定义类型:部分属性可选，反选 key，求对象交差并补集等（十三）

将部分属性变为可选属性
根据值的类型反选 key
求对象的交集 ObjectInter
求对象的差集 ObjectDiff
求对象的并集 ObjectMerge
求对象的补集 ObjectComp
重写对象类型 Overwrite

上文中介绍了对象操作的内置类型的使用，本文介绍几个基于内置类型，扩展的自定义类型，(类型名称自定义的)

将部分属性变为可选属性

实现思路：先将 name 属性挑出来变为可选的 & 除了 name 属性的

// 有时处理类型之后，对象类型结构不明显。只是简单做一个映射，并未其他意义。

type Compute<T extends object> = {

  [K in keyof T]: T[K]; // 映射

};

interface Person {

  name: string;

  age: number;

  address: string;

}

// 先将name属性挑出来变为可选的  &   除了name属性的

//  Partial<Pick<T, K>>        &   & Omit<T, K>

type PartialPropsOption<T, K extends keyof T> = Partial<Pick<T, K>> & Omit<T, K>;

type x1 = PartialPropsOption<Person, "name">;

type x2 = Compute<PartialPropsOption<Person, "name">>; // 使用Compute包一层可以看清楚结构，不包也可以

根据值的类型反选 key

之前的常见做法都是用过 key 值来获取属性，反之，如果根据值的类型反选 key？

写法一：基础原理写法，使用不同的内置类型，Pick 和 Omit

定义一个接口 Person。通过不同的内置类型，实现挑选值类型为string的keys和过滤值类型为string的keys

interface Person {

  name: string;

  age: number;

  address: string;

}

// 判断两个类型是否相等

type isEqual<T, U, Success, Fail> = [T] extends [U] ? ([U] extends [T] ? Success : Fail) : Fail;

type ExtractKeysByValueType<T, U> = {

  [K in keyof T]: isEqual<T[K], U, K, never>;

}[keyof T]; // 找到需要的属性 name | address   **注：联合类型中没有never

type PickKeysByValue<T, U> = Pick<T, ExtractKeysByValueType<T, U>>;

type PickedKeys = PickKeysByValue<Person, string>; // 挑选 值类型为string的keys 返回 name address

type OmitKeysByValue<T, U> = Omit<T, ExtractKeysByValueType<T, U>>;

type OmitedKeys = OmitKeysByValue<Person, string>; // 过滤 值类型为string的keys 返回 age

写法二：基础原理写法，使用 Pick 内置类型 + 传参的方式

interface Person {

  name: string;

  age: number;

  address: string;

}

// 判断两个类型是否相等

type isEqual<T, U, Success, Fail> = [T] extends [U] ? ([U] extends [T] ? Success : Fail) : Fail;

type ExtractKeysByValueType<T, U, O = false> = {

  [K in keyof T]: isEqual<T[K], U, isEqual<O, true, never, K>, isEqual<O, true, K, never>>;

}[keyof T]; // 找到需要的属性 name | address   **注：联合类型中没有never

type PickKeysByValue<T, U> = Pick<T, ExtractKeysByValueType<T, U>>;

type PickedKeys = PickKeysByValue<Person, string>; // 挑选 值类型为string的keys 返回 name address

type OmitKeysByValue<T, U> = Pick<T, ExtractKeysByValueType<T, U, true>>;

type OmitedKeys = OmitKeysByValue<Person, string>; // 过滤 值类型为string的keys 返回 age

写法三：使用映射条件做双重映射

interface Person {

  name: string;

  age: number;

  address: string;

}

type PickKeysByValue<T extends object, U> = {

  // [K in keyof T as `a_${K & string}`]: T[K];   // 使用模板字符串 重命名

  // as 语法 映射成一个新的变量

  [K in keyof T as T[K] extends U ? K : never]: T[K];

};

type PickKeysByAs = PickKeysByValue<Person, string>; // 挑选 值类型为string的keys 返回 name address

求对象的交集 ObjectInter

交集：指的是类型中的属性，属性，属性，即存在于 A 中，又存在于 B 中，属性的类型可以不同，取交集后者类型,

type A = {

  name: string;

  age: number;

  address: string;

};

type B = {

  name: string;

  male: boolean;

  address: number;

};

// 返回的是联合类型 name | address

type ObjectInter<T extends object, U extends object> = Pick<U, Extract<keyof T, keyof U>>;

type X1 = ObjectInter<A, B>; // 从B中取A，address类型取B中的类型 number

求对象的差集 ObjectDiff

算一下 B - A，使用内置类型组合：Omit + Extract == Pick + Exclude

组合的写法比较多种，只要可以实现就可以，需要注意的是 谁-谁,就是从哪个对象中挑选

type A = {

  name: string;

  age: number;

  address: string;

};

type B = {

  name: string;

  male: boolean;

  address: number;

};

type ObjectDiff<T extends object, U extends object> = Omit<U, Extract<keyof T, keyof U>>;

type X2 = ObjectDiff<A, B>; // B - A = male: boolean;

type ObjectDiff2<T extends object, U extends object> = Pick<T, Exclude<keyof T, keyof U>>;

type X3 = ObjectDiff2<A, B>; // A - B = age: number;

type OmitDiff<T extends object, U extends Object> = Omit<T, keyof U>;

type X4 = OmitDiff<A, B>; // A - B = age: number;

求对象的并集 ObjectMerge

希望最终得到的结果是 type X7 = { age: number; name: string; address: number; male: boolean;}

实现思路：先找出A - B的差集，再& B

type A = {

  name: string;

  age: number;

  address: string;

};

type B = {

  name: string;

  address: number;

  male: boolean;

};

type Compute<T extends object> = {

  [K in keyof T]: T[K]; // 只是做了映射，为了显示类型结果

};

type ObjectMerge<T extends object, U extends object> = Omit<T, keyof U> & U;

type X5 = Compute<ObjectMerge<A, B>>;

求对象的补集 ObjectComp

补集：存在于 A 中，不存在于 B 中，属性相差。互补，注意：双方得存在父子关系，才能互补 也就是 B 是 A 的子类型

type A = {

  name: string;

  age: number;

  address: string;

};

type B = {

  name: string;

  address: string;

};

// 类型“B” 需要满足约束 “A”。

type ObjectComp<T extends object, U extends T> = Omit<U, Extract<keyof T, keyof U>>;

type X6 = ObjectComp<B, A>; // age: number;

重写对象类型 Overwrite

使用 B 重写 A 中相同的属性，案例中就是使用 address: string => address: number,其他不变

希望最终得到的结果是 A=> { name: string; age: number; address: number }

实现思路：先找出交集，在找差集,利用上边已经实现的代码

type A = {

  name: string;

  age: number;

  address: string;

};

type B = {

  name: string;

  address: number;

  male: boolean;

};

type Compute<T extends object> = {

  [K in keyof T]: T[K]; // 只是做了映射，为了显示类型结果

};

type Overwrite<T extends object, U extends object> = ObjectInter<A, B> & ObjectDiff2<A, B>;

type X7 = Compute<Overwrite<A, B>>;