在 TypeScript 中，`infer` 是一个强大的工具，主要用于类型推断中提取特定的信息。简单来说，它可以帮助我们从复杂的类型结构中“推导”出所需的部分信息。这种能力让开发者能够编写更灵活和智能的泛型代码。

想象一下，你正在处理一个函数，需要从传入的参数类型中提取某些部分。例如，如果你有一个函数接收 `Promise` 类型，你想直接获取其内部的 `string` 部分，这时就可以用到 `infer`。通过定义一个条件类型，并使用 `infer` 声明一个占位符，你可以轻松地将复杂类型拆解成简单的部分。

🔍 示例：

```typescript

type Unpack = T extends Promise ? U : never;

type Result = Unpack>; // Result 是 string

```

此外，在联合类型中，`infer` 同样大显身手。它允许我们在联合类型中匹配特定模式并提取相关内容。这使得 TypeScript 的类型系统更加动态和强大。例如：

```typescript

type First = T extends [infer U, ...any[]] ? U : never;

```

总之，`infer` 是 TypeScript 类型系统中的一个宝藏工具，帮助我们实现更精确的类型推断和更优雅的代码设计。✨