TypeScript 3.5 发布: 增加 Omit 类型和智能联合类型检查

阅读数:4400 2019 年 6 月 28 日

TypeScript 团队发布了 TypeScript 3.5 ,该版本包括了类型检查性能的改进和一个新的 Omit 类型。

TypeScript 3.4 引入了一个新的标识 --incremental ,该标识保存了上次编译时的项目图信息,这样可以最快地检测到对项目进行的类型检查和变更,从而降低后续的编译时间。TypeScript 3.5 改进了这种方法,TypeScript 项目经理 Daniel Rosenwasser 对此做出如下解释:

TypeScript 3.5 包含了几个用来缓存编译器设置、查找文件的原因以及找到文件的位置等计算状态信息的优化。我们发现,–build 模式下,在使用 TypeScript 项目引用的数百个场景中,与 TypeScript 3.4 相比,TypeScript 3.5 的重新构建时间降低了 68%。

为了加速类型检查,并解决 TypeScript 3.4 中引入的一些类型检查性能回归问题,TypeScript 团队重点优化了代码路径和功能,使得 TypeScript 3.5 在进行很多增量检查时比 TypeScript 3.3 更快,不仅编译时间减少,代码自动补全和其他编辑器操作也变的更快。

一个典型的 TypeScript 模式是创建一个省略某些特定属性的新对象。在 TypeScript 3.5 之前,开发人员通常采用组合 Pick 和 Exclude 辅助工具的形式来定义省略模式。TypeScript 3.5 新增了一个 Omit 类型。TypeScript 团队提供的一个示例,该示例展示了 TypeScript 3.5 发布前后如何定义一个不包含 location 属性的 Person 对象的过程。

采用无 Omit 类型的 TypeScript 3.4 实现如下:

复制代码
type Person = {
name: string;
age: number;
location: string;
};
type RemainingKeys = Exclude<keyof Person, "location">;
type QuantumPerson = Pick<Person, RemainingKeys>;
// equivalent to
type QuantumPerson = {
name: string;
age: number;
};

采用新增了 Omit 类型的 TypeScript 3.5 的实现如下:

复制代码
type Omit<T, K extends keyof any> = Pick<T, Exclude<keyof T, K>>;

开发人员可以通过 lib.d.ts 获取 Omit 类型和其他内置辅助类型。

TypeScript 支持对象文本的多余属性检查,当一个类型包含意外属性时,它能检测出错误。在 TypeScript 3.5 之前,允许使用某些多余的属性,比如对象文本上的 name 属性,这是因为非区分联合不会对其成员执行多余属性检查。TypeScript 3.5 会验证所有提供的属性是否属于某个联合成员并具有适当的类型。

TypeScript 3.5 改进了联合类型检查。检查联合类型时,TypeScript 通常会单独比较每个组成类型。TypeScript 3.5 之前,在某些情况下,如果类型定义不够具体,类型检查就会失败。例如,如果一个成员的值是 true 或 false,而另一个成员使用具有相同属性值的 boolean 类型,那么检查就会失败。在 TypeScript 3.5 中,语言现在将类型分解为所有可能类型的联合。因为 boolean 是 true 与 false 的联合,所以现在这个例子就可以成功地进行类型检查了。

TypeScript 3.4 引入了对泛型函数的类型推导。TypeScript 3.5 将其推广到构造函数上。这种对泛型构造函数的新推导允许在某些 UI 库(如 React )中对类组件进行操作的函数可以更正确地对泛型类组件进行操作。

TypeScript 3.5 中的其他新特性还包括新增了 --allowUmdGlobalAccess 标志,它为编辑器提供了一个智能选择 API,以基于语法感知的方式扩展文本选择,并重构将类型抽取出本地类型别名。

TypeScript 3.4 引入了潜在的破坏性变更,下面这些是使用 TypeScript 3.5 新特性的修正结果:

  • 泛型类型参数被隐式约束为未知
  • { [k: string]: unknown } 不再是通配符赋值目标
  • 修复了对索引访问类型的不完全写入
  • Object.keys 拒绝 ES5 原语
  • lib.d.ts 中引入 Omit 辅助类型

TypeScript 团队已经在开发 TypeScript 3.6 的特性,3.6 版本中包括对生成器和迭代器的改进,对 ECMAScript 私有类字段的支持,更多的是对编译器、基础设施和编辑器的改进。

TypeScript 社区也在为 10 月 11 日举行的第二次 TSConf 活动做准备,届时 TypeScript 的创始人 Anders Hejlsberg 将发表主题演讲。

TypeScript 是 Apache 2 许可证下可用的开源软件。鼓励大家遵循 TypeScript 贡献指南微软开源行为准则 TypeScript GitHub 项目上进行贡献和反馈。

原文链接
TypeScript 3.5 Adds Omit Type, Smarter Union Type Checking

收藏

评论

微博

发表评论

注册/登录 InfoQ 发表评论