TypeScript 4.8 正式发布

TypeScript 4.8 已正式发布。

自 Beta 和 RC 发布以来的变化

自 Beta 测试版发布以来,稳定版现已支持从自动导入中排除特定文件。测试版的公告没有提到围绕类型签名中未使用的解构别名 (destructuring aliases) 的破坏性变化。此外,Beta 和 RC 发布公告都没有介绍关于在 TypeScript 语法树装饰器的 API 破坏性变化。这些内容在新版发布公告中进行了详细说明。

主要变化


交叉类型与联合类型的类型收窄增强

TypeScript 4.8 版本对 --strictNullChecks 进行了进一步增强,主要体现在联合类型与交叉类型,以及类型收窄地表现上。

举例来说,作为 TypeScript 类型系统中的 Top Type ,unknown 类型包含所有的其他类型,实际上 unknown 和 {} | null | undefined 的效果是一致的:独特意义的 null、undefined 类型,加上万物起源的 {}

模板字符串类型中的 infer 提取

在 4.7 版本中 TypeScript 支持了 infer extends 语法,使得我们可以直接一步就 infer 到预期类型的值,而不需要再次进行条件语句判断:

  type FirstString<T> =      T extends [infer S, ...unknown[]]          ? S extends string ? S : never          : never;  ​  // 基于 infer extends  type FirstString<T> =      T extends [infer S extends string, ...unknown[]]          ? S          : never;  

4.8 版本在此基础上进行了进一步地增强,当 infer 被约束为一个原始类型,那么它现在会尽可能将 infer 的类型信息推导到字面量类型的级别:

  // 此前为 number,现在为 '100'  type SomeNum = "100" extends `${infer U extends number}` ? U : never;  ​  // 此前为 boolean,现在为 'true'  type SomeBool = "true" extends `${infer U extends boolean}` ? U : never;  

同时,TypeScript 会检查提取出的值能否重新映射回初始的字符串,如 SomeNum 中会检查 String(Number("100")) 是否等于 "100",在下面这个例子中就是因为无法重新映射回去,而导致只能推导到 number 类型:

  // String(Number("1.0")) → "1",≠ "1.0"  type JustNumber = "1.0" extends `${infer T extends number}` ? T : never;   

绑定类型中的类型推导

TypeScript 中的泛型填充也会受到其调用方的影响,如以下示例:

  declare function chooseRandomly<T>(x: T,): T;  ​  const res1 = chooseRandomly(["linbudu", 599, false]);  

此时 res1 的类型与函数的泛型 T 会被推导为 Array<string | number | boolean>,但如果我们换一个方法:

  declare function chooseRandomly<T>(x: T,): T;  ​  const [a, b, c] = chooseRandomly(["linbudu", 599, false]);  

此时 a、b、c 被推导为了 string、number、boolean 类型,也就是说此时函数的泛型被填充为 [string, number, boolean] 这么个元组类型。

这一泛型填充方式被称为绑定模式(Binding Pattern),而在 4.8 版本中,禁用了基于绑定模式的类型推导,因为其对泛型的影响并不始终正确:

  declare function f<T>(x?: T): T;  ​  const [x, y, z] = f();

详情查看发布公告

展开阅读全文
发表评论

相关文章