extends 条件类型怎么定义？

在 TypeScript 中，条件类型（Conditional Types）是一种根据类型条件选择不同类型的机制。extends 关键字在条件类型中用于表示一个类型是否满足特定条件。条件类型的基本语法如下：

T extends U ? X : Y

• T：待检查的类型。
• U：用于比较的类型。
• X：如果 T 满足 U 的条件，则结果类型。
• Y：如果 T 不满足 U 的条件，则结果类型。

定义条件类型

示例 1：基本的条件类型

type TrueType = true extends true ? "Yes" : "No"; // 'Yes'
type FalseType = false extends true ? "Yes" : "No"; // 'No'

在这个例子中：

• true 确实可以 extends true，所以 TrueType 的结果是 'Yes'。
• false 不可以 extends true，所以 FalseType 的结果是 'No'。

示例 2：基于泛型的条件类型

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

type Result1 = IsString<string>; // 'Yes'
type Result2 = IsString<number>; // 'No'

在这个例子中，IsString 是一个泛型条件类型：

• 当 T 是 string 时，结果是 'Yes'。
• 当 T 不是 string 时，结果是 'No'。

示例 3：复杂的条件类型

可以结合多个条件进行复杂的判断。

type IsStringOrNumber<T> = T extends string | number
  ? "String or Number"
  : "Other";

type Test1 = IsStringOrNumber<string>; // 'String or Number'
type Test2 = IsStringOrNumber<number>; // 'String or Number'
type Test3 = IsStringOrNumber<boolean>; // 'Other'

在这个例子中：

• IsStringOrNumber 判断 T 是否是 string 或 number，结果是 'String or Number'。
• 否则，结果是 'Other'。

示例 4：条件类型与联合类型

type ElementType<T> = T extends (infer U)[] ? U : T;

type NumberArray = ElementType<number[]>; // number
type StringType = ElementType<string>; // string

在这个例子中：

• ElementType 用于提取数组类型中的元素类型。
• number[] 的元素类型是 number。
• string 不是数组类型，因此 ElementType<string> 结果是 string。

条件类型的高级用法

条件类型的分布式条件类型：

• 当条件类型与联合类型一起使用时，条件类型会分布到联合的每个成员上。

type Distribute<T> = T extends any ? T : never;

type Result = Distribute<"a" | "b">; // 'a' | 'b'

在这个例子中，Distribute 将条件类型 T extends any ? T : never 应用于 'a' | 'b'，结果是 'a' | 'b'。

递归条件类型：

• 条件类型也可以用于递归类型的处理，例如构建深度递归类型。

type Flatten<T> = T extends (infer U)[]
  ? U extends any[]
    ? Flatten<U>
    : U
  : T;

type Result1 = Flatten<number[]>; // number
type Result2 = Flatten<number[][][]>; // number