TypeScript 提供了一些实用类型来简化常见的类型转换。这些实用类型在全局范围内可用。
Awaited<Type>
发布: 4.5
此类型旨在模拟 async
函数中的 await
或 Promise
上的 .then()
方法的操作 - 特别是它们递归解开 Promise
的方式。
示例
tsTry
typeA =Awaited <Promise <string>>;typeB =Awaited <Promise <Promise <number>>>;typeC =Awaited <boolean |Promise <number>>;
Partial<Type>
已发布
2.1
构造一个类型,其中 Type
的所有属性都设置为可选。此实用程序将返回一个表示给定类型所有子集的类型。
示例
tsTry
interfaceTodo {title : string;description : string;}functionupdateTodo (todo :Todo ,fieldsToUpdate :Partial <Todo >) {return { ...todo , ...fieldsToUpdate };}consttodo1 = {title : "organize desk",description : "clear clutter",};consttodo2 =updateTodo (todo1 , {description : "throw out trash",});
Required<Type>
已发布
2.8
构造一个类型,其中 Type
的所有属性都设置为必需。与 Partial
相反。
示例
tsTry
interfaceProps {a ?: number;b ?: string;}constobj :Props = {a : 5 };constProperty 'b' is missing in type '{ a: number; }' but required in type 'Required<Props>'.2741Property 'b' is missing in type '{ a: number; }' but required in type 'Required<Props>'.: obj2 Required <Props > = {a : 5 };
Readonly<Type>
已发布
2.1
构造一个类型,其中 Type
的所有属性都设置为 readonly
,这意味着构造类型的属性不能重新赋值。
示例
tsTry
interfaceTodo {title : string;}consttodo :Readonly <Todo > = {title : "Delete inactive users",};Cannot assign to 'title' because it is a read-only property.2540Cannot assign to 'title' because it is a read-only property.todo .= "Hello"; title
此实用程序对于表示在运行时将失败的赋值表达式很有用(即当尝试重新分配 冻结对象 的属性时)。
Object.freeze
ts
function freeze<Type>(obj: Type): Readonly<Type>;
Record<Keys, Type>
已发布
2.1
构建一个对象类型,其属性键为 Keys
,属性值为 Type
。此实用程序可用于将类型的属性映射到另一个类型。
示例
tsTry
interfaceCatInfo {age : number;breed : string;}typeCatName = "miffy" | "boris" | "mordred";constcats :Record <CatName ,CatInfo > = {miffy : {age : 10,breed : "Persian" },boris : {age : 5,breed : "Maine Coon" },mordred : {age : 16,breed : "British Shorthair" },};cats .boris ;
Pick<Type, Keys>
已发布
2.1
通过从 Type
中选取属性集 Keys
(字符串字面量或字符串字面量的联合)来构建类型。
示例
tsTry
interfaceTodo {title : string;description : string;completed : boolean;}typeTodoPreview =Pick <Todo , "title" | "completed">;consttodo :TodoPreview = {title : "Clean room",completed : false,};todo ;
Omit<Type, Keys>
已发布
3.5
通过从Type
中选取所有属性,然后移除Keys
(字符串字面量或字符串字面量联合)来构建一个类型。与Pick
相反。
示例
tsTry
interfaceTodo {title : string;description : string;completed : boolean;createdAt : number;}typeTodoPreview =Omit <Todo , "description">;consttodo :TodoPreview = {title : "Clean room",completed : false,createdAt : 1615544252770,};todo ;typeTodoInfo =Omit <Todo , "completed" | "createdAt">;consttodoInfo :TodoInfo = {title : "Pick up kids",description : "Kindergarten closes at 5pm",};todoInfo ;
Exclude<UnionType, ExcludedMembers>
已发布
2.8
通过从UnionType
中排除所有可分配给ExcludedMembers
的联合成员来构建一个类型。
示例
tsTry
typeT0 =Exclude <"a" | "b" | "c", "a">;typeT1 =Exclude <"a" | "b" | "c", "a" | "b">;typeT2 =Exclude <string | number | (() => void),Function >;typeShape =| {kind : "circle";radius : number }| {kind : "square";x : number }| {kind : "triangle";x : number;y : number };typeT3 =Exclude <Shape , {kind : "circle" }>
Extract<Type, Union>
已发布
2.8
通过从Type
中提取所有可分配给Union
的联合成员来构建一个类型。
示例
tsTry
typeT0 =Extract <"a" | "b" | "c", "a" | "f">;typeT1 =Extract <string | number | (() => void),Function >;typeShape =| {kind : "circle";radius : number }| {kind : "square";x : number }| {kind : "triangle";x : number;y : number };typeT2 =Extract <Shape , {kind : "circle" }>
NonNullable<Type>
已发布
2.8
从 Type
中排除 null
和 undefined
,构造一个类型。
示例
tsTry
typeT0 =NonNullable <string | number | undefined>;typeT1 =NonNullable <string[] | null | undefined>;
Parameters<Type>
已发布
3.1
从函数类型 Type
的参数中使用的类型构造一个元组类型。
对于重载函数,这将是最后一个签名的参数;请参阅 条件类型中的推断。
示例
tsTry
declare functionf1 (arg : {a : number;b : string }): void;typeT0 =Parameters <() => string>;typeT1 =Parameters <(s : string) => void>;typeT2 =Parameters <<T >(arg :T ) =>T >;typeT3 =Parameters <typeoff1 >;typeT4 =Parameters <any>;typeT5 =Parameters <never>;typeType 'string' does not satisfy the constraint '(...args: any) => any'.2344Type 'string' does not satisfy the constraint '(...args: any) => any'.T6 =Parameters <string >;typeType 'Function' does not satisfy the constraint '(...args: any) => any'. Type 'Function' provides no match for the signature '(...args: any): any'.2344Type 'Function' does not satisfy the constraint '(...args: any) => any'. Type 'Function' provides no match for the signature '(...args: any): any'.T7 =Parameters <>; Function
ConstructorParameters<Type>
已发布
3.1
从构造函数类型中类型的类型构造一个元组或数组类型。它生成一个包含所有参数类型的元组类型(如果 Type
不是函数,则为 never
类型)。
示例
tsTry
typeT0 =ConstructorParameters <ErrorConstructor >;typeT1 =ConstructorParameters <FunctionConstructor >;typeT2 =ConstructorParameters <RegExpConstructor >;classC {constructor(a : number,b : string) {}}typeT3 =ConstructorParameters <typeofC >;typeT4 =ConstructorParameters <any>;typeType 'Function' does not satisfy the constraint 'abstract new (...args: any) => any'. Type 'Function' provides no match for the signature 'new (...args: any): any'.2344Type 'Function' does not satisfy the constraint 'abstract new (...args: any) => any'. Type 'Function' provides no match for the signature 'new (...args: any): any'.T5 =ConstructorParameters <>; Function
ReturnType<Type>
已发布
2.8
构造一个由函数 Type
的返回类型组成的类型。
对于重载函数,这将是最后一个签名的返回类型;请参阅 条件类型中的推断。
示例
tsTry
declare functionf1 (): {a : number;b : string };typeT0 =ReturnType <() => string>;typeT1 =ReturnType <(s : string) => void>;typeT2 =ReturnType <<T >() =>T >;typeT3 =ReturnType <<T extendsU ,U extends number[]>() =>T >;typeT4 =ReturnType <typeoff1 >;typeT5 =ReturnType <any>;typeT6 =ReturnType <never>;typeType 'string' does not satisfy the constraint '(...args: any) => any'.2344Type 'string' does not satisfy the constraint '(...args: any) => any'.T7 =ReturnType <string >;typeType 'Function' does not satisfy the constraint '(...args: any) => any'. Type 'Function' provides no match for the signature '(...args: any): any'.2344Type 'Function' does not satisfy the constraint '(...args: any) => any'. Type 'Function' provides no match for the signature '(...args: any): any'.T8 =ReturnType <>; Function
InstanceType<Type>
已发布
2.8
构造一个由 Type
中的构造函数的实例类型组成的类型。
示例
tsTry
classC {x = 0;y = 0;}typeT0 =InstanceType <typeofC >;typeT1 =InstanceType <any>;typeT2 =InstanceType <never>;typeType 'string' does not satisfy the constraint 'abstract new (...args: any) => any'.2344Type 'string' does not satisfy the constraint 'abstract new (...args: any) => any'.T3 =InstanceType <string >;typeType 'Function' does not satisfy the constraint 'abstract new (...args: any) => any'. Type 'Function' provides no match for the signature 'new (...args: any): any'.2344Type 'Function' does not satisfy the constraint 'abstract new (...args: any) => any'. Type 'Function' provides no match for the signature 'new (...args: any): any'.T4 =InstanceType <>; Function
ThisParameterType<Type>
已发布
3.3
提取函数类型中 this 参数的类型,如果函数类型没有 this
参数,则为 unknown。
示例
tsTry
functiontoHex (this :Number ) {return this.toString (16);}functionnumberToString (n :ThisParameterType <typeoftoHex >) {returntoHex .apply (n );}
OmitThisParameter<Type>
已发布
3.3
从 Type
中移除 this
参数。如果 Type
没有显式声明 this
参数,则结果就是 Type
本身。否则,将从 Type
创建一个没有 this
参数的新函数类型。泛型会被擦除,只有最后一个重载签名会被传播到新的函数类型中。
示例
tsTry
functiontoHex (this :Number ) {return this.toString (16);}constfiveToHex :OmitThisParameter <typeoftoHex > =toHex .bind (5);console .log (fiveToHex ());
ThisType<Type>
已发布
2.3
此实用程序不会返回转换后的类型。相反,它充当上下文 this
类型的标记。请注意,必须启用 noImplicitThis
标志才能使用此实用程序。
示例
tsTry
typeObjectDescriptor <D ,M > = {data ?:D ;methods ?:M &ThisType <D &M >; // Type of 'this' in methods is D & M};functionmakeObject <D ,M >(desc :ObjectDescriptor <D ,M >):D &M {letdata : object =desc .data || {};letmethods : object =desc .methods || {};return { ...data , ...methods } asD &M ;}letobj =makeObject ({data : {x : 0,y : 0 },methods : {moveBy (dx : number,dy : number) {this.x +=dx ; // Strongly typed thisthis.y +=dy ; // Strongly typed this},},});obj .x = 10;obj .y = 20;obj .moveBy (5, 5);
在上面的示例中,makeObject
参数中的 methods
对象具有包含 ThisType<D & M>
的上下文类型,因此 methods
对象中方法内的 this 的类型为 { x: number, y: number } & { moveBy(dx: number, dy: number): void }
。请注意,methods
属性的类型同时是推断目标和方法中 this
类型的来源。
ThisType<T>
标记接口只是一个在 lib.d.ts
中声明的空接口。除了在对象字面量的上下文类型中被识别之外,该接口的行为与任何空接口一样。
内在字符串操作类型
Uppercase<StringType>
Lowercase<StringType>
Capitalize<StringType>
Uncapitalize<StringType>
为了帮助处理模板字符串字面量周围的字符串操作,TypeScript 包含了一组类型,这些类型可以在类型系统中用于字符串操作。您可以在 模板字面量类型 文档中找到它们。