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

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

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

基本语法infer 的典型语法结构如下：

代码语言：typescript复制T extends SomeType ? TrueBranch : FalseBranch在这里：

T 是输入的泛型类型。SomeType 是一个用于匹配 T 的类型模式。U 是通过 infer 关键字推断的类型。TrueBranch 和 FalseBranch 分别定义了匹配成功和失败时的结果类型。如果 T 符合 SomeType 的模式，那么 U 将被推断为 T 的某些组成部分，并在 TrueBranch 中使用；否则返回 FalseBranch。

代码示例一个简单的例子如下：

代码语言：typescript复制type ExtractPromiseType = T extends Promise ? U : never;

// 测试

const value: ExtractPromiseType> = "Hello, World!"; // 推断为 string在这个例子中：

T 是泛型参数。如果 T 是 Promise 类型的形式，infer U 将提取出 Promise 的泛型参数 U。如果 T 不是 Promise 类型，则返回 never。infer 的常见应用场景infer 的强大之处在于它能够动态推导类型，以下是几个常见的实际应用场景：

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

代码语言：typescript复制type ParametersType = T extends (...args: infer P) => any ? P : never;

// 示例函数

type MyFunction = (x: number, y: string) => void;

type Params = ParametersType; // [number, string]在这个例子中：

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

代码语言：typescript复制type ReturnType = T extends (...args: any[]) => infer R ? R : never;

// 示例函数

type MyFunction = () => string;

type Result = ReturnType; // string解构数组类型对于数组，可以使用 infer 提取其元素类型：

代码语言：typescript复制type ElementType = T extends (infer U)[] ? U : never;

type Numbers = number[];

type Strings = string[];

type NumberElement = ElementType; // number

type StringElement = ElementType; // string提取类的实例类型通过 infer，可以从类的构造函数中推导出其实例类型：

代码语言：typescript复制type InstanceType = T extends new (...args: any[]) => infer R ? R : never;

class MyClass {

constructor(public name: string) {}

}

type MyInstance = InstanceType; // MyClass提取元组中的第一个元素类型使用 infer，可以提取元组的第一个元素类型：

代码语言：typescript复制type FirstElement = T extends [infer F, ...any[]] ? F : never;

type MyTuple = [number, string, boolean];

type First = FirstElement; // numberinfer 的限制和注意事项infer 仅在条件类型中使用：infer 必须配合条件类型（extends）使用，不能单独使用。模式匹配的局限性：infer 无法处理不符合模式的类型。例如，尝试从非元组数组中提取多个元素类型可能会失败。复杂类型可能导致推导不直观：对于嵌套结构的复杂类型，infer 的推导可能会变得难以理解。以下是一个复杂场景的例子：

代码语言：typescript复制type DeepExtract = T extends { a: infer A; b: { c: infer C } } ? [A, C] : never;

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

type Result = DeepExtract; // [string, number]高级用法嵌套推导可以嵌套多个 infer 来推导深层次的类型：

代码语言：typescript复制type NestedArrayType = T extends (infer U)[] ? U extends (infer V)[] ? V : U : never;

type Test1 = NestedArrayType; // number

type Test2 = NestedArrayType; // string与联合类型结合infer 可以处理联合类型，但可能需要配合分布式条件类型使用：

代码语言：typescript复制type ExtractString = T extends `${infer S}` ? S : never;

type Test = ExtractString<"hello" | 123>; // "hello"在这个例子中，infer 将只匹配字符串类型的联合成员。

infer 的优势提升类型系统的灵活性：infer 让开发者可以通过模式匹配轻松操作复杂类型。增强代码的类型安全性：通过动态推导，减少手动指定类型的需要，从而降低错误风险。代码复用性更高：开发者可以编写通用的工具类型，适配多种场景。总结infer 是 TypeScript 类型系统中的关键功能之一，它的出现大幅提升了类型系统的表达能力。通过学习和应用 infer，开发者可以更高效地操作复杂类型结构，实现动态类型推导，从而编写更安全和简洁的代码。