文档教程【免费下载链接】TypeScriptTypeScript 使用手册中文版翻译。http://www.typescriptlang.org项目地址https://gitcode.com/gh_mirrors/typ/TypeScript点击查看免费下载本文基于本仓库 TypeScript 使用手册中文版的发布说明文档 typescript-4.3.md 整理而成系统梳理 TypeScript 4.3 引入的 13 项核心改进。涵盖属性读写类型拆分、override/--noImplicitOverride、模版字符串类型推断增强、#private类成员扩展、static索引签名等类型系统能力以及.tsbuildinfo体积优化、--incremental/--watch惰性计算等编译性能改进并交叉引用本仓库的编译选项文档、Watch 配置文档、工具类型参考与模版字面量类型手册作为深化阅读线索。读完本文你将掌握这些新特性的适用场景、具体写法与配置方式并能直接用于日常 TypeScript 工程实践。拆分属性的写入类型让 getter/setter 各得其所在 JavaScript 中API 经常需要对传入的值进行转换后再保存getter 和 setter 是这种模式的典型场景。例如某个类的 setter 总是把传入值转换为number后再写入私有字段class Thing { #size 0; get size() { return this.#size; } set size(value) { let num Number(value); // Dont allow NaN and stuff. if (!Number.isFinite(num)) { this.#size 0; return; } this.#size num; } }在 TypeScript 4.3 之前改写这段代码会陷入两难从技术上讲TypeScript 能识别出size是数字但size实际允许接收的不只是number。若声明为unknown或any读取size时要么强制类型断言要么失去错误捕获——即要在读取容易、写入难与写入方便、读取难之间做取舍。TypeScript 4.3 允许分别为属性的读取和写入指定类型。getter 类型保证读取安全setter 类型则允许更宽泛的入参种类class Thing { #size 0; get size(): number { return this.#size; } set size(value: string | number | boolean) { let num Number(value); // Dont allow NaN and stuff. if (!Number.isFinite(num)) { this.#size 0; return; } this.#size num; } } let thing new Thing(); // 可以给 thing.size 赋予其它类型的值 thing.size hello; thing.size true; thing.size 42; // 读取 thing.size 总是返回数字 let mySize: number thing.size;需要注意两点属性关系判定只看读取类型当需要判断两个同名属性是否兼容时TypeScript 只考虑读取的类型即 getter 上的类型写入类型仅在直接写入属性值时被考虑。读取类型必须可赋值给写入类型即 getter 的类型必须能赋值给 setter 的类型这保证了一个属性总是能赋值给它自身从而维持一致性。该模式不限于类。对象字面量中的 getter/setter 同样可以指定不同类型function makeThing(): Thing { let size 0; return { get size(): number { return size; }, set size(value: string | number | boolean) { let num Number(value); // Dont allow NaN and stuff. if (!Number.isFinite(num)) { size 0; return; } size num; }, }; }接口与对象类型也支持为属性声明不同的读写类型interface Thing { get size(): number; set size(value: number | string | boolean); }这一特性对转换值再保存这类真实 API 建模场景尤为实用让类型系统既能约束入口参数又能保证出口类型安全。override与--noImplicitOverride消灭覆写错误继承类时覆写方法很容易犯两类错误丢失重命名基类方法改名/删除子类旧方法残留却未被发现和意外覆写本意是写本地方法却不小心与基类方法同名。先看丢失重命名问题。假设SpecializedComponent覆写了基类的show与hide而基类后来把这两个方法合并为setVisibleclass SomeComponent { - show() { - // ... - } - hide() { - // ... - } setVisible(value: boolean) { // ... } } class SpecializedComponent extends SomeComponent { show() { // ... } hide() { // ... } }子类中残留的show/hide成了两个可能永远不会被调用的孤儿方法而开发者无从察觉。TypeScript 4.3 引入override关键字解决这一问题class SpecializedComponent extends SomeComponent { override show() { // ... } override hide() { // ... } }当一个方法被标记为overrideTypeScript 会确保基类中确实存在同名方法否则报错class SomeComponent { setVisible(value: boolean) { // ... } } class SpecializedComponent extends SomeComponent { override show() { // ~~~~ // 错误 } }但若开发者忘记写override上述检查便形同虚设——这正是另一类高频错误本意是编写本地帮助方法却意外覆写了基类方法class Base { someHelperMethod() { // ... } } class Derived extends Base { // 不是真正想覆写基类中的方法 // 只是想编写一个本地的帮助方法 someHelperMethod() { // ... } }为此TypeScript 4.3 提供了编译选项--noImplicitOverride默认false。启用后凡是覆写了父类方法但未添加override关键字的代码都会报错并提示重命名。它可以在命令行传入也可以在tsconfig.json的compilerOptions中配置完整选项列表可参考本仓库的编译选项文档{ compilerOptions: { noImplicitOverride: true } }实践建议在团队项目中开启noImplicitOverride配合统一的覆写必写override约定可让基类 API 演进重命名、删改方法时第一时间暴露受影响子类。模版字符串类型改进推断与关联能力增强模版字符串类型Template Literal Types自 TypeScript 4.1 引入通过拼接构造类字符串类型并可与类字符串字面量进行模式匹配详见本仓库模版字面量类型手册type Color red | blue; type Quantity one | two; type SeussFish ${Quantity | Color} fish; // 等同于 // type SeussFish one fish | two fish // | red fish | blue fish; declare let s1: ${number}-${number}-${number}; declare let s2: 1-2-3; // 正确 s1 s2;TypeScript 4.3 在两方面做了改进其一改进推断时机。当模版字符串的类型由类字符串字面量类型进行按上下文归类即 TypeScript 识别出模版字符串应匹配某个字面量类型时会将其推断为模版字符串类型function bar(s: string): hello ${string} { // 之前会产生错误但现在没有问题 return hello ${s}; }在类型推断和extends string的类型参数上同样生效declare let s: string; declare function fT extends string(x: T): T; // 以前string // 现在hello-${string} let x2 f(hello ${s});其二改进模版字符串间的类型关联与推断。此前TypeScript 只能匹配字符串字面量如s2遇到两个模版字符串类型之间的比较如s3到s1会直接放弃匹配导致报错。4.3 起TypeScript 会逐段判断模版字符串的每一部分能否匹配成功混合使用不同的替换字符串也能正确计算兼容性declare let s1: ${number}-${number}-${number}; declare let s2: 1-2-3; declare let s3: ${number}-2-3; declare let s4: 1-${number}-3; declare let s5: 1-2-${number}; declare let s6: ${number}-2-${number}; // 下列均无问题 s1 s2; s1 s3; s1 s4; s1 s5; s1 s6;推断能力也因此显著增强——以下示例展示了从模版字符串中反向推断出替换位置的具体类型declare function fooV extends string(arg: *${V}*): V; function testT extends string(s: string, n: number, b: boolean, t: T) { let x1 foo(*hello*); // hello let x2 foo(**hello**); // *hello* let x3 foo(*${s}* as const); // string let x4 foo(*${n}* as const); // ${number} let x5 foo(*${b}* as const); // true | false let x6 foo(*${t}* as const); // ${T} let x7 foo(**${s}** as const); // *${string}* }结合手册中的PropEventSource事件监听示例基于keyof与模版字符串构造${string keyof Type}Changed事件名并从事件名推断属性类型这套机制足以支撑类型安全的事件系统、ORM 查询构建器、国际化 key 校验等高阶类型编程。ECMAScript#private类成员真正的运行时私有TypeScript 4.3 扩大了类中可被声明为#private#names的成员范围使其在运行时成为真正的私有。此前只有属性支持私有命名现在方法和存取器也可以class Foo { #someMethod() { //... } get #someValue() { return 100; } publicMethod() { // 可以使用 // 可以在类内部访问私有命名成员。 this.#someMethod(); return this.#someValue; } } new Foo().#someMethod(); // ~~~~~~~~~~~ // 错误! // 属性 #someMethod 无法在类 Foo 外访问因为它是私有的。 new Foo().#someValue; // ~~~~~~~~~~ // 错误! // 属性 #someValue 无法在类 Foo 外访问因为它是私有的。静态成员也可以使用私有命名class Foo { static #someMethod() { // ... } } Foo.#someMethod(); // ~~~~~~~~~~~ // 错误! // 属性 #someMethod 无法在类 Foo 外访问因为它是私有的。这套机制的意义在于与 TypeScript 的private修饰符仅编译期检查运行时仍可通过(obj as any).prop访问不同#私有命名由 ECMAScript 规范原生保证在编译产物中同样不可从外部访问适合对封装性有强要求的库代码。需注意其运行前提是目标环境支持原生私有字段较新的 Node.js 与浏览器均支持。ConstructorParameters支持抽象类TypeScript 4.3 让ConstructorParameters工具类型可以作用于abstract类——此前抽象类没有具体构造签名该工具类型无法使用。现在可以提取抽象类的构造参数为元组abstract class C { constructor(a: string, b: number) { // ... } } // 类型为 [a: string, b: number] type CParams ConstructorParameterstypeof C;这得益于 TypeScript 4.2 引入的抽象构造签名声明能力type MyConstructorOfT { new (...args: any[]): T; }; // 或使用简写形式 type MyConstructorOfT abstract new (...args: any[]) T;ConstructorParameters的一般行为可参考本仓库工具类型参考由构造函数类型构建出参数元组若Type不是构造函数类型则返回never。抽象构造签名加上ConstructorParameters使抽象工厂一类的设计模式能获得更完整的类型推导。按上下文细化泛型类型更智能的泛型收窄TypeScript 4.3 能更智能地对泛型进行类型细化支持更多模式甚至能发现此前遗漏的错误。考虑makeUnique函数接受Set或数组若传入数组则排序去重最后返回初始集合function makeUniqueT, C extends SetT | T[]( collection: C, comparer: (x: T, y: T) number ): C { // 假设元素已经是唯一的 if (collection instanceof Set) { return collection; } // 排序然后去重 collection.sort(comparer); // ~~~~ // 错误属性 sort 不存在于类型 C 上。 for (let i 0; i collection.length; i) { // ~~~~~~ // 错误: 属性 length 不存在于类型 C 上。 let j i; while ( j collection.length comparer(collection[i], collection[j 1]) 0 ) { // ~~~~~~ // 错误: 属性 length 不存在于类型 C 上。 // ~~~~~~~~~~~~~ ~~~~~~~~~~~~~~~~~ // 错误: 元素具有隐式的 any 类型因为 number 类型的表达式不能用来索引 SetT | T[] 类型。 j; } collection.splice(i 1, j - i); // ~~~~~~ // 错误: 属性 splice 不存在于类型 C 上。 } return collection; }问题根源执行collection instanceof Set检查时我们期望它作为类型守卫把SetT | T[]细化为SetT和T[]但实际被细化的是泛型值collection类型为C而 TypeScript 不会去读取C的泛型约束SetT | T[]并细化它。若反过来只细化约束类型又会丢失每个分支中collection仍是C的信息导致返回语句报错SetT/T[]无法赋值给C。TypeScript 4.3 的解法在一些关键位置类型系统会去查看类型的约束。例如遇到collection.length时TypeScript 不关心collection的具体类型C而是依据约束T[] | SetT确定可访问的属性。在类似位置它会采用由泛型约束细化出的类型因为其中包含用户关心的信息在其它位置则细化初始泛型类型。最终上例代码不再产生编译错误。更精细地说TypeScript 现在会按上下文根据泛型值的使用方式决定细化约束还是细化泛型本身。检查总是为真的 Promise帮你补上await在strictNullChecks模式下TypeScript 4.3 会对条件语句中总是为真的Promise检查报错——Promise对象本身恒为真值检查它几乎总是漏写了awaitasync function foo(): Promiseboolean { return false; } async function bar(): Promisestring { if (foo()) { // ~~~~~ // Error! // This condition will always return true since // this Promiseboolean appears to always be defined. // Did you forget to use await? return true; } return false; }这类静态检查能在编码阶段拦截异步逻辑中最常见的忘记await错误。启用strictNullChecks可参考编译选项文档中关于--strict与--strictNullChecks的说明后即可获得该诊断。static索引签名索引签名允许在一个值上设置比显式类型声明更多的属性。此前索引签名只能作用于类的实例类型TypeScript 4.3 起也可以声明为staticclass Foo { static hello hello; static world 1234; static [propName: string]: string | number | undefined; } // 没问题 Foo[whatever] 42; // 类型为 string | number | undefined let x Foo[something];类静态类型上的索引签名检查规则与实例类型一致每个静态属性必须与静态索引签名类型兼容否则报错class Foo { static prop true; // ~~~~ // 错误boolean 类型的属性 prop 不能赋值给字符串索引类型 // string | number | undefined. static [propName: string]: string | number | undefined; }这在需要为类本身动态挂载扩展属性如元数据注册、插件系统的场景中非常实用让Foo[whatever] 42这类写法获得类型约束。构建性能双改进更小的.tsbuildinfo与惰性首次构建.tsbuildinfo文件体积大幅缩小作为--incremental构建组成部分的.tsbuildinfo文件在 4.3 中显著变小。这得益于内部格式优化用数值标识的查找表替代重复多次的完整路径等冗余信息。官方观察到的变化包括1MB → 411 KB14.9MB → 1MB1345MB → 467MB文件变小意味着磁盘读写更少从而稍微加快构建速度。--incremental/--watch的惰性计算--incremental与--watch模式此前的痛点是虽然能加快后续编译但首次编译很慢——因为要保存并计算当前工程信息有时还需写入.tsbuildinfo供后续使用。TypeScript 4.3 对这两种模式做了首次构建优化使其和普通构建一样快大部分信息改为按需计算惰性计算而不是一次性全部算出。代价是后续构建负担略增但由于增量构建只需处理少量改动文件总体收益仍然显著——在一个包含 3000 个文件的仓库中官方报告能节约约三分之一的构建时间。这相当于--incremental/--watch构建先预热随后在多次修改文件后持续加速。实践提示若你的工程体量大、首次tsc -w启动偏慢升级到 TypeScript 4.3 及以上即可直接受益无需改动配置。--incremental、--watch及环境变量化的监视实现细节可分别参考本仓库的编译选项文档与配置 Watch 文档。编辑器体验三项改进导入语句的补全JavaScript 的导入语法import { func } from ./module.js使自动补全难以工作输入import {时TypeScript 并不知道要从哪个模块导入无法给出补全。4.3 引入自动导入能力输入import而未提供路径时编辑器会列出可能的导入来源确认补全后自动写出包含完整路径的导入语句。该功能依赖编辑器支持可尝试在 Visual Studio Code 的 Insiders 版本中使用。编辑器对link标签的支持TypeScript 现在能理解 JSDoc 的link标签并解析其指向的声明将鼠标悬停在link上可获得快速提示也能使用跳转到定义或查找全部引用/** * To be called 70 to 80 days after {link plantCarrot}. */ function harvestCarrot(carrot: Carrot) {} /** * Call early in spring for best results. Added in v2.1.0. * param seed Make sure its a carrot seed! */ function plantCarrot(seed: Seed) { // TODO: some gardening }这让文档注释中的交叉引用变为可导航的真实链接大幅提升大型代码库的文档可读性。非 JavaScript 文件上的跳转到定义许多加载器允许在导入语句中引入资源文件如import ./styles.css。此前 TypeScript 语言服务不会读取这些文件跳转定义要么失败要么最多跳到declare module *.css之类的声明。4.3 起执行跳转到定义时会尝试跳转到正确文件——即使它并非 JavaScript 或 TypeScript 文件。CSS、SVG、PNG、字体文件、Vue 文件等资源的导入语句均可直接跳转。总结TypeScript 4.3 是一次兼顾类型系统精确度与构建工程效率的升级属性读写类型拆分解决了转换类 API 的建模难题override/--noImplicitOverride让继承覆写错误显形模版字符串推断增强与按上下文泛型细化把高阶类型编程推向新高度#private成员扩展与抽象类ConstructorParameters补齐了运行时封装与工具类型的拼图而.tsbuildinfo瘦身与惰性首次构建则让增量编译更加轻快。配合编辑器侧的自动导入、link与资源文件跳转4.3 在更严格的类型检查与更流畅的开发体验之间取得了良好平衡。若需深入可在本仓库中继续阅读编译器选项文档noImplicitOverride、strictNullChecks、incremental等选项、配置 Watch 文档--watch监视机制、模版字面量类型手册模版字符串类型全貌与工具类型参考ConstructorParameters等工具类型细节。赞分享文档教程【免费下载链接】TypeScriptTypeScript 使用手册中文版翻译。http://www.typescriptlang.org项目地址https://gitcode.com/gh_mirrors/typ/TypeScript点击查看免费下载相关推荐从 4.2 到 4.3RabbitMQ 4.3.0 特性发布全面解析与升级实战指南从 4.2 到 4.3RabbitMQ 4.3.0 特性发布全面解析与升级实战指南 导读 RabbitMQ 4.3.0 是继 4.2.x 之后的 新特性发布后端消息队列消息路由TypeScript 5.4新特性深度解析革命性类型系统升级TypeScript 5.4新特性深度解析革命性类型系统升级 你是否还在为复杂类型定义烦恼是否期待更智能的类型推导TypeScript 5.4版本带来了类编程语言编译器开发工具终极指南BullMQ v4新特性全面解析—从架构升级到性能优化终极指南BullMQ v4新特性全面解析—从架构升级到性能优化 BullMQ 是基于 Redis 的 NodeJS 和 Python 消息队列与批处理工具在后端消息队列任务调度上一篇Dendron 从现有笔记层级生成 SchemaDendron: Create Schema From Note Hierarchy 命令完整实战指南下一篇解决WaveSideBar集成难题10个常见问题与终极解决方案汇总创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考