用 infer 探索 TypeScript 中的新领域

在TypeScript中，infer是一个神奇的存在，它可以用来从其他类型中提取类型信息，为高级类型操作提供了强大的工具。今天，我们就来详细剖析infer的用法，带你领略TypeScript类型系统的新高度。

infer的基本用法

infer关键字的典型用法是在条件表达式中。让我们从一个简单的例子开始：

type Name = string;

type NameOrUnknown = Name | unknown;

type InferredName = NameOrUnknown extends Name ? Name : never;

在这个例子中，我们定义了一个Name类型来表示一个字符串，以及一个NameOrUnknown类型来表示一个字符串或一个未知类型。然后，我们使用infer关键字来定义一个InferredName类型，该类型从NameOrUnknown类型中提取了Name类型。

infer的类型推断

infer关键字的强大之处在于它可以进行类型推断。让我们来看一个更复杂的例子：

type User = {
  name: string;
  age: number;
};

type UserWithOptionalAge = Partial<User>;

type InferredAge = UserWithOptionalAge extends { age: infer A } ? A : never;

在这个例子中，我们定义了一个User类型来表示一个用户，以及一个UserWithOptionalAge类型来表示一个可选年龄的用户。然后，我们使用infer关键字来定义一个InferredAge类型，该类型从UserWithOptionalAge类型中提取了age的类型。

infer的条件类型

infer关键字还可以用于创建条件类型。让我们来看一个例子：

type IsString<T> = T extends string ? true : false;

typeIsString<string> // true
typeIsString<number> // false

在这个例子中，我们定义了一个IsString类型来检查一个类型是否为字符串。我们使用infer关键字来定义一个T类型，该类型可以是任何类型。然后，我们使用条件类型来检查T类型是否为字符串。

infer的高级用法

infer关键字还可以用于更高级的类型操作，例如创建映射类型、联合类型和交叉类型。这些高级用法超出了本文的范围，但你可以在网上找到许多资源来了解更多信息。

结论

infer关键字是TypeScript中一个强大的工具，它可以用来从其他类型中提取类型信息，进行类型推断，创建条件类型，以及执行其他高级类型操作。如果您想充分利用TypeScript的类型系统，那么您就需要掌握infer关键字的使用方法。