TypeScript 高级类型：条件类型

条件类型是 TypeScript 中一种强大的高级类型，它允许我们根据类型的条件来推导出新的类型。条件类型的语法与 JavaScript 的三元运算符相似，使用 T extends U ? X : Y 的形式来表示：如果类型 T 是类型 U 的子类型，则结果为类型 X，否则为类型 Y。

1. 基本语法

条件类型的基本语法如下：

type ResultType<T> = T extends U ? X : Y;

T 是待检查的类型。
U 是基准类型。
X 是当 T 是 U 的子类型时的返回类型。
Y 是当 T 不是 U 的子类型时的返回类型。

示例

type IsString<T> = T extends string ? "Yes" : "No";

type Test1 = IsString<string>;  // "Yes"
type Test2 = IsString<number>;  // "No"

在这个例子中，IsString 是一个条件类型，它检查类型 T 是否为 string，并返回相应的字符串字面量。

2. 条件类型的应用

条件类型在 TypeScript 中有多种应用场景，以下是一些常见的用法。

2.1 类型过滤

条件类型可以用于从一个联合类型中提取特定类型。

type Filter<T, U> = T extends U ? T : never;

type NumbersAndStrings = string | number | boolean;
type OnlyStrings = Filter<NumbersAndStrings, string>;  // string

在这个例子中，Filter 类型用于从 NumbersAndStrings 中提取出 string 类型。

2.2 类型映射

条件类型可以与映射类型结合使用，以创建更复杂的类型。

type Nullable<T> = T extends null ? never : T;

type NullableString = Nullable<string | null>;  // string
type NullableNumber = Nullable<number | null>;  // number

在这个例子中，Nullable 类型用于排除 null 类型。

2.3 递归条件类型

条件类型可以递归地使用，以处理嵌套类型。

type Flatten<T> = T extends Array<infer U> ? Flatten<U> : T;

type NestedArray = number[][][];
type FlatArray = Flatten<NestedArray>;  // number

在这个例子中，Flatten 类型用于将嵌套数组展平。

3. 优点与缺点

优点

灵活性：条件类型提供了强大的灵活性，可以根据类型的条件动态生成新类型。
类型安全：通过条件类型，可以在编译时捕获类型错误，增强代码的类型安全性。
可读性：条件类型的语法与自然语言相似，易于理解和使用。

缺点

复杂性：条件类型可能会导致类型定义变得复杂，尤其是在嵌套和递归的情况下。
性能：在某些情况下，复杂的条件类型可能会影响 TypeScript 的编译性能。
调试困难：当条件类型嵌套过深时，错误信息可能会变得难以理解。

4. 注意事项

避免过度使用：虽然条件类型非常强大，但在某些情况下，过度使用可能会导致代码难以维护。应根据实际需求合理使用。
类型推导：TypeScript 在处理条件类型时会进行类型推导，确保理解推导的过程，以避免意外的类型错误。
使用 infer：在条件类型中，可以使用 infer 关键字来推导类型，这在处理复杂类型时非常有用。

示例：使用 `infer`

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

type Func = (x: number) => string;
type Result = ReturnType<Func>;  // string

在这个例子中，ReturnType 类型用于提取函数类型的返回值类型。

5. 结论

条件类型是 TypeScript 中一个非常强大的特性，它允许开发者根据类型的条件动态生成新类型。通过合理使用条件类型，可以提高代码的灵活性和类型安全性。然而，开发者在使用条件类型时也需要注意其复杂性和性能问题。掌握条件类型的使用，将有助于提升 TypeScript 开发的能力和效率。