揭秘 Infer 类型推导的神秘面纱

2024-01-01 13:53:19

Infer，作为 TypeScript 中一项强大且灵活的特性，一直令开发者惊叹于其推导类型的能力。然而，对于 Infer 如何实现这种魔法，却鲜为人知。在这篇博文中，我们将深入探究 Infer 的内部机制，揭开它推导类型的秘密。

Infer 的原理

Infer 是一种类型推导机制，用于从已知类型中推导出新类型。它通过以下步骤实现这一目标：

识别泛型类型： Infer 首先会识别包含泛型类型参数的类型。例如：

interface MyArray<T> {
  items: T[];
}

实例化泛型类型： 接下来，Infer 会使用实际类型参数实例化泛型类型。例如，对于 MyArray<number>，Infer 将创建一个新的类型 MyArray<number>。
推导出特定类型： Infer 根据实际类型参数推导出泛型类型中特定部分的类型。例如，对于 MyArray<number>，Infer 将推导出类型 number[]，因为它代表了 MyArray 中 items 数组的类型。

实践中的 Infer

为了更好地理解 Infer 的工作原理，让我们来看一个实际示例：

type Result<T> = T extends Promise<infer U> ? U : T;

const myPromise: Promise<string> = new Promise((resolve) => resolve('Hello'));

const result = Result(myPromise); // 类型为 string

在这个示例中：

Result<T> 是一个泛型类型，它接受一个参数 T。
T extends Promise<infer U> 是一个条件类型，检查 T 是否扩展自 Promise 类型。如果 T 是一个 Promise，它将推导出内部类型 U。
对于 myPromise，Infer 会识别出 myPromise 是一个 Promise<string>，因此它推导出 U 为 string。
最后，Result(myPromise) 的结果类型为 string，因为 myPromise 满足条件类型，并且 Infer 推导出 U 为 string。