类型声明declare
1、概览
1.1 declare是什么
-
前提：假如现在有一门用Typescript写的库，想供其他开发人员使用，有两种方式
方式1 打包ts源文件（供ts用户使用）和编译后的js文件（供js用户使用）
方式2 提供编译后的js文件和供ts用户使用的类型声明
后一种方式的优点：所占文件体积较小，十分明确该导入声明，并省去ts进一步编译的时间 -
类型声明定义：
万事并不总是如意，代码也不一定都有静态类型
类型声明文件的拓展名为 .d.ts, 是为无类型的js代码附加ts类型的一种方式
- 如果有对应的js文件，扩展名为 .d.ts, 否则使用.ts扩展名
- 类型声明只能包含类型，不能有值
- 可以使用declare关键字声明js代码中定义了某个值
- 可以理解为：“我保证，我写的js代码导出了这个类型的值”
举个栗子：
import {Subscribe} from './subscribe'
export declare class Observe impelement Subscribabel{public_isScalar:boolean = falseconstructor (subscribe?:string){this.subscribe = subscribe}subscribe(observe?:paetialObserver):Subscription{// xxxxx}
}/* 使用TSC编译，tsc -d Observabel.ts 将会i得到类型声明文件Observabel.d.ts,可以看到，只保留了类型，没有值，也没有任何函数的具体内容 */
import {Subscribe} from './subscribe'
export declare class Observe impelement Subscribabel{_isScalar:booleanconstructor (subscribe?:string);subscribe(observe?:paetialObserver):Subscription
}
1.2 declare的作用
- ts用户在使用别人编译好的ts代码时，TSC会寻找与js文件对应的.d.ts文件，让ts知道项目中涉及哪些类型，并有代码类型提示，无需重新编译ts代码，极大减少编译时间
- 定义在项目中任何地方都可以使用的全局类型，无需导入就可以使用（外参类型声明，需要和变量声明区别开）
- 描述通过npm安装的第三方模块（外参模块声明）
1.2.1 外参变量声明
在ts当中，想要不加var关键字定义一个全局变量会触发报警，正确的做法是在文件中先向typescript声明，有一些全局变量process
declare let process :{env : {NODE_ENV :'production' | 'development'}
}
process = {env ： {NODE_ENV :'production'}
}
1.2.2 外参模块声明
- 定义：把常规的类型声明放入特殊的句法 declare module当中
declare module '模块名'{export type MyType = numberexport default MyType
}
- 当用import 导入 '模块名’之后，ts就获取了外参模块声明提供的信息
- 如果只想告诉ts，我要导入这个模块，具体类型稍后再确定。现在先假设为any，那么只保留头部，省略声明即可
declare module '@mc/error-boundary'//只不过使用时会缺失一些安全性eg: import {x} from from '@mc/error-boundary'x //an
- 模块声明支持通配符导入，借此可以为匹配指定模式的任何导入路径声明类型，导入路径使用通配符*来匹配
import b from './test.json'b // object