Typescript 类型体操——43-easy-exclude

## 前言

在学习 Typescript 的过程中，有一个 Github 库对其类型的学习特别有帮助，它叫 [Typescript 类型体操](https://github.com/gcanti/fp-ts/blob/master/docs/README.md)。这是一个包含了一系列类型操作工具函数的库，其中就包括 easy-exclude。

## easy-exclude 的用法

easy-exclude 的用法非常简单，它接收两个参数：

- 要排除的类型
- 要从中排除类型的联合类型

例如，假设我们有一个联合类型 `A | B | C`，并且我们想要从中排除类型 `B`，那么我们可以这样使用 easy-exclude：

```typescript
type NewType = easy-exclude<A | B | C, B>;

此时，NewType 的类型将是 A | C，因为我们已经从 A | B | C 中排除了类型 B。

easy-exclude 的原理

easy-exclude 的原理并不复杂，它实际上是利用了 Typescript 的交叉类型和分布式条件类型的特性。

交叉类型是一种将多个类型组合成一个新类型的语法糖。例如，A & B 是一个交叉类型，它包含了类型 A 和 B 的所有成员。

分布式条件类型是一种可以对联合类型中的每个类型分别应用条件判断的语法糖。例如，T extends U ? X : Y 是一个分布式条件类型，它表示如果 T 满足条件 extends U，那么类型为 X，否则类型为 Y。

easy-exclude 就是利用了交叉类型和分布式条件类型来实现的。它首先将要排除的类型与要从中排除类型的联合类型进行交叉类型运算，然后使用分布式条件类型来判断每个类型是否满足条件 extends 要排除的类型。如果满足，则将该类型排除，否则保留该类型。

easy-exclude 的应用场景

easy-exclude 在实际开发中有很多应用场景，例如：

• 从一个枚举类型中排除某些值
• 从一个联合类型中排除某些类型
• 从一个接口类型中排除某些属性
• 从一个类类型中排除某些方法

这些只是 easy-exclude 的一些应用场景，在实际开发中，还可以根据需要灵活使用。

结语

easy-exclude 是 Typescript 类型体操中常用的工具函数之一，它可以从一个联合类型中排除一个或多个类型，从而得到一个新的联合类型。这篇文章介绍了 easy-exclude 的用法和原理，以及它的应用场景，希望对读者有所帮助。