8.TypeScript入门之TS类型声明文件

~~
~~
上一章节：7.TypeScript入门之TS高级类型（索引签名类型和映射类型）

Ⅴ.TypeScript 类型声明文件

概述

今天几乎所有的 JavaScript 应用都会引入许多第三方库来完成任务需求。

这些第三方库不管是否是用 TS 编写的，最终都要编译成 JS 代码，才能发布给开发者使用。

我们知道是 TS 提供了类型，才有了代码提示和类型保护等机制。

但在项目开发中使用第三方库时，你会发现它们几乎都有相应的 TS 类型，这些类型是怎么来的呢？类型声明文件

类型声明文件：用来为已存在的 JS 库提供类型信息。

这样在 TS 项目中使用这些库时，就像在用 TS 一样，都会有代码提示、类型保护等机制了。

1、TS 的两种文件类型

2、类型声明文件的使用说明

5.1 TS中的两种文件类型

TS中有两种文件类型：1、.ts文件 2、.d.ts文件。

.ts文件：

既包含类型信息又可执行代码。
可以被编译成 .js 文件，然后，执行代码。
用途：编写程序代码的地方。

.d.ts文件：

只包含类型信息的类型声明文件。
不会生成 .js 文件，仅用于提供类型信息。
用途：为 JS 提供类型信息。

总结：.ts是implementation（代码实现文件）；.d.ts是declaration（类型声明文件）。

如果要为 JS 库提供类型信息，要用 .d.ts 文件。

5.2 类型声明文件的使用说明

在使用 TS 开发项目时，类型声明文件的使用包括以下两种方式：

1、使用已有的类型声明文件

2、创建自己的类型声明文件

学会顺序：先会用（别人的）再会写（自己的）。

5.2.1 使用已有的类型声明文件

1、内置类型声明文件

内置类型声明文件：TS 为 JS 运行时可用的所有标准化内置 API 都提供了声明文件。

比如，在使用数组时，数组所有方法都会有相应的代码提示以及类型信息：

(method) Array<number>.forEach(callbackfn: (value: number, index: number, array: number[]) => void, thisArg?: any): void

实际上这都是 TS 提供的内置类型声明文件。

可以通过 Ctrl + 鼠标左键（MAC：option + 鼠标左键）来查看内置类型声明文件内容。

比如，查看 forEach 方法的类型声明，在 VSCode 中会自动跳转到 lib.es5.d.ts 类型声明文件中。

当然，像 window、document 等 BOM、DOM API 也都有相应的类型声明（lib.dom.d.ts）。

2、第三方库的类型声明文件

第三方库的类型声明文件：目前，几乎所有常用的第三方库都有相应的类型声明文件。

第三方库的类型声明文件有两种存在形式：

a、库自带类型声明文件：比如，axios。

解释：这种情况下，正常导入该库，TS就会自动加载库自己的类型声明文件，以提供该库的类型声明。

b、由 DefinitelyTyped 提供

DefinitelyTyped 是一个 github 仓库，用来提供高质量的 TypeScript 类型声明。

可以通过 npm/yarn 来下载该仓库提供的 TS 类型声明包，这些包的名称格式为：@types/*。

比如，@types/react、@types/lodash等。

说明：在实际项目开发时，如果你使用的第三方库没有自带的声明文件，VSCode 会给出明确的提示。

5.2.2 创建自己的类型声明文件

1、项目内共享类型

项目内共享类型：如果多个 .ts 文件中都用到同一个类型，此时可以创建 .d.ts 文件提供该类型，实现类型共享。

// a.ts使用import导入类型 Props
import { Props } from './index'let p1: Props = {x: 1,y: 2
}

// b.ts使用import导入类型 Props
import { Props } from './index'let p1: Props = {x: 1,y: 2
}

// index.d.ts声明类型Props，并使用export导出
type Props = { x: number; y: number }export { Props }

操作步骤：

创建index.d.ts类型声明文件。
创建需要共享的类型，并使用 export 导出（TS中的类型也可以使用 import/export 实现模块化功能）。
在需要使用共享类型的 .ts 文件中，通过 import 导入即可（.d.ts 后缀导入时，直接省略）。

2、为已有 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 关键字，明确指定此处用于类型声明。

// utils.js
let count = 10
let songName = '痴心绝对'
let position = {x: 0,y: 0
}
function add(x, y) {return x + y
}function changeDirection(direction) {console.log(direction)
}const formartPoint = point => {console.log('当前坐标：', point)
}
export { count, songName, position, add, changeDirection, fomartPoint }

// utils.d.ts
// 为 utils.js 文件提供类型声明
declare let count: number
declare let songName: string
interface Point {x: numbery: number
}
declare let position: Point
declare function add(x: number, y: number): number
declare function changeDirection(direction: 'up' | 'down' | 'left' | 'right'): void
type FomartPoint = (point: Point) => void
declare const formartPoint: FomartPoint// 注意：类型提供好以后需要使用 模块化方案 中提供的模块化语法，来导出声明好的类型。然后，才能在其他的 .ts 文件中使用
export { count, songName, position, add, changeDirection, fomartPoint, Point }

// index.ts要在 utils.js 基础上编写 TS 的内容
// index.ts需要使用 utils.js 的内容，所以需要导入utils.js文件，导入utils.js文件时，TS会自动加载utils.d.ts文件
import { count, songName, position, add, changeDirection, fomartPoint, Point } from './utils.js'