条件类型允许基于条件动态创建类型，分为两种：T extends U ? X : Y，检查 T 是否可以赋值给 U，可赋值返回 X，否则返回 Y。T extends U = true ? X : Y，检查 T 是否严格等于 U，相等返回 X，否则返回 Y。条件类型用于类型守卫、类型转换和创建通用函数，但仅适用于类型变量。

TypeScript 条件类型

TypeScript 中的条件类型是一种高级特性，允许开发者基于类型谓词动态创建新的类型。通过使用条件类型，可以创建复杂的类型，这些类型会根据特定的条件而改变。

有哪些条件类型？

TypeScript 中有以下两种主要的条件类型：

• T extends U ? X : Y
• T extends U = true ? X : Y

条件类型如何工作？

T extends U ? X : Y

• 检查类型变量 T 是否可以赋值给类型 U。
• 如果可以，则返回类型 X。
• 如果不可以，则返回类型 Y。

T extends U = true ? X : Y

• 检查类型变量 T 是否可以严格等于类型 U。
• 如果相等，则返回类型 X。
• 如果不相等，则返回类型 Y。

示例

以下是一些条件类型的示例：

type IsString<T> = T extends string ? true : false; // 检查 T 是否是 string 类型

type IsArray<T> = T extends Array<any> ? true : false; // 检查 T 是否是 Array 类型

type NotNull<T> = T extends null | undefined ? never : T; // 从 T 中排除 null 和 undefined

用法

条件类型可以用于各种场景，例如：

• 类型守卫：检查一个值是否属于特定类型。
• 类型转换：将一个类型转换为另一个类型。
• 创建通用函数：编写适用于各种类型的函数。

注意

• 条件类型只能用于类型变量，不能用于值。
• 条件类型的结果类型必须是 TypeScript 中的合法类型。