TypeScript 3.4
使用 --incremental
标志加快后续构建
--incremental
标志加快后续构建TypeScript 3.4 引入了一个名为 --incremental
的新标志,它告诉 TypeScript 从上一次编译中保存有关项目图的信息。
下次使用 --incremental
调用 TypeScript 时,它将使用该信息来检测类型检查和生成对项目更改成本最低的方法。
默认使用这些设置,当我们运行 tsc
时,TypeScript 将在输出目录(./lib
)中查找名为 .tsbuildinfo
的文件。 如果 ./lib/.tsbuildinfo
不存在,它将被生成。 但如果存在,tsc
将尝试使用该文件逐步进行类型检查并更新输出文件。
这些 .tsbuildinfo
文件可以安全地删除,并且在运行时对我们的代码没有任何影响——它们纯粹用于更快地编译。 我们也可以将它们命名为我们想要的任何名字,并使用 --tsBuildInfoFile
标志将它们放在我们想要的任何位置。
复合项目
复合项目的意图的一部分(tsconfig.json
s,composite
设置为 true
)是不同项目之间的引用可以增量构建。 因此,复合项目将始终生成 .tsbuildinfo
文件。
outFile
outFile
当使用 outFile
时,构建信息文件的名称将基于输出文件的名称。 例如,如果我们的输出 JavaScript 文件是 ./ output / foo.js
,那么在 --incremental
标志下,TypeScript 将生成文件./output/foo.tsbuildinfo
。 如上所述,这可以通过 --tsBuildInfoFile
标志来控制。
泛型函数的高阶类型推断
当来自其它泛型函数的推断产生用于推断的自由类型变量时,TypeScript 3.4 现在可以生成泛型函数类型。
这意味着在 3.4 中许多函数组合模式现在运行的更好了。
为了更具体,让我们建立一些动机并考虑以下 compose
函数:
compose
还有两个其他函数:
f
它接受一些参数(类型为A
)并返回类型为B
的值g
采用类型为B
的参数(类型为f
返回),并返回类型为C
的值
compose
然后返回一个函数,它通过 f
然后 g
来提供它的参数。
调用此函数时,TypeScript 将尝试通过一个名为 type argument inference 的进程来计算出 A
,B
和 C
的类型。 这个推断过程通常很有效:
推断过程在这里相当简单,因为 getDisplayName
和 getLength
使用的是可以轻松引用的类型。 但是,在 TypeScript 3.3 及更早版本中,泛型函数如 compose
在传递其他泛型函数时效果不佳。
在旧版本中,当从其他类型变量(如 T
和 U
)推断时,TypeScript 会推断出空对象类型({}
)。
在 TypeScript 3.4 中的类型参数推断时,对于返回函数的泛型函数的调用,TypeScript 将(视情况而定)把类型参数从泛型函数参数传递到生成的函数类型中。
换句话说,而不是生成类型
TypeScript 3.4 生成的类型
注意,T
已从 makeArray
传递到结果类型的类型参数列表中。 这意味着来自 compose
参数的泛型已被保留,我们的 makeBoxedArray
示例将正常运行!
更多细节,你可以读到更多从这些原始的变动。
改进 ReadonlyArray
和 readonly
元祖
ReadonlyArray
和 readonly
元祖TypeScript 3.4 让使用只读的类似数组的类型更简单了。
一个与 ReadonlyArray
相关的新语法
ReadonlyArray
相关的新语法ReadonlyArray
类型描述 Array
是只读的。
任何带有 ReadonlyArray
引用的变量不能被添加、移除或者替换数组中的任何元素。
当期待数组不可变时使用 ReadonlyArray
替代 Array
是好实践,考虑到数组有一个更棒的语法的情况下这通常有一点痛苦。 尤其是,number[]
是一个省略版的 Array<number>
,就像 Date[]
是省略版的 Array<Date>
。
TypeScript 3.4 为 ReadonlyArray
引入了一个新的语法,就是在数组类型上使用了新的 readonly
修饰语。
readonly
元祖
readonly
元祖TypeScript 3.4 同样引入了对 readonly
元祖的支持。 我们可以在任何元祖类型上加上前置 readonly
关键字用来表示它是 readonly
元祖,非常像我们现在可以对数组使用的省略版语法。 就像你可能期待的,不像插槽可写的普通元祖,readonly
元祖只允许从那些位置读。
普通的元祖是用相同的方式从 Array
继承的——一个元祖T1
, T2
, ... Tn
继承自 Array< T1 | T2 | ... Tn >
- readonly
元祖是继承自类型 ReadonlyArray
。所以,一个 readonly
元祖 T1
, T2
, ... Tn
继承自 ReadonlyArray< T1 | T2 | ... Tn >
。
映射类型修饰语 readonly
和 readonly
数组
readonly
和 readonly
数组在之前的 TypeScript 版本中,我们一般使用映射类型操作不同的类似数组的结构。
这意味着,一个映射类型像 Boxify
可以在数组上生效,元祖也是。
不幸的是,映射类型像 Readonly
实用类型在数组和元祖类型上实际上是无用的。
在 TypeScript 3.4,在映射类型中的 readonly
修饰符将自动的转换类似数组结构到他们相符合的 readonly
副本。
类似地,你可以编写一个类似 Writable
映射类型的实用程序类型来移除 readonly
-ness,并将 readonly
数组容器转换回它们的可变等价物。
注意事项
它不是一个通用型操作,尽管它看起来像。 readonly
类型修饰符只能用于数组类型和元组类型的语法。
const
断言
const
断言TypeScript 3.4 引入了一个叫 const
断言的字面量值的新构造。 它的语法是用 const
代替类型名称的类型断言(例如 123 as const
)。 当我们用 const
断言构造新的字面量表达式时,我们可以用来表示:
该表达式中的字面量类型不应粗化(例如,不要从
'hello'
到string
)对象字面量获得
readonly
属性数组字面量成为
readonly
元组
也可以使用尖括号断言语法,除了 .tsx
文件之外。
此功能意味着通常可以省略掉仅用于将不可变性示意给编译器的类型。
请注意,上面的例子不需要类型注释。 const
断言允许 TypeScript 采用最具体的类型表达式。
如果你选择不使用 TypeScript 的 enum
结构,这甚至可以用于在纯 JavaScript 代码中使用类似 enum
的模式。
注意事项
需要注意的是,const
断言只能直接应用于简单的字面量表达式上。
另一件得记住的事是 const
上下文不会直接将表达式转换为完全不可变的。
更多详情,你可以查看相应的 pull request。
对 globalThis
的类型检查
globalThis
的类型检查TypeScript 3.4 引入了对 ECMAScript 新 globalThis
全局变量的类型检查的支持,它指向的是全局作用域。 与上述解决方案不同,globalThis
提供了一种访问全局作用域的标准方法,可以在不同环境中使用。
注意,使用 let
和 const
声明的全局变量不会显示在 globalThis
上。
同样重要的是要注意,在编译为老版本的 ECMAScript 时,TypeScript 不会转换引用到 globalThis
上。 因此,除非您的目标是常青浏览器(已经支持 globalThis
),否则您可能需要使用 polyfill。
更多详细信息,请参阅该功能的 pull request。
参考
Last updated
Was this helpful?