TypeScript 条件类型

TypeScript 中的条件类型提供了一种创建依赖于条件的类型的方法。它们允许在类型定义中提供更大的灵活性和表现力，从而可以以清晰简洁的方式对复杂的类型关系进行建模。本文探讨了条件类型在 TypeScript 中的工作原理，并提供示例来说明它们的用法。

什么是条件类型？

条件类型允许创建基于条件选择的类型。它们类似于编程中的条件语句，但在类型级别运行。条件类型的基本语法是：

type ConditionalType = T extends U ? X : Y;

在此语法中：

• T 是正在检查的类型。
• U 是需要比较的类型。
• 如果 T 扩展了 U，则返回类型为 X。
• 如果 T 没有扩展 U，则返回类型为 Y。

条件类型的基本示例

这是一个条件类型的简单示例，它根据给定类型是否为字符串返回不同的类型：

type IsString = T extends string ? "String" : "Not a string";

type Result1 = IsString;  // Result1 is "String"
type Result2 = IsString;  // Result2 is "Not a string"

在此示例中，IsString 检查 T 是否扩展了 string。如果是，则结果为 "String"；否则，结果为 "Not a string"。

将条件类型与泛型类型结合使用

条件类型还可以与泛型类型一起使用，以创建更灵活、可重用的类型定义。例如，提取函数返回类型的类型：

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

type FunctionType = (x: number) => string;

type Result = ReturnType;  // Result is string

在此示例中，ReturnType 使用 infer 关键字推断函数类型 T 的返回类型 R。如果 T 是函数类型，则 ReturnType 将是返回类型；否则，它默认为 never。

条件类型与联合类型

条件类型还可以与联合类型一起使用，以处理多种可能的类型。例如，区分不同的联合成员：

type ExtractString = T extends string ? T : never;

type UnionType = string | number | boolean;

type Result = ExtractString;  // Result is string

在此示例中，ExtractString 从联合类型 UnionType 中提取 string，得到 string。

具有类型映射的条件类型

条件类型可以与类型映射结合使用，以创建更复杂的类型转换。例如，映射类型数组以应用条件类型：

type MapArray = {
  [K in keyof T]: T[K] extends string ? T[K] : never;
};

type ArrayType = [string, number, boolean];

type MappedArray = MapArray;  // MappedArray is [string, never, never]

在这个例子中，MapArray 映射到数组 T 的每个元素，并对每个元素应用条件类型，从而生成一个仅保留字符串元素的数组。

结论

TypeScript 中的条件类型是创建灵活且富有表现力的类型定义的强大工具。通过利用条件类型，开发人员可以对复杂的类型关系进行建模，处理各种场景，并提高 TypeScript 代码中的类型安全性。了解如何有效地使用条件类型可以显著增强编写稳健且可维护的 TypeScript 代码的能力。