在 TypeScript 中，条件类型（Conditional Types）是一种特殊的类型，可以根据某个类型是否满足特定条件来确定最终的类型。条件类型可以用于定义一些高级的类型操作，例如类型过滤、类型映射等。本文将详细介绍 TypeScript 中如何使用条件类型，并提供一些示例代码来帮助大家更好地理解。
基本语法
条件类型的基本语法如下：
type TypeName<T> = T extends string ? "string" : T extends number ? "number" : T extends boolean ? "boolean" : "object";
其中 T 是一个泛型参数，TypeName<T> 是一个返回类型。条件类型的主体部分包含若干个 extends 条件子句，每个条件子句都是一个表达式，用来判断泛型参数 T 是否满足某个条件。如果 T 满足某个条件，则返回相应的类型；否则返回默认类型。
在上面的例子中，我们定义了一个条件类型 TypeName<T>，它根据泛型参数 T 的类型来确定最终的类型。如果 T 是字符串，则返回字符串类型 "string"；如果 T 是数字，则返回数字类型 "number"；如果 T 是布尔值，则返回布尔类型 "boolean"；否则返回默认类型 "object"。
类型过滤
条件类型可以用于类型过滤，即根据某个类型是否满足特定条件来过滤出符合条件的类型。例如，我们可以定义一个类型过滤器 Filter<T, U>，它可以将类型 T 中符合条件 U 的属性过滤出来。
type Filter<T, U> = {
[K in keyof T]: T[K] extends U ? K : never;
}[keyof T];在上面的例子中，我们定义了一个类型过滤器 Filter<T, U>，它的主体部分使用了映射类型和索引访问类型。具体来说，我们首先使用映射类型将类型 T 中的每个属性转换为一个新的属性，新属性的类型为 never 或属性名 K，取决于原属性的类型是否满足条件 U。然后使用索引访问类型将新属性的类型合并为一个联合类型，即为我们想要的过滤结果。
例如，我们可以使用类型过滤器 Filter<T, string> 来过滤出类型 T 中所有值为字符串的属性：
type Person = {
name: string;
age: number;
gender: string;
};
type StringKeys = Filter<Person, string>; // "name" | "gender"类型映射
条件类型还可以用于类型映射，即根据某个类型是否满足特定条件来映射出新的类型。例如，我们可以定义一个类型映射器 Map<T, U>，它可以将类型 T 中的每个属性映射为类型 U。
type Map<T, U> = {
[K in keyof T]: T[K] extends U ? U : never;
};在上面的例子中，我们定义了一个类型映射器 Map<T, U>，它的主体部分使用了映射类型和条件类型。具体来说，我们首先使用映射类型将类型 T 中的每个属性转换为一个新的属性，新属性的类型为属性值 T[K] 是否满足条件 U，满足则为类型 U，否则为类型 never。然后我们就得到了一个新的类型，它的每个属性的类型都是 U 或 never，取决于原属性的类型是否满足条件 U。
例如，我们可以使用类型映射器 Map<Person, number> 将类型 Person 中的每个属性都映射为数字类型：
type Person = {
name: string;
age: number;
gender: string;
};
type NumberPerson = Map<Person, number>; // { name: never, age: number, gender: never }总结
本文介绍了 TypeScript 中如何使用条件类型，包括基本语法、类型过滤和类型映射。条件类型是 TypeScript 中非常有用的一种类型，可以帮助我们定义一些高级的类型操作，提高代码的可读性和可维护性。希望本文对大家学习 TypeScript 有所帮助。
来源：JavaScript中文网 ，转载请注明来源 https://www.javascriptcn.com/post/66384a15d3423812e464b3c7