TypeScript 4.9 发布!

TypeScript 是一种通过添加类型和类型检查构建在 JavaScript 之上的语言。类型可以描述诸如对象的形状、如何调用函数以及属性是否可以为 null 或 undefined 之类的东西。TypeScript 可以检查这些类型,以确保我们不会在程序中出错,这样我们就可以自信地编码。它还可以为编辑器中的自动完成、转到定义和重构等其他工具提供支持。事实上,如果您使用过 Visual Studio 或 VS Code for JavaScript 等编辑器,您其实已经体验过由 TypeScript 提供的支持了!

satisfies 运算符

TypeScript 开发人员经常面临两难境地:我们既要确保某些表达式匹配某些类型,又要保留该表达式的最具体类型以用于推理目的。

新的 satisfies 运算符让我们验证表达式的类型是否匹配某种类型,而不更改该表达式的结果类型。例如,我们可以使用 satisfies 来验证 palette 的所有属性是否与 string | number[] 兼容:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
type Colors = "red" | "green" | "blue";

type RGB = [red: number, green: number, blue: number];

const palette = {
red: [255, 0, 0],
green: "#00ff00",
bleu: [0, 0, 255]
// ~~~~ The typo is now caught!
} satisfies Record<Colors, string | RGB>;

// Both of these methods are still accessible!
const redComponent = palette.red.at(0);
const greenNormalized = palette.green.toUpperCase();

使用 in 运算符缩小未列出属性的范围

作为开发人员,我们经常需要处理在运行时不完全已知的值。事实上,我们通常不知道属性是否存在,无论我们是从服务器获得响应还是读取配置文件。JavaScript 的 in 运算符可以检查对象上是否存在属性。

以前,TypeScript 允许我们缩小任何未明确列出属性的类型的范围。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
interface RGB {
red: number;
green: number;
blue: number;
}

interface HSV {
hue: number;
saturation: number;
value: number;
}

function setColor(color: RGB | HSV) {
if ("hue" incolor) {
// 'color' now has the type HSV
}
// ...
}

在这里,RGB 类型没有列出色调并缩小范围,留给我们的是 HSV 类型。

TypeScript 4.9 使 in 运算符在缩小未列出属性的类型时更加强大。该语言不会按原样保留它们,而是将它们的类型与 Record<”property-key-being-checked”, unknown> 相交。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
interface Context {
packageJSON: unknown;
}

function tryGetPackageName(context: Context): string | undefined {
const packageJSON = context.packageJSON;
// Check to see if we have an object.
if (packageJSON && typeof packageJSON === "object") {
// Check to see if it has a string name property.
if ("name" in packageJSON && typeof packageJSON.name === "string") {
// Just works!
return packageJSON.name;
}
}
return undefined;
}

TypeScript 4.9 还加强了一些关于如何使用 in 的检查,确保左侧可分配给类型 string | number | symbol,右侧可分配给对象。这有助于检查我们是否使用了有效的属性键,而不是不小心检查基元。

自动访问器

TypeScript 4.9 支持 ECMAScript 中即将推出的功能,称为自动访问器。自动访问器的声明就像类的属性一样,除了它们是用 accessor 关键字声明。

1
2
3
4
5
6
7
class Person {
accessor name: string;

constructor(name: string) {
this.name = name;
}
}

检查 NaN 是否相等

JavaScript 开发人员的一个主要难题是使用内置的相等运算符检查值 NaN。对于某些背景,NaN 是一个特殊的数值,代表“不是数字”。没有什么能等于 NaN——即使是 NaN!但至少对称,一切总是不等于 NaN。

严格来说,这不是特定于 JavaScript 的问题,因为任何包含 IEEE-754 浮点数的语言都具有相同的行为。但是 JavaScript 的主要数字类型是浮点数,而 JavaScript 中的数字解析通常会导致 NaN。反过来,检查 NaN 最终变得相当普遍,正确的方法是使用 Number.isNaN——但正如我们提到的,很多人不小心最终使用 someValue === NaN 进行检查。

TypeScript 现在与 NaN 直接比较时会出错,并且会建议使用 Number.isNaN 的一些变体。

1
2
3
4
5
6
function validate(someValue: number) {
return someValue !== NaN;
// ~~~~~~~~~~~~~~~~~
// error: This condition will always return 'true'.
// Did you mean '!Number.isNaN(someValue)'?
}

我们认为,此更改应该严格有助于捕获初学者错误,类似于 TypeScript 当前在与对象和数组文字进行比较时发出错误的方式。

File-Watching 使用文件系统事件

在 TypeScript 4.9 中,文件监视默认由文件系统事件提供支持,只有在我们未能设置基于事件的监视程序时才会回退到轮询。对于大多数开发人员来说,当以 –watch 模式运行或使用 TypeScript 支持的编辑器(如 Visual Studio 或 VS Code)运行时,这应该会提供更少的资源密集型体验。

文件监视的工作方式仍然可以通过环境变量和 watchOptions 进行配置。一些编辑器如 VS Code 可以独立支持 watchOptions。使用源代码驻留在网络文件系统(如 NFS 和 SMB)上的更奇特设置的开发人员可能需要选择回到旧行为。不过,如果服务器具有合理的处理能力,则启用 SSH 并远程运行 TypeScript 可能会更好,这样它就可以直接访问本地文件。VS Code 有很多远程扩展来简化这件事。

编辑器的“Remove Unused Imports”和“Sort Imports”命令

在 TypeScript 4.3 中,我们引入了一个名为“Sort Imports”的命令,它只会对文件中的导入进行排序,但不会删除它们——并且会像这样重写文件。
``
import { bar, foo } from “./helper”;
import { HoneyBadger, Moose, Zebra } from”./zoo”;

let x: Moose | HoneyBadger = foo();
``
“Sort Imports”的警告是,在 Visual Studio Code 中,此功能仅可用作保存时命令,而不是可手动触发的命令。

TypeScript 4.9 增加了另一半,现在提供了“Remove Unused Imports”。TypeScript 现在将删除未使用的导入名称和语句,但会单独保留相对顺序。
``
import { Moose, HoneyBadger } from”./zoo”;
import { foo } from “./helper”;

let x: Moose | HoneyBadger = foo();
``
所有希望使用任一命令的编辑器都可以使用此功能;但值得注意的是,Visual Studio Code(1.73 及更高版本)将内置支持,并将通过其命令面板显示这些命令。