(创作不易，感谢有你，你的支持，就是我前行的最大动力，如果看完对你有帮助，请留下您的足迹）
目录
[TypeScript 类型声明文件](#TypeScript 类型声明文件)
[TS 的两种文件类型](#TS 的两种文件类型)
[为已有 JS 文件提供类型声明。](#为已有 JS 文件提供类型声明。)
索引签名类型
绝大多数情况下，我们都可以在使用对象前就确定对象的结构，并为对象添加准确的类型。
使用场景： 当无法确定对象中有哪些属性 （或者说对象中可以出现任意多个属性），此时， 就用到索引签名类型了 。
解释：
- 使用 [key: string] 来约束该接口中允许出现的属性名称。表示只要是 string 类型的属性名称，都可以出现在对象中。
- 这样，对象 obj 中就可以出现任意多个属性（比如，a、b 等）。
- key 只是一个占位符 ，可以换成任意合法的变量名称。
- 隐藏的前置知识： JS 中对象（{}）的键是 string 类型的 。
在 JS 中数组是一类特殊的对象，特殊在 数组的键（索引）是数值类型 。
并且，数组也可以出现任意多个元素。所以，在数组对应的泛型接口中，也用到了索引签名类型
解释：- MyArray 接口模拟原生的数组接口，并使用 [n: number] 来作为索引签名类型。
- 该索引签名类型表示：只要是 number 类型的键（索引）都可以出现在数组中，或者说数组中可以有任意多个元素。
- 同时也符合数组索引是 number 类型这一前提。
映射类型
映射类型 ： 基于旧类型创建新类型（对象类型） ，减少重复、提升开发效率。
比如，类型 PropKeys 有 x/y/z，另一个类型 Type1 中也有 x/y/z，并且 Type1 中 x/y/z 的类型相同：
这样书写没错，但 x/y/z 重复书写了两次。像这种情况，就可以使用映射类型来进行简化。
解释：
- 映射类型是基于索引签名类型的，所以，该语法类似于索引签名类型，也使用了 [] 。
- Key in PropKeys 表示 Key 可以是 PropKeys 联合类型中的任意一个，类似于 forin(let k in obj)。
- 使用映射类型创建的新对象类型 Type2 和类型 Type1 结构完全相同。
- 注意： 映射类型只能在类型别名中使用 ， 不能在接口中使用
映射类型除了根据联合类型创建新类型外，还可以根据对象类型来创建：
解释：
- 首先，先执行 keyof Props 获取到对象类型 Props 中所有键的联合类型即，'a' | 'b' | 'c'。
- 然后， Key in ... 就表示 Key 可以是 Props 中所有的键名称中的任意一个。
实际上，前面讲到的 泛型工具类型 （比如，Partial<Type>）都 是基于映射类型实现的 。
比如，Partial<Type> 的实现：
解释：- keyof T 即 keyof Props 表示获取 Props 的所有键，也就是：'a' | 'b' | 'c'。
- 在 [] 后面添加 ? （问号），表示将这些属性变为 可选 的，以此来实现 Partial 的功能。
- 冒号后面的 T[P] 表示获取 T 中每个键对应的类型 。比如，如果是 'a' 则类型是 number；如果是 'b' 则类型是 string。
- 最终，新类型 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 一样，都会有代码提示、类型保护等机制了。
- TS 的两种文件类型
- 类型声明文件的使用说明
TS 的两种文件类型
TS 中有两种文件类型：1 .ts 文件 2 .d.ts 文件 。
.ts 文件：
- 既包含类型信息又可执行代码 。
- 可以被编译为 .js 文件，然后，执行代码。
- 用途：编写程序代码的地方。
.d.ts 文件：- 只包含类型信息 的类型声明文件。
- 不会生成 .js 文件 ，仅用于 提供类型信息 。
- 用途：为 JS 提供类型信息
总结：
.ts 是 implementation（代码实现文件）；
.d.ts 是 declaration（类型声明文件） 。
如果要为 JS 库提供类型信息，要使用 .d.ts 文件。
类型声明文件的使用说明
在使用 TS 开发项目时， 类型声明文件的使用 包括以下两种方式：
- 使用已有的类型声明文件
- 创建自己的类型声明文件
学习顺序： 先会用 （别人的） 再会写 （自己的）
使用已有的类型声明文件
内置类型声明文件
内置类型声明文件： 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 提供 。
- 库自带类型声明文件：比如，axios。
解释：这种情况下，正常导入该库， TS 就会自动加载库自己的类型声明文件 ，以提供该库的类型声明。- 由 DefinitelyTyped 提供 。
DefinitelyTyped 是一个 github 仓库， 用来提供高质量 TypeScript 类型声明 。
可以通过 npm/yarn 来下载该仓库提供的 TS 类型声明包，这些包的名称格式为： @types/* 。
比如，@types/react、@types/lodash 等。
说明：在实际项目开发时，如果你使用的第三方库没有自带的声明文件，VSCode 会给出明确的提示。
解释：当安装 @types/* 类型声明包后， TS 也会自动加载该类声明包 ，以提供该库的类型声明。
补充：TS 官方文档提供了一个 页面 ，可以来查询 @types/* 库。
创建自己的类型声明文件
项目内共享类型
- 项目内共享类型：如果 多个 .ts 文件 中都用到同一个类型，此时可以创建 .d.ts 文件提供该类型， 实现类型共享 。
操作步骤：- 创建 index .d.ts 类型声明文件。
- 创建需要共享的类型，并 使用 export 导出 （TS 中的类型也可以使用 import/export 实现模块化功能）。
- 在需要使用共享类型的 .ts 文件中，通过 import 导入即可（.d.ts 后缀导入时，直接省略）。
为已有 JS 文件提供类型声明。
- 为已有 JS 文件提供类型声明 ：
- 在 将 JS 项目 迁移 到 TS 项目 时，为了让已有的 .js 文件有类型声明。
- 成为库作者，创建库给其他人使用。
注意： 类型声明文件的编写与模块化方式相关 ，不同的模块化方式有不同的写法。但由于历史原因，JS 模块化的发展经历过多种变化（AMD、CommonJS、UMD、ESModule 等），而 TS 支持各种模块化形式的类型声明。这就导致类型声明文件 相关内容 又多又杂。
演示：基于 最新的 ESModule （import/export）来为已有 .js 文件，创建类型声明文件。
开发环境准备：使用 webpack 搭建，通过 ts-loader 处理 .ts 文件。
说明：TS 项目中也可以使用 .js 文件。
说明：在导入 .js 文件时， TS 会自动加载与 .js 同名的 .d.ts 文件 ，以提供类型声明。
declare 关键字： 用于类型声明，为其他地方 （比如，
.js 文件） 已存在的变量声明类型，而不是创建一个新的变量 。- 对于 type、interface 等这些明确就是 TS 类型的（只能在 TS 中使用的），可以省略 declare 关键字。
- 对于 let、function 等具有双重含义（在 JS、TS 中都能用），应该使用 declare 关键字，明确指定此处用于类型声明。