(创作不易，感谢有你，你的支持，就是我前行的最大动力，如果看完对你有帮助，请留下您的足迹）

目录

索引签名类型

映射类型

索引查询（访问）类型

基本使用

同时查询多个索引的类型

TypeScript 类型声明文件

概述

TS 的两种文件类型

类型声明文件的使用说明

使用已有的类型声明文件

内置类型声明文件

第三方库的类型声明文件

创建自己的类型声明文件

项目内共享类型

为已有 JS 文件提供类型声明。

索引签名类型

绝大多数情况下，我们都可以在使用对象前就确定对象的结构，并为对象添加准确的类型。 使用场景： 当无法确定对象中有哪些属性 （或者说对象中可以出现任意多个属性），此时， 就用到索引签名类型了 。 解释： 1. 使用 [key: string] 来约束该接口中允许出现的属性名称。表示只要是 string 类型的属性名称，都可以出现在对象中。 2. 这样，对象 obj 中就可以出现任意多个属性（比如，a、b 等）。 3. key 只是一个占位符，可以换成任意合法的变量名称。 4. 隐藏的前置知识：JS 中对象（{}）的键是 string 类型的。

在 JS 中数组是一类特殊的对象，特殊在 数组的键（索引）是数值类型 。 并且，数组也可以出现任意多个元素。所以，在数组对应的泛型接口中，也用到了索引签名类型 解释： 1. MyArray 接口模拟原生的数组接口，并使用 [n: number] 来作为索引签名类型。 2. 该索引签名类型表示：只要是 number 类型的键（索引）都可以出现在数组中，或者说数组中可以有任意多个元素。 3. 同时也符合数组索引是 number 类型这一前提。

映射类型

映射类型 ： 基于旧类型创建新类型（对象类型） ，减少重复、提升开发效率。 比如，类型 PropKeys 有 x/y/z，另一个类型 Type1 中也有 x/y/z，并且 Type1 中 x/y/z 的类型相同： 这样书写没错，但 x/y/z 重复书写了两次。像这种情况，就可以使用映射类型来进行简化。 解释： 1. 映射类型是基于索引签名类型的，所以，该语法类似于索引签名类型，也使用了 [] 。 2. Key in PropKeys 表示 Key 可以是 PropKeys 联合类型中的任意一个，类似于 forin(let k in obj)。 3. 使用映射类型创建的新对象类型 Type2 和类型 Type1 结构完全相同。 4. 注意： 映射类型只能在类型别名中使用 ， 不能在接口中使用

映射类型除了根据联合类型创建新类型外，还可以根据对象类型来创建：

解释： 1. 首先，先执行 keyof Props 获取到对象类型 Props 中所有键的联合类型即，’a’ | ‘b’ | ‘c’。 2. 然后， Key in … 就表示 Key 可以是 Props 中所有的键名称中的任意一个。

实际上，前面讲到的 泛型工具类型 （比如，Partial）都 是基于映射类型实现的 。 比如，Partial 的实现： 解释： 1. keyof T 即 keyof Props 表示获取 Props 的所有键，也就是：’a’ | ‘b’ | ‘c’。 2. 在 [] 后面添加 ” />（问号），表示将这些属性变为可选的，以此来实现 Partial 的功能。 3. 冒号后面的 T[P] 表示获取 T 中每个键对应的类型。比如，如果是 ‘a’ 则类型是 number；如果是 ‘b’ 则类型是 string。 4. 最终，新类型 PartialProps 和旧类型 Props 结构完全相同，只是让所有类型都变为可选了

索引查询（访问）类型

基本使用

刚刚用到的 T[P] 语法，在 TS 中叫做 索引查询（访问）类型 。 作用： 用来查询属性的类型 。 解释：Props[‘a’] 表示查询类型 Props 中属性 ‘a’ 对应的类型 number。所以，TypeA 的类型为 number。 注意：[] 中的属性必须存在于被查询类型中，否则就会报错。

同时查询多个索引的类型

索引查询类型的其他使用方式：同时查询多个索引的类型

解释：使用字符串字面量的联合类型，获取属性 a 和 b 对应的类型，结果为： string | number。 解释：使用 keyof 操作符获取 Props 中所有键对应的类型，结果为： string | number | boolean。

TypeScript 类型声明文件

概述

今天几乎所有的 JavaScript 应用都会引入许多第三方库来完成任务需求。 这些第三方库不管是否是用 TS 编写的，最终都要编译成 JS 代码，才能发布给开发者使用。 我们知道是 TS 提供了类型，才有了代码提示和类型保护等机制。 但在项目开发中使用第三方库时，你会发现它们几乎都有相应的 TS 类型，这些类型是怎么来的呢？ 类型声明文件 类型声明文件 ： 用来为已存在的 JS 库提供类型信息 。 这样在 TS 项目中使用这些库时，就像用 TS 一样，都会有代码提示、类型保护等机制了。 1. TS 的两种文件类型 2. 类型声明文件的使用说明

TS 的两种文件类型

TS 中有两种文件类型：1 .ts 文件 2 .d.ts 文件 。 .ts 文件： 1. 既包含类型信息又可执行代码 。 2. 可以被编译为 .js 文件，然后，执行代码。 3. 用途：编写程序代码的地方。 .d.ts 文件： 1. 只包含类型信息 的类型声明文件。 2. 不会生成 .js 文件 ，仅用于 提供类型信息 。 3. 用途：为 JS 提供类型信息 总结：.ts 是 implementation（代码实现文件）；.d.ts 是 declaration（类型声明文件）。 如果要为 JS 库提供类型信息，要使用 .d.ts 文件。

类型声明文件的使用说明

在使用 TS 开发项目时， 类型声明文件的使用 包括以下两种方式： 1. 使用已有的类型声明文件 2. 创建自己的类型声明文件 学习顺序： 先会用 （别人的） 再会写 （自己的）

使用已有的类型声明文件

内置类型声明文件

内置类型声明文件： TS 为 JS 运行时可用的所有标准化内置 API 都提供了声明文件 。 比如，在使用数组时，数组所有方法都会有相应的代码提示以及类型信息： 实际上这都是 TS 提供的内置类型声明文件。 可以通过 Ctrl + 鼠标左键（Mac：option + 鼠标左键）来查看内置类型声明文件内容。 比如，查看 forEach 方法的类型声明，在 VSCode 中会自动跳转到 lib.es5.d.ts 类型声明文件中。 当然，像 window、document 等 BOM、DOM API 也都有相应的类型声明（lib.dom.d.ts）。

第三方库的类型声明文件

第三方库的类型声明文件 ：目前，几乎所有常用的第三方库都有相应的类型声明文件。 第三方库的类型声明文件有两种存在形式：1 库自带类型声明文件 2 由 DefinitelyTyped 提供 。 1. 库自带类型声明文件：比如，axios。 解释：这种情况下，正常导入该库， TS 就会自动加载库自己的类型声明文件 ，以提供该库的类型声明。

2. 由 DefinitelyTyped 提供 。 DefinitelyTyped 是一个 github 仓库， 用来提供高质量 TypeScript 类型声明 。 可以通过 npm/yarn 来下载该仓库提供的 TS 类型声明包，这些包的名称格式为： @types/* 。 比如，@types/react、@types/lodash 等。 说明：在实际项目开发时，如果你使用的第三方库没有自带的声明文件，VSCode 会给出明确的提示。 解释：当安装 @types/* 类型声明包后，TS 也会自动加载该类声明包，以提供该库的类型声明。 补充：TS 官方文档提供了一个页面，可以来查询 @types/* 库。

创建自己的类型声明文件

项目内共享类型

1. 项目内共享类型：如果 多个 .ts 文件 中都用到同一个类型，此时可以创建 .d.ts 文件提供该类型， 实现类型共享 。 操作步骤： 1. 创建 index .d.ts 类型声明文件。 2. 创建需要共享的类型，并 使用 export 导出 （TS 中的类型也可以使用 import/export 实现模块化功能）。 3. 在需要使用共享类型的 .ts 文件中，通过 import 导入即可（.d.ts 后缀导入时，直接省略）。

为已有 JS 文件提供类型声明。

2. 为已有 JS 文件提供类型声明 ： 1. 在 将 JS 项目 迁移 到 TS 项目 时，为了让已有的 .js 文件有类型声明。 2. 成为库作者，创建库给其他人使用。 注意： 类型声明文件的编写与模块化方式相关 ，不同的模块化方式有不同的写法。但由于历史原因，JS 模块化的发展经历过多种变化（AMD、CommonJS、UMD、ESModule 等），而 TS 支持各种模块化形式的类型声明。这就导致类型声明文件 相关内容 又多又杂。 演示：基于 最新的 ESModule （import/export）来为已有 .js 文件，创建类型声明文件。 开发环境准备：使用 webpack 搭建，通过 ts-loader 处理 .ts 文件。

说明：TS 项目中也可以使用 .js 文件。 说明：在导入 .js 文件时， TS 会自动加载与 .js 同名的 .d.ts 文件 ，以提供类型声明。 declare 关键字： 用于类型声明，为其他地方 （比如， .js 文件） 已存在的变量声明类型，而不是创建一个新的变量 。 1. 对于 type、interface 等这些明确就是 TS 类型的（只能在 TS 中使用的），可以省略 declare 关键字。 2. 对于 let、function 等具有双重含义（在 JS、TS 中都能用），应该使用 declare 关键字，明确指定此处用于类型声明。