TypeScript 4.3 现已发布。该版本增加了许多新的功能，如支持为读和写属性单独指定类型、"override"和"-noImplicitOverride"标志、模板字符串类型的改进等等。
具体更新内容如下：
- 支持为读和写属性单独指定类型。不过，读属性的类型必须可分配给写属性的类型。换句话说，getter 的类型必须可以分配给 setter。这确保了某种程度的一致性，因此一个属性总是可以被分配给它自己。
class Thing {
#size = 0;
get size() {
return this.#size;
}
set size(value) {
let num = Number(value);
// Don't allow NaN and stuff.
if (!Number.isFinite(num)) {
this.#size = 0;
return;
}
this.#size = num;
}
}
- 增加了 override 关键字，当一个方法被标记为 override 时，TypeScript 将始终确保基类中存在一个相同名称的方法。同时提供 --noImplicitOverride 标志，当这个选项被打开时，除非明确地使用 override 关键字，否则覆盖基类中的任何方法都会成为一个错误。
class SomeComponent {
setVisible(value: boolean) {
// ...
}
someHelperMethod() {
// ...
}
}
class SpecializedComponent extends SomeComponent {
override setVisible(value: boolean) {
// ...
}
override show() {
// ~~~~~~~~
// Error! This method can't be marked with 'override' because it's not declared in
//'SomeComponent'.
// ...
}
// Oops! We weren't trying to override here,
// we just needed to write a local helper method.
someHelperMethod() {
// ...
}
// ...
}
- 模板字符串类型改进。当 TypeScript 看到一个模板字符串传递给一个需要字面类型的表达式时，它将尝试给这个表达式一个模板类型。另外，TypeScript 现在可以更好地关联，并在不同的模板字符串类型之间进行推断。
function bar(s: string): `hello ${string}` {
// Previously an error, now works!
return `hello ${s}`;
}
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}`;
// Now *all of these* work!
s1 = s2;
s1 = s3;
s1 = s4;
s1 = s5;
s1 = s6;
- TypeScript 4.3 扩展了类中哪些元素可以被赋予 #private 名称，以使它们在运行时真正私有。除了属性之外，方法和访问器也可以被赋予私有。
class Foo {
#someMethod() {
//...
}
get #someValue() {
return 100;
}
publicMethod() {
// These work.
// We can access private-named members inside this class.
this.#someMethod();
return this.#someValue;
}
static #someMethod() {
// ...
}
}
new Foo().#someMethod();
// ~~~~~~~~~~~
// error!
// Property '#someMethod' is not accessible
// outside class 'Foo' because it has a private identifier.
new Foo().#someValue;
// ~~~~~~~~~~
// error!
// Property '#someValue' is not accessible
// outside class 'Foo' because it has a private identifier.
Foo.#someMethod();
// ~~~~~~~~~~~
// error!
// Property '#someMethod' is not accessible
// outside class 'Foo' because it has a private identifier.
- ConstructorParameters 类型帮助器现在可以在抽象类上工作。
abstract class C {
constructor(a: string, b: number) {
// ...
}
}
// Has the type '[a: string, b: number]'.
type CParams = ConstructorParameters<typeof C>;
- 泛型的上下文范围缩小。这使得 TypeScript 可以接受更多的模式，有时甚至可以捕捉错误。
function makeUnique<T>(collection: Set<T> | T[], comparer: (x: T, y: T) => number): Set<T> | T[] {
// Early bail-out if we have a Set.
// We assume the elements are already unique.
if (collection instanceof Set) {
return collection;
}
// Sort the array, then remove consecutive duplicates.
collection.sort(comparer);
for (let i = 0; i < collection.length; i++) {
let j = i;
while (j < collection.length && comparer(collection[i], collection[j + 1]) === 0) {
j++;
}
collection.splice(i + 1, j - i);
}
return collection;
}
- 在 strictNullChecks 下，检查条件中的 Promise 是否为 "truthy" 将触发一个错误。
async function foo(): Promise<boolean> {
return false;
}
async function bar(): Promise<string> {
if (foo()) {
// ~~~~~
// Error!
// This condition will always return true since
// this 'Promise<boolean>' appears to always be defined.
// Did you forget to use 'await'?
return "true";
}
return "false";
}
- 现在，索引签名可以被声明为静态的。同样的规则适用于类的静态索引签名，即每个其他的静态属性都必须与索引签名兼容。
class Foo {
static hello = "hello";
static world = 1234;
static prop = true;
// ~~~~
// Error! Property 'prop' of type 'boolean'
// is not assignable to string index type
// 'string | number | undefined'.
static [propName: string]: string | number | undefined;
}
// Valid.
Foo["whatever"] = 42;
// Has type 'string | number | undefined'
let x = Foo["something"];
- 作为增量构建的一部分而生成的 .tsbuildinfo 文件大大缩小。
- TypeScript 4.3 还对增量模式和观察模式做了一些改变，使项目的第一次构建与普通的构建一样快。官方称，在一个有 3000 个文件的存储库中，初始构建时间可减少近三分之一。
- 现在，开始写一个没有路径的导入语句时，TypeScript 会提供一个可能的导入列表。当提交完成时，TypeScript 会完成完整的导入语句，包括要写的路径。
![]()
- TypeScript 现在支持
@link标签，并会尝试解决它们所链接的声明。这意味着开发者可以将鼠标悬停在 @ 链接标签中的名字上，并获得快速的信息，或者使用 go-to-definition 或 find-all-references 等命令。
/**
* 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 it's a carrot seed!
*/
function plantCarrot(seed: Seed) {
// TODO: some gardening
}
![]()
目前，TypeScript 4.4 的开发工作已经开始，该版本预计于 2021 年 8 月正式发布。感兴趣的用户可查看 TypeScript 4.4 迭代计划以跟踪发布日期和即将推出的功能。
更多详细内容，可查看官方公告
