记录一次使用mitt库后了解到的type和interface异同

起因是在初始化mitt实例时,发现如果传入interface作为泛型时会抛出异常:

类型"Events"不满足约束"Record<EventType, unknown>"。

类型"Events"中缺少类型"string"的索引签名。ts(2344)。

于是去看了一下传入的泛型Event 的定义:

typescript 复制代码
export declare type EventType = string | symbol;
//  ...
export default function mitt<Events extends Record<EventType, unknown>>(all?: EventHandlerMap<Events>): Emitter<Events>;

这里mitt对传入的泛型Events用extends关键字做了个约束,要求Events必须满足Record<EventType, unknown>,也就是说Events必须是一个键为字符串字面量,值为unknownRecord类型。

其中type有隐式索引签名(implicit index signature)Record<PropertyKey, unknown> 自动满足条件,但是interface是一种静态的类型声明,它并没有隐式索引签名,因此会抛出异常,如果需要使用interface,需要手动添加索引签名:

typescript 复制代码
interface Events {
	// ...
	[key: string | symbol]: unknown
}

但是如果这样写的话,会出现以下问题:

  • 接口就的类型约束就被破坏了,key可以是任意的字符串,无法确保事件的key是上面编写的字符串字面量;
  • 接口可以被任意扩展,可能添加非法事件;
  • 无法利用类型系统进行静态检查。
typescript 复制代码
interface Events {
  // ...
}

interface Events {
  [key: number]: string // 新增了数字key
}

为什么mitt要用Record<EventType, unknown>来做限制而不是Record<EventType, any>

unknownany 虽然都代表"不确定的类型",但它们在类型安全性上有着本质区别:

  1. unknown 是类型安全的顶级类型

    • 它是 TypeScript 3.0 引入的类型安全的"任意值"表示
    • 任何值都可以赋给 unknown 类型变量
    • 但在使用前必须进行类型检查或类型断言
  2. any 是类型系统的逃生舱

    • 它会完全绕过 TypeScript 的类型检查
    • 可以对其执行任何操作而不触发类型错误
    • 相当于回到了纯 JavaScript 的开发模式

参考资料:

www.totaltypescript.com/type-vs-int...

相关推荐
鲸鱼146665707541917 小时前
Screeps TypeScript 教程:使用 tsup 解决模块加载问题并实现自动化部署
typescript
张志鹏PHP全栈2 天前
TypeScript 第四天,TypeScript的编译选项(一)
前端·typescript
Toomey2 天前
别再用 Parameters 乱推断了!vue-i18n 封装 t 函数的正确姿势
typescript
郑板桥302 天前
ts学习1
学习·typescript
前端拿破轮2 天前
女朋友要和我分手?!!居然是因为交不出赎金信,不会用哈希表😭😭😭
算法·leetcode·typescript
知识分享小能手2 天前
Bootstrap 5学习教程,从入门到精通,Bootstrap 5 表单验证语法知识点及案例代码(34)
前端·javascript·学习·typescript·bootstrap·html·css3
张志鹏PHP全栈2 天前
TypeScript 第三天,TypeScript中的类型(二)
typescript
成遇3 天前
Eslint基础使用
javascript·typescript·es6
张志鹏PHP全栈3 天前
TypeScript 第二天,TypeScript中的类型(一)
typescript
極光未晚3 天前
TypeScript在前端项目中的那些事儿:不止于类型的守护者
前端·javascript·typescript