TypeScript 4.2 正式发布：优化了类型和开发者体验

TypeScript 团队最近正式发布了 TypeScript 4.2 版本！该版本的 TypeScript 拥有了更灵活的类型注释，更严格的检查，额外的配置选项以及一些其他的重大变化。我们现在可以在元组的类型定义中的任意位置使用 Rest 参数（而不是只能在末尾使用）了！类型别名不再在类型错误消息中扩展，从而让我们开发者拥有更好的体验。

TypeScript 4.2 支持元组类型中任何位置的 Rest 参数（Rest Parameters）：

type T1 = [...string[], number];  // 任意个 string 以及一个 number
type T2 = [number, ...boolean[], string, string];  // 一个 number，跟着任意个 boolean，跟着两个 string

在以前的版本中，Rest 参数只能在末尾处使用，例如 type T1 = [number, ...string[]];，因此我们不能对包含 Rest 参数却以固定类型参数结尾的参数集使用强类型定义。

function f1(...args: [...string[], number]) {
    const strs = args.slice(0, -1) as string[];
    const num = args[args.length - 1] as number;
    // ...
}

f1(5);
f1('abc', 5);
f1('abc', 'def', 5);
f1('abc', 'def', 5, 6);  // Error

函数 f1 的 string 参数的个数是不确定的，它的后面跟着一个 number 类型的参数。我们现在可以精确的定义 f1 参数的类型了。当然我们还是不能够使用多个 Rest 参数，可选元素不能在必需元素之前，也不能在其余元素之后。以下的参数类型定义是支持的：

type Tup3<T extends unknown[], U extends unknown[], V extends unknown[]> = [...T, ...U, ...V];

type TN1 = Tup3<[number], string[], [number]>;  // [number, ...string[], number]
// Optional element following required element
type TN2 = Tup3<[number], [string?], [boolean]>;  // [number, string | undefined, boolean]
type TN3 = Tup3<[number], string[], [boolean?]>;  // [number, ...(string | boolean | undefined)[]]
type TN4 = Tup3<[number], string[], boolean[]>;  // [number, ...(string | boolean)[]]
type TN5 = Tup3<string[], number[], boolean[]>;  // (string | number | boolean)[] 

TypeScript 4.2 还让我们在使用类型别名时候拥有更好的开发体验：

前面的示例表明，类型别名 BasicPrimitive 在某些情况下被拓展或规范化（例如为 number | string | boolean类型），但现在不会这样了。发行说明还强调了在不同地方的 TypeScript 开发者体验感受方面都做出了改进：

abstract 修饰符现在可以在构造函数签名上使用，实例：

abstract class Shape {
    abstract getArea(): number;
}

// 这是个错误！我们不能实例化一个抽象的类 
new Shape();

interface HasArea {
    getArea(): number;
}

// 这是一个错误！我们不能赋予抽象的构造器类型给一个不是抽象的构造器类型
let Ctor: new  () => HasArea = Shape;

// 这就很棒啦
let Ctor: abstract new () => HasArea = Shape;
//        ^^^^^^^^

abstract 修饰符的新语义允许我们以支持抽象类的方式编写 mixin factories 的构造器。

我们现在可以将已解构的变量明确标记为未使用，而一些开发人员以前会写：

const [Input, /* state */, /* actions */, meta] = input 

而如果要更好的维护和阅读性，而非使用这个：

const [Input, , , meta] = input 

开发者们现在可以在未使用的变量名称的前面使用一个下划线标记：

const [Input, _state, _actions, meta] = input

新版本的 TypeScript 还对 in 运算符提供了更严格的检查："foo" in 42 将触发类型错误。而 TypeScript 的未调用函数检查现在适用于 && 和 || 表达式。当类型具有字符串索引签名时，设置 noPropertyAccessFromIndexSignature 标志不再使用点运算符（例如 person.name），让我们进行属性访问成为可能，而 explainFiles 编译器标志（例如 tsc --explainFiles 命令）让编译器能够产生更详尽的信息告诉我们解决的和处理的文件的信息：

TS_Compiler_Directory/4.2.2/lib/lib.es5.d.ts
  Library referenced via 'es5' from file 'TS_Compiler_Directory/4.2.2/lib/lib.es2015.d.ts'
TS_Compiler_Directory/4.2.2/lib/lib.es2015.d.ts
  Library referenced via 'es2015' from file 'TS_Compiler_Directory/4.2.2/lib/lib.es2016.d.ts'

... More Library References...

foo.ts
  Matched by include pattern '**/*' in 'tsconfig.json'

TypeScript 4.2 还包含了一些重大更改：JavaScript 中的类型参数不会解析为类型参数，这意味着有效的 TypeScript 代码 f<T>(100) 将按照 JavaScript 规范解析到 JavaScript 文件中 (f < T) > (100)。与此同时，.d.ts 扩展名不能在导入路径中使用了（例如 import { Foo } from "./foo.d.ts;），而我们可以用以下任何一种替换：

import {Foo} from "./foo.js";
import {Foo} from "./foo";
import {Foo} from "./foo/index.js";

TypeScript 4.2 实现在任何规模或位置更加准确编写 JavaScript 的目标，但是，在每个发行版中，TypeScript 都会增加其复杂性。一位开发者指出：

TypeScript 4.2 还有其他的重大更改和功能新增，欢迎开发者阅读完整的发行说明。TypeScript 是基于 Apache 2 许可的开源软件，我们鼓励通过 TypeScript 在 GitHub 上的项目，在遵循 TypeScript 贡献准则和 Microsoft 开源行为准则的前提下进行贡献和反馈。