TypeScript 中如何创建条件类型

在 TypeScript 的类型系统中，条件类型是一项强大的功能，它允许开发者根据条件来选择不同的类型，为代码的类型定义提供了更高的灵活性和可维护性。

创建条件类型的基本语法基于 T extends U? X : Y 这样的结构。其中，T 和 U 是类型参数，extends 关键字用于判断 T 是否是 U 的子类型。如果 T 是 U 的子类型，那么条件类型的结果就是 X；否则，结果为 Y。

比如，我们有一个简单的条件类型 IsString，用于判断一个类型是否为 string：

type IsString<T> = T extends string? true : false;
type A = IsString<string>; // true
type B = IsString<number>; // false

在这个例子中，IsString 接受一个类型参数 T，通过条件判断 T 是否为 string 类型，返回相应的布尔值类型。

条件类型还可以进行更复杂的操作，比如在类型数组中进行筛选。假设我们有一个类型数组 Types，包含 string、number 和 boolean，现在我们想创建一个新的类型数组，只包含 string 类型的元素。这时候就可以利用条件类型来实现：

type Types = string | number | boolean;
type StringOnly<T> = T extends string? T : never;
type StringArray = StringOnly<Types>; // string

这里，StringOnly 类型会对 Types 中的每个类型进行判断，如果是 string 类型就保留，否则用 never 类型过滤掉，最终 StringArray 就只包含 string 类型了。

条件类型还支持嵌套使用。例如，我们想要创建一个类型 IfStringAppendHello，如果传入的类型是 string，就在字符串后面追加 Hello，否则返回原类型：

type IfStringAppendHello<T> = T extends string? `${T}Hello` : T;
type Result1 = IfStringAppendHello<string>; // "stringHello"
type Result2 = IfStringAppendHello<number>; // number

通过合理运用条件类型，我们能够在编译阶段根据不同的类型条件进行类型推导和转换，让代码的类型更加精确和健壮。无论是处理复杂的业务逻辑还是优化代码结构，条件类型都能发挥重要作用，帮助开发者编写出更具可读性和可维护性的 TypeScript 代码。