深入解析 TypeScript 中的 infer 关键字及其实际应用TypeScript 是一种功能强大的静态类型语言，

TypeScript 是一种功能强大的静态类型语言，其中 infer 关键字是条件类型中的一项独特功能。通过使用 infer，开发者可以从类型中推断信息，从而实现更动态和灵活的类型操作。

以下将分步骤探讨 infer 的核心原理、应用场景以及如何编写高效的代码，所有代码示例都可以直接运行。

什么是 `infer`

infer 是 TypeScript 条件类型中的一个关键字，用于从某个类型中提取或推断类型信息。它通常和条件类型（extends）配合使用，用于根据泛型参数的结构，推导出某些类型的子集或相关类型。

基本语法

infer 的典型语法结构如下：

T extends SomeType<infer U> ? TrueBranch : FalseBranch

在这里：

T 是输入的泛型类型。
SomeType<infer U> 是一个用于匹配 T 的类型模式。
U 是通过 infer 关键字推断的类型。
TrueBranch 和 FalseBranch 分别定义了匹配成功和失败时的结果类型。

如果 T 符合 SomeType<infer U> 的模式，那么 U 将被推断为 T 的某些组成部分，并在 TrueBranch 中使用；否则返回 FalseBranch。

代码示例

一个简单的例子如下：

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

// 测试
const value: ExtractPromiseType<Promise<string>> = "Hello, World!"; // 推断为 string

在这个例子中：

T 是泛型参数。
如果 T 是 Promise<U> 类型的形式，infer U 将提取出 Promise 的泛型参数 U。
如果 T 不是 Promise 类型，则返回 never。

`infer` 的常见应用场景

infer 的强大之处在于它能够动态推导类型，以下是几个常见的实际应用场景：

提取函数参数类型

infer 可以用来提取函数的参数类型：

type ParametersType<T> = T extends (...args: infer P) => any ? P : never;

// 示例函数
type MyFunction = (x: number, y: string) => void;

type Params = ParametersType<MyFunction>; // [number, string]

在这个例子中：

T extends (...args: infer P) => any 匹配任意函数。
infer P 推断出函数的参数类型。
如果 T 不是函数类型，则返回 never。

提取函数返回值类型

类似地，可以提取函数的返回值类型：

type ReturnType<T> = T extends (...args: any[]) => infer R ? R : never;

// 示例函数
type MyFunction = () => string;

type Result = ReturnType<MyFunction>; // string

解构数组类型

对于数组，可以使用 infer 提取其元素类型：

type ElementType<T> = T extends (infer U)[] ? U : never;

type Numbers = number[];
type Strings = string[];

type NumberElement = ElementType<Numbers>; // number
type StringElement = ElementType<Strings>; // string

提取类的实例类型

通过 infer，可以从类的构造函数中推导出其实例类型：

type InstanceType<T> = T extends new (...args: any[]) => infer R ? R : never;

class MyClass {
  constructor(public name: string) {}
}

type MyInstance = InstanceType<typeof MyClass>; // MyClass

提取元组中的第一个元素类型

使用 infer，可以提取元组的第一个元素类型：

type FirstElement<T> = T extends [infer F, ...any[]] ? F : never;

type MyTuple = [number, string, boolean];

type First = FirstElement<MyTuple>; // number

`infer` 的限制和注意事项

infer 仅在条件类型中使用：infer 必须配合条件类型（extends）使用，不能单独使用。
模式匹配的局限性：infer 无法处理不符合模式的类型。例如，尝试从非元组数组中提取多个元素类型可能会失败。
复杂类型可能导致推导不直观：对于嵌套结构的复杂类型，infer 的推导可能会变得难以理解。

以下是一个复杂场景的例子：

type DeepExtract<T> = T extends { a: infer A; b: { c: infer C } } ? [A, C] : never;

type Nested = { a: string; b: { c: number } };

type Result = DeepExtract<Nested>; // [string, number]

高级用法

嵌套推导

可以嵌套多个 infer 来推导深层次的类型：

type NestedArrayType<T> = T extends (infer U)[] ? U extends (infer V)[] ? V : U : never;

type Test1 = NestedArrayType<number[][]>; // number
type Test2 = NestedArrayType<string[]>; // string

与联合类型结合

infer 可以处理联合类型，但可能需要配合分布式条件类型使用：

type ExtractString<T> = T extends `${infer S}` ? S : never;

type Test = ExtractString<"hello" | 123>; // "hello"

在这个例子中，infer 将只匹配字符串类型的联合成员。

`infer` 的优势

提升类型系统的灵活性：infer 让开发者可以通过模式匹配轻松操作复杂类型。
增强代码的类型安全性：通过动态推导，减少手动指定类型的需要，从而降低错误风险。
代码复用性更高：开发者可以编写通用的工具类型，适配多种场景。

总结

infer 是 TypeScript 类型系统中的关键功能之一，它的出现大幅提升了类型系统的表达能力。通过学习和应用 infer，开发者可以更高效地操作复杂类型结构，实现动态类型推导，从而编写更安全和简洁的代码。

深入解析 TypeScript 中的 infer 关键字及其实际应用

什么是 infer