【TypeScript】条件类型

条件类型（Conditional Types）是TypeScript中一种强大的类型系统特性，它允许我们根据类型关系来推断和选择类型。条件类型通常与泛型一起使用，使我们可以在类型级别上编写更加灵活和复杂的代码。以下是对条件类型的详细描述：

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

typescript
Copy code
T extends U ? X : Y
这表示如果类型T可以赋值给类型U，则条件类型为X，否则为Y。

示例
让我们通过一些示例来理解条件类型的用法：

1. 简单条件类型
   typescript
   Copy code
   type CheckNumber = T extends number ? “Number” : “Not a Number”;

type Result1 = CheckNumber; // “Number”
type Result2 = CheckNumber; // “Not a Number”
在上面的例子中，CheckNumber是一个条件类型，它检查类型T是否为number类型。根据条件的结果，返回不同的字符串类型。

2. 分布式条件类型
   条件类型还可以在联合类型上使用，这称为分布式条件类型。当我们传入一个联合类型的参数时，条件类型会遍历每个成员，并根据条件进行推断。

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

type Numbers = Filter<number | string | boolean, number>; // number
在这个例子中，Filter<T, U>接受一个类型T和一个类型U。如果T可以赋值给U，则返回T；否则返回never类型。

3. 条件类型嵌套
   条件类型还可以相互嵌套，以构建更复杂的类型逻辑。

typescript
Copy code
type MyType = T extends string ? { str: T } : T extends number ? { num: T } : { other: T };

type TypeA = MyType; // { str: string }
type TypeB = MyType; // { num: number }
type TypeC = MyType; // { other: boolean }
type TypeD = MyType; // { other: Date }
在这个例子中，MyType嵌套了两个条件类型，根据输入类型T的不同，返回不同的类型。

类型推断与条件类型
条件类型的最大特点是，它在类型推断时能够根据条件进行智能推断。

typescript
Copy code
type MyType = T extends Array ? U : T;

type Element = MyType<number[]>; // number
在上面的例子中，当我们传入一个泛型类型number[]给MyType时，条件类型会智能地推断出数组元素类型为number。

条件类型是TypeScript类型系统的一个重要部分，它允许我们在类型级别上进行条件分支和类型选择。通过巧妙地组合泛型、联合类型和条件类型，我们可以定义出非常复杂且强大的类型。在实际应用中，条件类型通常与内置的预定义条件类型（如Exclude、Extract、NonNullable等）结合使用，以实现更加复杂和有用的类型转换和操作。