TypeScript 5

TypeScript 5.1 在 5.0 公布后不久就发布公测版，但公测版并不代表最后最新版本。

官方网全文 Announcing TypeScript 5.1 Beta 中带来了完整的更新公告，以下是我整理的 TypeScript 5.1 关键更新公告：

1. 优化了函数返回值种类 undefined 的种类推论
2. Getter 和 Setter 如今适用制定不同的种类
3. 自动补全 JSDoc @param 标签的代码片段
4. TypeScript 5.1 最少要工作在 ES2020 和 Node.js 14.17 的运行时环境中

需要抢鲜的朋友们，能通过 npm 轻松安装全新公测版：

npm install -D typescript@beta

1. 改善函数返回值种类 undefined 的种类推论

在 JavaScript 中，函数公式要是没有传参，就会自动回到 undefined。

// no return
const test = () => {}
test();  // undefined

在初期版本 TypeScript 中，仅有返回值类型为 void 和 any 的函数公式可以不要 return 句子，就算你清晰这一函数返回值是 undefined，那你也必须至少有一个 return 句子。

//  ✅ return 'void'
const t1 = () => {}

//  ✅ 'void' doesn't need a return statement
const t2 = (): void => {}

// ✅  'any' doesn't need a return statement
const t3 = (): any => {}

// ❌ A function whose declared type is neither 'void' nor 'any' must return a value.
const t4 = (): undefined => {}

如果你期待函数公式回到 undefined，你能有 2 种方法：

1. 应用 return undefined 句子；

2. 应用 return 句子而且界定返回值类型为 undefined。

declare function fun(f: () => undefined): undefined;

// ❌ Argument of type '() => void' is not assignable to parameter of type '() => undefined'.
fun(() => {})

// ❌ A function whose declared type is neither 'void' nor 'any' must return a value.
fun((): undefined => {})

// ❌ Argument of type '() => void' is not assignable to parameter of type '() => undefined'.
fun(() => {
    return;
})

// ✅ 
fun(() => {
    return undefined;
});

// ✅ 
fun((): undefined => {
    return;
});

为解决这类疑惑，TypeScript 5.1 适用容许函数公式回到 undefined 的时候不必须 return 句子。

// ✅ TypeScript 5.1!
const f1 = (): undefined => {}

// ✅ TypeScript 5.1!
f2((): undefined => {})

2. Getter 和 Setter 适用设定不同种类

在 TypeScript 4.3 容许为 Getter 和 Setter 特定不同种类。

interface Serializer {
  set value(v: string | number | boolean);
  get value(): string;
}

declare let box: Serializer;

// ✅ Allows writing a 'boolean'
box.value = true;

// ✅ Comes out as a 'string'
console.log(box.value.toUpperCase());

// ❌ Property 'toFixed' does not exist on type 'string'.
console.log(box.value.toFixed());

最开始，我们要求 get 种类一定要 set 类别的子类型，这类书写非常有效。

box.value = box.value;

可是，许多目前 API 的 Getter 和 Setter 之间有彻底不相关的种类。比如，DOM 和 CSSStyleRule API 里的 style 特性。每一个款式标准都有一个 CSSStyleDeclaration 类别的 style 特性，但是你必须使用字符串数组改动它。

TypeScript 5.1 适用为 Getter 和 Setter 设定不同种类:

interface CSSStyleRule {
  // ...

  /** Always reads as a `CSSStyleDeclaration` */
  get style(): CSSStyleDeclaration;

  /** Can only write a `string` here. */
  set style(newValue: string);

  // ...
}

还支持下边那样应用：

class SafeBox {
  #value: string | undefined;

  // Only accepts strings!
  set value(newValue: string) {}

  // Must check for 'undefined'!
  get value(): string | undefined {
    return this.#value;
  }
}

事实上，这相当于在 --exactOptionalProperties 下查验可选择属性方法。

3. 自动补全 JSDoc @param 标签的代码片段

TypeScript 5.1 适用在 TypeScript 和 JavaScript 文档中搜索 @param 标识后的代码片段进行。帮我们在编写代码文本文档或者在 JavaScript 中加入 JSDoc 种类时迅速形成相匹配注解信息内容。

4. 最少运行中规定：ES2020 和 Node.js 14.17

TypeScript 5.1 适用 ECMAScript 2020 新特性，所以需要在较一个新的 Node.js 工作环境下应用，最少要 Node.js 14.17 版本号之上。老版 Node.js 可能造成 tsc.js 或 tsserver.js 运行错误。

node_modules/typescript/lib/tsserver.js:2406
  for (let i = startIndex ?? 0; i < array.length; i  ) {
                           ^
SyntaxError: Unexpected token '?'
    at wrapSafe (internal/modules/cjs/loader.js:915:16)
    at Module._compile (internal/modules/cjs/loader.js:963:27)
    at Object.Module._extensions..js (internal/modules/cjs/loader.js:1027:10)
    at Module.load (internal/modules/cjs/loader.js:863:32)
    at Function.Module._load (internal/modules/cjs/loader.js:708:14)
    at Function.executeUserEntryPoint [as runMain] (internal/modules/run_main.js:60:12)
    at internal/main/run_main_module.js:17:47

汇总

TypeScript 5.1 目前正在产品测试，预估会在之后的几周内公布备选版本号和最后平稳版本号。如果对 TpeScript 有兴趣，可以放置公测版试着体验一下。