TypeScript 4.5 正式版发布，大量新特性和功能优化

11月17日，微软发布了 TypeScript 4.5 正式版本，4.5 正式版本和 RC 版本在功能上并没有什么改动，除了添加关于新 JSDoc 特性的注释，不过这个特性也是 RC 版本的新功能，只是当时没有写出来。

TypeScript 4.5 正式版新特性：

实验性功能：在夜间版本支持 Node.js 运行 ECMAScript 模块
从 node_modules 支持 lib
新的 Awaited 类型和对 Promise 对象的优化
模板字符串可以用作判断符
引入 es2022 模块（可以在异步函数之外使用 await）
移除 Conditional Types 的尾部递归
禁用省略型 Import ，加入新的 Import 类型修饰符
现在可以检查一个对象是否有一个私有字段
支持 Import 断言
JSDoc 中的常量断言和默认类型参数
对所有系统的 Node.js 引入 realpathSync.native 函数，减少项目加载时间（Windows 少了 5-13%）。
两个新的代码补全功能：重写或实现类中的方法的片段补全、JSX 属性的代码补全
编辑器对未解析的类型会直接展示原名（之前版本是用 any 来代替未解析的类型）。
关于 TypeScript 4.5 的新特性，我们在报导 TypeScript 4.5 RC 版本的时候就已经介绍过一些，包括在夜间版本支持 Node.js 运行 ECMAScript 模块、新的代码片段自动补全功能等，下面笔者再来介绍另外几个新特性：

Awaited 类型和 Promise 优化
TypeScript 4.5 引入了一种新的实用程序类型： Awaited 类型，这种类型是为了建模，像异步函数（async functions）中的 await 这样的操作，或者是 promise 上的 .then() 方法，总体来说就是它们递归展开 promise 的方式。

// A = string
type A = Awaited<Promise<string>>;

// B = number
type B = Awaited<Promise<Promise<number>>>;

// C = boolean | number
type C = Awaited<boolean | Promise<number>>;
该 Awaited 类型有利于建模现有的 API，包括像 Promise.all 、 Promise.race 这些 JavaScript 内置模板。事实上，一些关于 Promise.all 推理的问题是促进了 Awaited 类型的研究，比如这个在 TypeScript 4.4 和更早版本中失败的例子：

eclare function MaybePromise<T>(value: T): T | Promise<T> | PromiseLike<T>;

async function doSomething(): Promise<[number, number]> {
    const result = await Promise.all([
        MaybePromise(100),
        MaybePromise(200)
    ]);

    // Error!
    //
    //    [number | Promise<100>, number | Promise<200>]
    //
    // is not assignable to type
    //
    //    [number, number]
    return result;
}
在 TypeScript 4.5 中， Promise.all 结合 await 的特性以提供更好的推断结果，所以上面的例子是有效的。

从 node_modules 支持 lib
为了确保 TypeScript 和 JavaScript 能够开箱即用，TypeScript 捆绑了一系列声明文件(.d .ts文件)。这些声明文件表示JavaScript 语言中可用的 api 和标准的浏览器 DOM api。虽然根据文件目标有一些合理的默认值，但是您可以通过在tsconfig.json 中配置 lib 设置，来挑选程序使用哪些声明文件。

TypeScript 4.5 引入了一种覆盖特定内置库的方法，类似于 @types/ support 的工作方式。在决定 TypeScript 应该包含哪些 lib 文件时，它首先会在 node_modules 中寻找一个有作用域的 @typescript/lib-* 包。例如，当在 lib 中包含 dom 选项时，TypeScript 会使用 node_modules/@typescript/lib-dom 中的类型。

然后可以安装一个特定的包来接管给定的库。例如，现在 TypeScript 在 @types/web 上发布 DOM api 版本。如果你想锁定你的项目到一个特定版本的 DOM api，可以添加这个到你的 package.json：

{
"dependencies": {
    "@typescript/lib-dom": "npm:@types/web"
}
}
从 TypeScript 4.5开始，依赖管理器的锁文件（lockfile）会确保使用的 DOM 类型的版本完全相同。

模板字符串可以用作判断符
TypeScript 4.5 可以缩小具有模板字符串类型的值，也可以将模板字符串类型识别为判断符。比如下面这组代码，以前会报错，在 4.5 可以成功进行类型检查：

export interface Success {
    type: `${string}Success`;
    body: string;
}

export interface Error {
    type: `${string}Error`;
    message: string;
}

export function handler(r: Success | Error) {
    if (r.type === "HttpSuccess") {
        // 'r' has type 'Success'
        let token = r.body;
    }
}
有关此功能的更多信息，请参阅启用该特性的项。

--module es2022
TypeScript 现在支持一个新 module 设置： es2022 ，es2022 的主要特性是顶层的 await ，意味着可以在异步函数之外使用 await 。

禁用省略型导入
在某些情况下，TypeScript 无法检测到你正在使用导入，比如：

import { Animal } from "./animal.js";

eval("console.log(new Animal().isDangerous())");
在TypeScript 4.5中，你可以启用一个名为 preserveValueImports 的新标志，以防止 TypeScript 从 JavaScrip 输出中剥离任何导入的值。

此问题详情可点此参阅。

私有字段检查
TypeScript 4.5 支持 ECMAScript 提议，用于检查对象是否具有私有字段。现在可以编写一个具有 #private 字段的类，并使用 in 运算符查看另一个对象是否具有相同的字段。

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

    equals(other: unknown) {
        return other &&
            typeof other === "object" &&
            #name in other && // <- this is new!
            this.#name === other.#name;
    }
}
导入断言（Import Assertions）
TypeScript 4.5 支持导入断言，这是运行时用来确保导入具有预期格式的语法。

import obj from "./something.json" assert { type: "json" };
这些断言的内容不会被 TypeScript 检查，因为它们特定于主机，只是让浏览器和运行时可以处理它们(可能还会出错)。

// TypeScript is fine with this.
// But your browser? Probably not.
import obj from "./something.json" assert {
    type: "fluffy bunny"
};
动态 import() 调用还可以通过第二个参数使用 import 断言，第二个参数的预期类型是由一个名为 ImportCallOptions 的新类型定义的，目前只接受 assert 属性。

const obj = await import("./something.json", {
    assert: { type: "json" }
})
JSDoc 中的常量断言和默认类型参数
TypeScript 4.5 为 JSDoc 支持带来了一些额外的表现力，其中一个是 const 断言，可以通过在字面量后面写 const 来获得更精确、更不可变的类型。

// type is { prop: string }
let a = { prop: "hello" };

// type is { readonly prop: "hello" }
let b = { prop: "hello" } as const;
在 JavaScript 文件中，现在可以使用 JSDoc 类型断言来实现相同的功能：

// type is { prop: string }
let a = { prop: "hello" };

// type is { readonly prop: "hello" }
let b = /** @type {const} */ ({ prop: "hello" });
JSDoc 类型断言的注释以 /** @type {TheTypeWeWant} */ 开头，后面跟着一个圆括号表达式：

/** @type {TheTypeWeWant} */` (someExpression)
TypeScript 4.5 为 JSDoc 添加了默认类型参数，这意味着在 TypeScript 中有以下类型声明：

type Foo<T extends string | number = number> = { prop: T };
可以在 JavaScript 中重写为以下的 @typedef 声明：

/**
* @template {string | number} [T=number]
* @typedef Foo
* @property prop {T}
*/

// or

/**
* @template {string | number} [T=number]
* @typedef {{ prop: T }} Foo
*/
有关 TypeScript 4.5 的更多详尽信息，可查看微软发布博客原文。

(责任编辑：IT)

搜索

热门标签:

TypeScript 4.5 正式版发布，大量新特性和功能优化