TypeScript 3.5
改进速度
TypeScript 3.5 为类型检查和增量构建采用了几个优化。
类型检查速度提升
TypeScript 3.5 包含对 TypeScript 3.4 的某些优化,可以更高效地进行类型检查。 在代码补全列表等类型检查驱动的操作上,这些改进效果显著。
改进 --incremental
--incremental
TypeScript 3.5 通过缓存计算状态的信息(编译器设置、寻找文件的原因、文件在哪里被找到等等),改进了在 3.4 中的 --incremental
构建模式。我们发现重新构建花费的时间比 TypeScript 3.4 减少了 68%!
有关更多信息,你可以查看这些 pull requests
Omit
辅助类型
Omit
辅助类型TypeScript 3.5 添加了新的 Omit
辅助类型,这个类型用来创建从原始类型中移除了某些属性的新类型。
使用 Omit
辅助,我们有能力复制 Person
中除了 location
之外的所有属性。
有关更多细节,在 GitHub 查看添加 Omit
的 pull request, 以及有关剩余对象使用 Omit
的更改。
改进了联合类型中多余属性的检查
在 TypeScript 3.4 及之前的版本中,会出现确实不应该存在的多余属性却被允许存在的情况。 例如,TypeScript 3.4 在对象字面量上允许不正确的 name
属性,甚至它的类型在 Point
和 Label
之中都不匹配。
以前,一个无区别的联合在它的成员上不会进行任何多余属性的检查,结果,类型错误的 name
属性溜了进来。
在 TypeScript 3.5 中,类型检查器至少会验证所有提供的属性属于某个联合类型的成员,且类型恰当,这意味着,上面的例子会正确的进行错误提示。
注意,只要属性类型有效,仍允许部分重叠。
--allowUmdGlobalAccess
标志
--allowUmdGlobalAccess
标志在 TypeScript 3.5 中,使用新的 --allowUmdGlobalAccess
标志,你现在可以从任何位置引用全局的 UMD 申明——甚至模块。
此模式增加了混合和匹配第三方库的灵活性,其中库声明的全局变量总是可以被使用,甚至可以从模块内部使用。
有关更多细节,查看 GitHub 上的 pull request。
更智能的联合类型检查
在 TypeScript 3.4 以及之前的版本中,下面的例子会无效:
这是因为 S
无法被分配给 { done: false, value: number }
或者 { done: true, value: number }
。 为啥? 因为属性 done
在 S
不够具体——他是 boolean
。而 T
的的每个成员有一个明确的为 true
或者 false
属性 done
。
这就是我们单独检查每个成员的意义:TypeScript 不只是将每个属性合并在一起,看看是否可以赋予 S
。
如果这样做,一些糟糕的代码可能会像下面这样:
然而,对于原始的例子,这有点过于严格。 如果你弄清除 S
的任何可能值的精确类型,你实际上可以看到它与 T
中的类型完全匹配。
在 TypeScript 3.5 中,当分配具有辨别属性的类型时,如 T
,实际上将进一步将类似 S
的类型分解为每个可能的成员类型的并集。 在这种情况下,由于 boolean
是 true
和 false
的联合,S
将被视为 {done:false,value:number}
和 {done:true,value:number }
。
有关更多细节,你可以在 GitHub 上查看原始的 pull request。
泛型构造函数的高阶类型推断
在 TypeScript 3.4 中,我们改进了对返回函数的泛型函数的推断:
将其他泛型函数作为参数,如下所示:
TypeScript 3.4 的推断允许 newFn
是泛型的。它的新类型是 <T>(x:T)=> Box <T []>
。而不是旧版本推断的,相对无用的类型,如 (x:{})=> Box <{} []>
。
TypeScript 3.5 在处理构造函数的时候推广了这种行为。
除了上面的组合模式之外,这种对泛型构造函数的新推断意味着在某些 UI 库(如 React )中对类组件进行操作的函数可以更正确地对泛型类组件进行操作。
想学习更多,在 GitHub 上查看原始的 pull requet。
参考
Last updated
Was this helpful?