条件类型（Conditional Types）是TypeScript中一种强大的类型系统特性，它允许我们根据类型关系来推断和选择类型。条件类型通常与泛型一起使用，使我们可以在类型级别上编写更加灵活和复杂的代码。讲解基础用法
基本语法
条件类型的基本语法如下：
代码语言：txt复制T extends U ? X : Y这表示如果类型T可以赋值给类型U，则条件类型为X，否则为Y。
示例
让我们通过一些示例来理解条件类型的用法：
- 简单条件类型
type CheckNumber<T> = T extends number ? "Number" : "Not a Number";
type Result1 = CheckNumber<number>; // "Number"
type Result2 = CheckNumber<string>; // "Not a Number"在上面的例子中，CheckNumber<T>是一个条件类型，它检查类型T是否为number类型。根据条件的结果，返回不同的字符串类型。
- 分布式条件类型 条件类型还可以在联合类型上使用，这称为分布式条件类型。当我们传入一个联合类型的参数时，条件类型会遍历每个成员，并根据条件进行推断。
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类型。
- 条件类型嵌套 条件类型还可以相互嵌套，以构建更复杂的类型逻辑。
type MyType<T> = T extends string ? { str: T } : T extends number ? { num: T } : { other: T };
type TypeA = MyType<string>; // { str: string }
type TypeB = MyType<number>; // { num: number }
type TypeC = MyType<boolean>; // { other: boolean }
type TypeD = MyType<Date>; // { other: Date }在这个例子中，MyType<T>嵌套了两个条件类型，根据输入类型T的不同，返回不同的类型。
类型推断与条件类型
条件类型的最大特点是，它在类型推断时能够根据条件进行智能推断。
代码语言：txt复制type MyType<T> = T extends Array<infer U> ? U : T;
type Element = MyType<number[]>; // number在上面的例子中，当我们传入一个泛型类型number[]给MyType<T>时，条件类型会智能地推断出数组元素类型为number。
条件类型是TypeScript类型系统的一个重要部分，它允许我们在类型级别上进行条件分支和类型选择。通过巧妙地组合泛型、联合类型和条件类型，我们可以定义出非常复杂且强大的类型。在实际应用中，条件类型通常与内置的预定义条件类型（如Exclude、Extract、NonNullable等）结合使用，以实现更加复杂和有用的类型转换和操作。
我正在参与2023腾讯技术创作特训营第三期有奖征文，组队打卡瓜分大奖！
邀请人：“coldPlayer”
