TypeScripe笔记：类型工具总结-创新互联

TypeScripe 笔记：类型工具总结

jcLee95 的博客本文地址：https://blog.csdn.net/qq_28550263/article/details/128169632

1. 类型构造工具

创新互联公司服务项目包括钢城网站建设、钢城网站制作、钢城网页制作以及钢城网络营销策划等。多年来，我们专注于互联网行业，利用自身积累的技术优势、行业经验、深度合作伙伴关系等，向广大中小型企业、政府机构等提供互联网行业的解决方案，钢城网站推广取得了明显的社会效益与经济效益。目前，我们服务的客户以成都为中心已经辐射到钢城省份的部分城市，未来相信会继续扩大服务区域并继续获得客户的支持与信任！

Awaited
Partial
Required
Readonly
Record
Pick
Omit
Exclude
Extract
NonNullable
Parameters
ConstructorParameters
ReturnType
InstanceType
ThisParameterType
OmitThisParameter
ThisType

2. 字符串操作类型工具

2.1 Uppercase
2.2 Lowercase
2.3 Capitalize
2.4 Uncapitalize

1. 类型构造工具

类型工具	描述
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`标志。

1.1Awaited

这种类型旨在对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

1.2Partial

构造一个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",
});

1.3Required

构造由设置为required的所有类型属性组成的类型。Partial的逆操作。

interface Props {a?: number;
  b?: string;
}
const obj: Props = {a: 5 };

// 错误：类型 `{ a: number; }` 中缺少属性 `b`，但在类型 `Required` 中是必需的。
const obj2: Required= {a: 5 };

1.4Readonly

构造一个所有类型属性都设置为 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;

1.6Pick

通过从类型中选取一组属性Keys(字符串或字符串的联合)来构造类型。

interface Todo {title: string;
  description: string;
  completed: boolean;
}
 
type TodoPreview = Pick;
 
const todo: TodoPreview = {title: "Clean room",
  completed: false,
};

// const todo: TodoPreview
todo;

1.7Omit

通过从类型中选取所有属性，然后移除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;

1.8Exclude

通过从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

1.9Extract

通过从Type中提取可分配给Union的所有联合成员来构造类型。

type T0 = Extract<"a" | "b" | "c", "a" | "f">;                // type T0 = "a"
type T1 = Extractvoid), Function>;  // type T1 = () =>void

1.10NonNullable

通过从Type中排除null和undefined来构造类型。

type T0 = NonNullable;  // type T0 = string | number
type T1 = NonNullable;  // type T1 = string[]

1.11Parameters

从函数类型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

1.12ConstructorParameters

从构造函数类型的类型构造元组或数组类型。它产生一个包含所有参数类型的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

1.13ReturnType

构造由函数类型的返回类型组成的类型。

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

1.14InstanceType

构造由类型中构造函数的实例类型组成的类型。

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

1.15ThisParameterType

提取函数类型的this参数的类型，如果函数类型没有this参数，则为unknown。

function toHex(this: Number) {return this.toString(16);
}
 
function numberToString(n: ThisParameterType) {return toHex.apply(n);
}

1.16OmitThisParameter

从 Type 中移除此参数。如果Type没有显式声明此参数，则结果只是Type。否则，将从Type创建一个不带此参数的新函数类型。泛型被删除，只有最后一个重载签名被传播到新的函数类型中。

function toHex(this: Number) {return this.toString(16);
}
 
const fiveToHex: OmitThisParameter= toHex.bind(5);
 
console.log(fiveToHex());

1.17ThisType

该实用工具不返回转换后的类型。相反，它充当上下文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);

2. 字符串操作类型工具

为了有助于字符串操作，TypeScript包含了一组可用于字符串操作的类型。这些类型内置于编译器中以提高性能，在TypeScript 附带的. d.ts文件中找不到。

类型工具	描述
Uppercase	将字符串中的每个字符转换为大写形式。
Lowercase	将字符串中的每个字符转换为小写形式。
Capitalize	将字符串中的第一个字符转换为等效的大写字符。
Uncapitalize	将字符串中的第一个字符转换为小写的等效字符。

2.1 Uppercase

将字符串中的每个字符转换为大写形式。

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"

2.2 Lowercase

将字符串中的每个字符转换为小写形式。

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"

2.3 Capitalize

将字符串中的第一个字符转换为等效的大写字符。

type LowercaseGreeting = "hello, world";
type Greeting = Capitalize;  // type Greeting = "Hello, world"

2.4 Uncapitalize

将字符串中的第一个字符转换为小写的等效字符。

type UppercaseGreeting = "HELLO WORLD";
type UncomfortableGreeting = Uncapitalize; // type UncomfortableGreeting = "hELLO WORLD"

你是否还在寻找稳定的海外服务器提供商？创新互联www.cdcxhl.cn海外机房具备T级流量清洗系统配攻击溯源，准确流量调度确保服务器高可用性，企业级服务器适合批量采购，新人活动首月15元起，快前往官网查看详情吧

网站栏目：TypeScripe笔记：类型工具总结-创新互联
网址分享：http://dzwzjz.com/article/ceiooc.html

大橙子网站建设，新征程启航

TypeScripe笔记：类型工具总结-创新互联

其他资讯