【专题推荐】AI大模型落地的前景和痛点,技术人面临哪些机会和挑战? 了解详情
写点什么

TypeScript 5.0 现已发布:全新的装饰器,速度、内存和包大小优化

作者:Oghenevwede Emeni,Peng Cao

  • 2023-03-24
    北京
  • 本文字数:3153 字

    阅读完需:约 10 分钟

TypeScript 5.0 现已发布:全新的装饰器,速度、内存和包大小优化

微软在上周发布了 TypeScript 5.0 beta 版本,希望在助其瘦身之余简化使用方式、加快运行速度。此次公布的 beta 版还引入新的装饰器标准,使用户能够以可重用的方式自定义类及其成员。


相对于 TypeScript 4.9 在速度和大小方面的提升:





此次 beta 版的一大亮点,在于合并了新的装饰器标准,使用户能够以可重用的方式自定义类及其成员。TypeScript 项目经理 Daniel Rosenwasser 最近在官方博客上写道,这些实验性的装饰器非常重要,在支持旧版本装饰器的同时将可选编译器标志—experimentalDecorators 设为始终启用。Rosenwasser 表示,很多一直在用 --experimentalDecorators 的开发者已经意识到,之前在 TypeScript 中使用装饰器却不启用此标志,均会产生错误消息。


Rosenwasser 还谈到 TypeScript 中关于 enums 的老问题,5.0 beta 版如何解决其中部分问题,同时减少了声明各类 enums 时所需理解的概念数量。


TypeScript 属于开源编程语言加 JavaScript 的一个超集,以 JavaScript 为基础并实现了功能扩展,目前由微软负责开发和维护。


TypeScript 5.0 中的新装饰器提案允许开发者编写出更清晰、更易于维护的代码,并能够以可重用的方式自定义类及其成员。虽然新的装饰器与 --emitDecoratorMetadata 不兼容且不支持参数装饰,但微软预计后续推出的 ECMAScript 提案有望解决这些限制。


除了新的装饰器提案之外,TypeScript 5.0 还引入多项改进,例如对构造函数中的参数装饰器进行更精确的类型检查、const 注释,以及允许 extends 字段获取多个条目的能力等。


TypeScript 5.0 版本还提供新的模块解析选项、性能增强和更详尽的 switch/case 补全功能。


TypeScript 以 ECMAScript 2018 为目标,因此 Node.js 用户至少需要使用 Node.js 10 或更高的版本。


要使用此 beta 版本,可以通过 NuGet 或者以下 npm 命令获取:


npm install typescript@beta
复制代码


TypeScript 5.0 新功能与改进快速演示


这里我们具体探究一些新功能,并通过代码示例帮助大家开启 TypeScript 5.0 之旅。


1. 所有 Enums 均为 union enums


TypeScript 5.0 引入一项新功能,其中所有 enum 均为 union enum。这意味着每个 enum 成员现在都有自己的唯一类型,即使是由函数调用初始化的也不例外。以往,如果是通过函数调用初始化的 enum 成员,则 TypeScript 会使用旧的 enum 策略并导致 union 和字面量类型的优势失效。在新功能的支持下,开发者现可缩小所有 enum 范围,并将其成员作为类型来引用。


enum E {  A = 'a',  B = 'b',  C = Math.random() > 0.5 ? 'c' : 'd'}type EKeys = keyof typeof E; // 'A' | 'B' | 'C'type EValues = typeof E[keyof typeof E]; // 'a' | 'b' | 'c' | 'd'function f(e: E) {  switch (e) {    case E.A:      // This block is only executed if `e` is `'a'`      break;    case E.B:      // This block is only executed if `e` is `'b'`      break;    case E.C:      // This block is only executed if `e` is either `'c'` or `'d'`      break;  }}
复制代码


在以上示例中,enum E 具有 3 个成员,其中 E.C 使用函数调用通过三元运算符进行初始化。借助 TypeScript 5.0 中的新功能,所有 enum 成员都拥有自己的独特类型。在这里,E.C 具有’c’ | 'd’类型,而不再像旧版本中那样具有 string 类型。f 函数则使用 switch 语句将 e 的类型缩小为 enum 成员之一,从而实现更好的类型检查和推断。


2. 从构造函数推断类属性


TypeScript 5.0 引入了将 const 修饰符添加至类型参数声明的功能,也就是默认做 const-like 推断。这项功能非常适合那些需要具体类型,而 TypeScript 已经推断出较通用类型的场景。以往,为了实现 const-like 推断,开发者需要在某些位置添加“as const”。Const 修饰符会影响调用中编写的对象、数组和原始表达式的推断,但不会拒绝可变值、或者说需要不可变约束。因此,开发者必须牢记 const 修饰符的行为以确保正确使用。


type HasNames = { readonly names: string[] };function getNamesExactly<const T extends HasNames>(arg: T): T['names'] {  return arg.names;}// Inferred type: readonly ["Alice", "Bob", "Eve"]const names = getNamesExactly({ names: ["Alice", "Bob", "Eve"] } as const);
复制代码


在此示例中,我们定义了一个泛型函数 getNamesExactly,它会接受用于扩展 HasNames 接口的类型 T 的一条参数,其中包含作为 names 属性的字符串数组。


在 TypeScript 5.0 之前,arg.names 的推断类型为 string[],但如果我们需要的是 readonly string[],则需要在调用函数时使用 as const 进行断言。


而在 TypeScript 5.0 中,我们可以将 const 修饰符添加至类型参数声明当中,借此默认进行 const-like 推断。这样就能在调用中省略 as const 断言,且仍然推断出更具体的 readonly string[] 类型。


3. 详尽的 switch/case 补全


在编写 switch 语句时,TypeScript 现在可以检测被检查的值是否具有字面类型。如果是,则通过补全对每个未发现的 case 做 scaffold out。



可以在 GitHub 上(https://github.com/microsoft/TypeScript/pull/50996)参阅具体实现。


4. 支持 export type *


TypeScript 5.0 提供新的“导出类型”功能,能够在重新导出的语句中添加对仅类型导入的支持,例如 export from “module” 和 export * as ns from “module”。


示例为从 vehicles.ts 模块导出的 Spaceship 类,之后使用 export type * as vehicles from "./vehicles"在 models/index.ts 模块中进行重新导出。在 main.ts 当中,重新导出的 vehicles 命名空间被导入,并用于对 takeASpaceship 函数中的参数进行类型检查。但请注意,在 makeASpaceship 函数中创建新的 Spaceship 对象会导致错误,因为 vehicles 命名空间是作为仅类型导入进行导出的,不可用作值。


// models/vehicles.tsexport class Spaceship {  // ...}// models/index.tsexport type * as vehicles from "./vehicles";// main.tsimport { vehicles } from "./models";function takeASpaceship(s: vehicles.Spaceship) {  // ok - `vehicles` only used in a type position}function makeASpaceship() {  return new vehicles.Spaceship(); // Error: 'vehicles' cannot be used as a value because it was exported using 'export type'.}
复制代码


5. 多配置扩展


TypeScript 5.0 现可支持使用 extends 字段扩展多个配置文件。这项功能适用于同时管理多个项目,其中“基本”配置文件可由其他 tsconfig.json 文件进行创建和扩展。以往,这项操作只能通过单个文件完成,但现在您可以扩展至多个文件,并在发生字段冲突时以后一个条目为优先。


例如,如果您有一个从 @tsconfig/strictest/tsconfig.json 扩展的基本 sconfig.base.json 文件,则可以让其他 tsconfig.json 文件从这两个文件进一步扩展,如下所示:


{    "extends": ["@tsconfig/strictest/tsconfig.json", "../../../tsconfig.base.json"],    "compilerOptions": {        "outDir": "../lib",        // ...    }}
复制代码


这就为多个配置文件的管理带来更大的灵活性,可通过多个文件扩展并轻松控制字段优先级。


6. 性能提升


TypeScript 5.0 提供多项性能改进,包括更快的对象类型索引和经过优化的条件类型推断。


以上只是 TypeScript 5.0 的部分新功能与改进,请参阅官方公告页面以了解更多详细信息。


参考链接:


https://www.infoq.com/news/2023/03/announcing-TypeScript-5-beta/


https://medium.com/@caopengau/typescript-5-0-a-quick-demo-of-new-features-and-improvements-fbb841728ea


相关阅读:

20 个大前端必知领域之「TypeScript」

TypeScript 与 JavaScript:你应该知道的区别

系统学习 TypeScript(一)——认识 TypeScript

未来可期的 TypeScript

2023-03-24 15:514695

评论

发布
暂无评论
发现更多内容

你真的了解敏捷吗?听马丁福勒聊敏捷

涛哥 数字产品和业务架构

敏捷 数字化转型

新基建时代区块链应用场景进化

CECBC

新基建 区块链技术 去中心化 产业落地

架构师训练营第三周-总结

无心水

极客大学架构师训练营

Cocoa 代码注释与文档生成

Edmond

ios CocoaPods 代码注释 Swift-Document iOS Document

《零基础学 Java》 FAQ 之 17-怎么理解Java中的数组

臧萌

Java

架构师训练营 - 第 3 课总结 -20200620- 软件设计

👑👑merlan

架构设计 软件设计 SOLID

架构师训练营第三周

Melo

Android APP启动白屏优化

小菜鸟学php

android白屏

为什么Web开发人员在2020年不用最新的CSS功能

葡萄城技术团队

CSS

还在埋头干活?给程序员的几个忠告

四猿外

Java 深度思考 程序员 随笔杂谈

当你输入get/set命令的时候,Redis做了什么

老胡爱分享

redis 源码分析

SharePoint 往事之:一句话让 SharePoint 罢工

手艺人杨柳

SharePoint

互联网人的娱乐精神之28岁退休 & P8和生活助理的故事

码农神说

程序员 漫画 退休

加密与解密

返町

架构师训练营作业 (第三周)

王海

极客大学架构师训练营

架构师训练营第二周课后作业

赵凯

框架设计

如何写出高质量的代码?(浅谈代码规范、重构、单元测试的重要性)

Nick

单元测试 重构 代码重构 代码规范

重学 Java 设计模式:实战责任链模式「模拟618电商大促期间,项目上线流程多级负责人审批场景」

小傅哥

设计模式 小傅哥 重构 代码优化 责任链模式

必知必会,程序员都应该会的Linux的50个知识点!

Java小咖秀

Linux 面试 运维 Shell 经验

【写作群星榜】6.12~6.19 写作平台优秀作者 & 文章排名

InfoQ写作社区官方

写作平台 排行榜 热门活动

第二周学习总结

师哥

思想不进化的人都是可怜人

Neco.W

提升认知 思考 进步 进化

一种极致性能的缓冲队列

捉虫大师

Java 性能

跨云厂商部署 k3s 集群

米开朗基杨

k3s wireguard

英特尔宋继强:坚持科研的长期主义 推动AI向3.0时代跃迁

最新动态

数据库如何弹性伸缩?

Aaron_涛

数据库 架构 云原生

GitHub 热榜:一款堪称作业终结者的开源神器!

JackTian

GitHub 开源 工具类网站 学生党 Text-to-handwriting

请描述什么是依赖倒置原则,为什么有时候依赖倒置原则又被称为好莱坞原则?

一叶知秋

加入生财有术后,我获得了什么

Jay Wu

Flink on Zeppelin (5) 高级特性篇

章剑锋_Jeff

大数据 flink 流计算 Zeppelin

小师妹学JVM之:JIT中的LogCompilation

程序那些事

JVM 小师妹 性能调优 JIT 签约计划第二季

TypeScript 5.0 现已发布:全新的装饰器,速度、内存和包大小优化_前端_InfoQ精选文章