1. 类型构造工具
2. 字符串操作类型工具
| 类型工具 | 描述 |
|---|---|
| Awaited | 这种类型旨在对async函数中的await或Promises-specific上的.then()方法等操作进行建模，特别是——它们以递归方式展开promises。 |
| Partial | 构造一个type的所有属性都设置为可选的类型。该实用程序将返回一个表示给定类型的所有子集的类型。 |
| Required | 构造由设置为required的所有类型属性组成的类型。Partial |
| Readonly | 构造一个所有类型属性都设置为 readonly 的类型，这意味着不能重新分配构造类型的属性。 |
| Record | 构造一个对象类型，其属性键是Keys，属性值是Type。该实用工具可用于将一种类型的属性映射到另一种类型。 |
| Pick | 通过从类型中选取一组属性Keys(字符串或字符串的联合)来构造类型。 |
| Omit | 通过从类型中选取所有属性，然后移除Keys(字符串文字或字符串文字的联合)来构造类型。 |
| Exclude | 通过从UnionType中排除所有可分配给ExcludedMembers的联合成员来构造类型。 |
| Extract | 通过从Type中提取可分配给Union的所有联合成员来构造类型。 |
| NonNullable | 通过从Type中排除null和undefined来构造类型。 |
| Parameters | 从函数类型Type的参数中使用的类型构造元组类型。 |
| ConstructorParameters | 从构造函数类型的类型构造元组或数组类型。它产生一个包含所有参数类型的tuple类型(如果类型不是函数，则为never类型)。 |
| ReturnType | 构造由函数类型的返回类型组成的类型。 |
| InstanceType | 构造由类型中构造函数的实例类型组成的类型。 |
| ThisParameterType | 提取函数类型的this参数的类型，如果函数类型没有this参数，则为unknown。 |
| OmitThisParameter | 从 Type 中移除此参数。如果Type没有显式声明此参数，则结果只是Type。否则，将从Type创建一个不带此参数的新函数类型。泛型被删除，只有最后一个重载签名被传播到新的函数类型中。 |
| ThisType | 该实用工具不返回转换后的类型。相反，它充当上下文this类型的标记。请注意，要使用此实用程序，必须启用noImplicitThis标志。 |
这种类型旨在对async函数中的await或Promises-specific上的.then()方法等操作进行建模，特别是——它们以递归方式展开promises。
type A = Awaited>; // type A = string
type B = Awaited>>; // type B = number
type C = Awaited>; // type C = number | boolean 构造一个type的所有属性都设置为可选的类型。该实用程序将返回一个表示给定类型的所有子集的类型。
interface Todo {title: string;
description: string;
}
function updateTodo(todo: Todo, fieldsToUpdate: Partial) {return {...todo, ...fieldsToUpdate };
}
const todo1 = {title: "organize desk",
description: "clear clutter",
};
const todo2 = updateTodo(todo1, {description: "throw out trash",
}); 构造由设置为required的所有类型属性组成的类型。Partial
interface Props {a?: number;
b?: string;
}
const obj: Props = {a: 5 };
// 错误：类型 `{ a: number; }` 中缺少属性 `b`，但在类型 `Required` 中是必需的。
const obj2: Required= {a: 5 }; 构造一个所有类型属性都设置为 readonly 的类型，这意味着不能重新分配构造类型的属性。
interface Todo {title: string;
}
const todo: Readonly= {title: "Delete inactive users",
};
// 错误：无法分配给 `title`,因为它是只读属性。
todo.title = "Hello"; 该工具对于表示将在运行时失败的赋值表达式非常有用(例如，当尝试重新分配冻结对象的属性时)。
1.5Record构造一个对象类型，其属性键是Keys，属性值是Type。该实用工具可用于将一种类型的属性映射到另一种类型。
interface CatInfo {age: number;
breed: string;
}
type CatName = "miffy" | "boris" | "mordred";
const cats: Record= {miffy: {age: 10, breed: "Persian" },
boris: {age: 5, breed: "Maine Coon" },
mordred: {age: 16, breed: "British Shorthair" },
};
// const cats: Recordcats.boris; 通过从类型中选取一组属性Keys(字符串或字符串的联合)来构造类型。
interface Todo {title: string;
description: string;
completed: boolean;
}
type TodoPreview = Pick;
const todo: TodoPreview = {title: "Clean room",
completed: false,
};
// const todo: TodoPreview
todo; 通过从类型中选取所有属性，然后移除Keys(字符串文字或字符串文字的联合)来构造类型。
interface Todo {title: string;
description: string;
completed: boolean;
createdAt: number;
}
type TodoPreview = Omit;
const todo: TodoPreview = {title: "Clean room",
completed: false,
createdAt: 1615544252770,
};
// const todo: TodoPreview
todo; type TodoInfo = Omit;
const todoInfo: TodoInfo = {title: "Pick up kids",
description: "Kindergarten closes at 5pm",
};
// const todoInfo: TodoInfo
todoInfo; 通过从UnionType中排除所有可分配给ExcludedMembers的联合成员来构造类型。
type T0 = Exclude<"a" | "b" | "c", "a">; // type T0 = "b" | "c"
type T1 = Exclude<"a" | "b" | "c", "a" | "b">; // type T1 = "c"
type T2 = Excludevoid), Function>; // type T2 = string | number 通过从Type中提取可分配给Union的所有联合成员来构造类型。
type T0 = Extract<"a" | "b" | "c", "a" | "f">; // type T0 = "a"
type T1 = Extractvoid), Function>; // type T1 = () =>void 通过从Type中排除null和undefined来构造类型。
type T0 = NonNullable; // type T0 = string | number
type T1 = NonNullable; // type T1 = string[] 从函数类型Type的参数中使用的类型构造元组类型。
declare function f1(arg: {a: number; b: string }): void;
type T0 = Parameters<() =>string>; // type T0 = []
type T1 = Parameters<(s: string) =>void>; // type T1 = [s: string]
type T2 = Parameters<(arg: T) =>T>; // type T2 = [arg: unknown]
type T3 = Parameters; // type T3 = [arg: { a: number; b: string;}]
type T4 = Parameters; // type T4 = unknown[]
type T5 = Parameters; // type T5 = never
// 类型 `string` 不满足约束`(...args: any) =>any`。
type T6 = Parameters; // type T6 = never
// 类型 `Function` 不满足约束 `(...args: any) =>any`。
// 类型 `Function` 没有为签名 `(...args: any): any`。
type T7 = Parameters; // type T7 = never 从构造函数类型的类型构造元组或数组类型。它产生一个包含所有参数类型的tuple类型(如果类型不是函数，则为never类型)。
type T0 = ConstructorParameters; // type T0 = [message?: string]
type T1 = ConstructorParameters; // type T1 = string[]
type T2 = ConstructorParameters; // type T2 = [pattern: string | RegExp, flags?: string]
type T3 = ConstructorParameters; // type T3 = unknown[]
// 类型 'Function' 不满足约束 `abstract new (...args: any) =>any`.
// 类型 'Function' 没有为签名提供匹配项 `new (...args: any): any`.
type T4 = ConstructorParameters; // type T4 = never 构造由函数类型的返回类型组成的类型。
declare function f1(): {a: number; b: string };
type T0 = ReturnType<() =>string>; // type T0 = string
type T1 = ReturnType<(s: string) =>void>; // type T1 = void
type T2 = ReturnType<() =>T>; // type T2 = unknown
type T3 = ReturnType<() =>T>; // type T3 = number[]
type T4 = ReturnType; // type T4 = { a: number; b: string;}
type T5 = ReturnType; // type T5 = any
type T6 = ReturnType; // type T6 = never
// 类型 `string` does not satisfy the constraint '(...args: any) =>any'.
type T7 = ReturnType; // type T7 = any
// 类型 `Function` 不满足约束 `(...args: any) =>any`.
// 类型 `Function` 没有为签名提供匹配项 `(...args: any): any`.
type T8 = ReturnType; // type T8 = any 构造由类型中构造函数的实例类型组成的类型。
class C {x = 0;
y = 0;
}
type T0 = InstanceType; // type T0 = C
type T1 = InstanceType; // type T1 = any
type T2 = InstanceType; // type T2 = never
// 类型 `string` 不满足约束 `abstract new (...args: any) =>any`.
type T3 = InstanceType; // type T3 = any
// 类型 `Function` 不满足约束 `abstract new (...args: any) =>any`.
// 类型 `Function` 没有为签名提供匹配项 `new (...args: any): any`.
type T4 = InstanceType; // type T4 = any 提取函数类型的this参数的类型，如果函数类型没有this参数，则为unknown。
function toHex(this: Number) {return this.toString(16);
}
function numberToString(n: ThisParameterType) {return toHex.apply(n);
} 从 Type 中移除此参数。如果Type没有显式声明此参数，则结果只是Type。否则，将从Type创建一个不带此参数的新函数类型。泛型被删除，只有最后一个重载签名被传播到新的函数类型中。
function toHex(this: Number) {return this.toString(16);
}
const fiveToHex: OmitThisParameter= toHex.bind(5);
console.log(fiveToHex()); 该实用工具不返回转换后的类型。相反，它充当上下文this类型的标记。
注意，要使用此实用程序，必须启用
noImplicitThis标志。
type ObjectDescriptor= {data?: D;
methods?: M & ThisType; // 方法中 `this` 的类型是 D & M
};
function makeObject(desc: ObjectDescriptor): D & M {let data: object = desc.data || {};
let methods: object = desc.methods || {};
return {...data, ...methods } as D & M;
}
let obj = makeObject({data: {x: 0, y: 0 },
methods: {moveBy(dx: number, dy: number) { this.x += dx; // 强类型化 this
this.y += dy; // 强类型化 this
},
},
});
obj.x = 10;
obj.y = 20;
obj.moveBy(5, 5); 为了有助于字符串操作，TypeScript包含了一组可用于字符串操作的类型。这些类型内置于编译器中以提高性能，在TypeScript 附带的. d.ts文件中找不到。
| 类型工具 | 描述 |
|---|---|
| Uppercase | 将字符串中的每个字符转换为大写形式。 |
| Lowercase | 将字符串中的每个字符转换为小写形式。 |
| Capitalize | 将字符串中的第一个字符转换为等效的大写字符。 |
| Uncapitalize | 将字符串中的第一个字符转换为小写的等效字符。 |
将字符串中的每个字符转换为大写形式。
type Greeting = "Hello, world";
type ShoutyGreeting = Uppercase; // type ShoutyGreeting = "HELLO, WORLD"
type ASCIICacheKey= `ID-${Uppercase}`;
type MainID = ASCIICacheKey<"my_app">; // type MainID = "ID-MY_APP" 将字符串中的每个字符转换为小写形式。
type Greeting = "Hello, world";
type QuietGreeting = Lowercase; // type QuietGreeting = "hello, world"
type ASCIICacheKey= `id-${Lowercase}`;
type MainID = ASCIICacheKey<"MY_APP">; // type MainID = "id-my_app" 将字符串中的第一个字符转换为等效的大写字符。
type LowercaseGreeting = "hello, world";
type Greeting = Capitalize; // type Greeting = "Hello, world" 将字符串中的第一个字符转换为小写的等效字符。
type UppercaseGreeting = "HELLO WORLD";
type UncomfortableGreeting = Uncapitalize; // type UncomfortableGreeting = "hELLO WORLD" 你是否还在寻找稳定的海外服务器提供商？创新互联www.cdcxhl.cn海外机房具备T级流量清洗系统配攻击溯源，准确流量调度确保服务器高可用性，企业级服务器适合批量采购，新人活动首月15元起，快前往官网查看详情吧
