TypeScript 是一种强类型编程语言,它在JavaScript的基础上增加了静态类型系统,使得开发者在开发阶段就能捕捉到更多潜在的错误。映射类型和条件类型是TypeScript中两种高级类型,它们提供了强大的抽象和类型推断能力,使你能够创建更复杂和灵活的类型定义。
映射类型
映射类型允许你基于现有类型创建新的类型,通过对类型属性进行转换或添加/删除属性来实现。映射类型的基本语法如下:
type MappedType<T> = {
[P in keyof T]: // 转换规则
};
在这个模板中,MappedType
是一个新的类型,它基于类型T的所有键keyof T
进行映射。P in keyof T
是一个索引类型,它遍历T的所有属性键。然后,你可以根据需要对每个属性键P应用转换规则。
示例:只读映射类型
假设我们有一个对象类型Person,我们想要创建一个新的类型ReadOnlyPerson
,其中所有属性都是只读的:
type Person = {
name: string;
age: number;
};
type ReadOnly<T> = {
readonly [P in keyof T]: T[P];
};
type ReadOnlyPerson = ReadOnly<Person>;
在这个例子中,ReadOnly<T>
类型定义了一个新的类型,其中T
的所有属性都变成了只读属性。
示例:条件映射类型
映射类型也可以与条件类型一起使用,以根据条件应用不同的转换规则:
type Nullable<T> = {
[P in keyof T]?: T[P];
};
type RequiredNullable<T> = T extends object ? Nullable<T> : never;
在这个例子中,RequiredNullable
类型只有在T是对象时才会将T的所有属性变为可选的;否则,它将返回never类型。
条件类型
条件类型允许你根据类型条件来选择不同的类型。条件类型的语法如下:
type ConditionalType<T, U> = T extends U ? X : Y;
这里,T extends U
是一个条件表达式,如果T可以赋值给U,则条件为真,类型X将被选择;否则,类型Y将被选择。
示例:Pick类型
Pick
类型是从一个类型中挑选出特定的属性:
type Pick<T, K extends keyof T> = {
[P in K]: T[P];
};
type Person = {
name: string;
age: number;
gender: string;
};
type NameAndAge = Pick<Person, "name" | "age">;
在这个例子中,NameAndAge
类型只包含Person
类型中的name
和age
属性。
示例:Extract类型
Extract
类型用于从联合类型中提取符合特定条件的类型成员:
type Extract<T, U> = T extends U ? T : never;
type All = string | number | boolean;
type StringOrNumber = Extract<All, string | number>;
在这里,StringOrNumber
类型将从All联合类型中提取出string
和number
类型。
综合应用
映射类型和条件类型可以结合使用,以创建更复杂的类型变换。例如,创建一个类型,该类型将对象中的所有属性变为可选,但保留特定属性为必需:
type MakeOptionalExcept<T, K extends keyof T> = {
[P in keyof T]?: P extends K ? T[P] : undefined;
};
type Person = {
name: string;
age: number;
gender: string;
};
type OptionalGenderPerson = MakeOptionalExcept<Person, "name" | "age">;
在这个例子中,OptionalGenderPerson
类型将gender
属性变为可选,但name
和age
属性仍然是必需的。