ts中常见的Utility Type原理解析

在TypeScript中，Utility Types是一种强大的特性，它允许你创建自定义类型操作，可以用于操作或转换类型。这些操作可以是基于条件的类型操作，比如类型判断、类型映射、类型组合等。

以下是一个使用了Extract和Exclude两种Utility Types的例子：

type ExampleType = {
  type: 'A';
  value: number;
} | {
  type: 'B';
  value: string;
} | {
  type: 'C';
  value: boolean;
};
 
// 使用Extract，提取出type为'B'的联合类型
type TypeBTypes = Extract<ExampleType, { type: 'B' }>;
 
// 使用Exclude，排除出type为'A'或'C'的联合类型
type NotTypeATypeC = Exclude<ExampleType, { type: 'A' } | { type: 'C' }>;
 
// TypeBTypes将会被推断为 { type: 'B', value: string; }
// NotTypeATypeC将会被推断为 { type: 'B', value: string; } | { type: 'C', value: boolean; }

在这个例子中，Extract用于提取联合类型中符合指定类型的成员，而Exclude则用于排除不符合指定类型的成员。这样的操作可以让你在编写类型安全的代码时，更加灵活和高效。