1 引言

Typescript 3.2 发布了几个新特性，主要变化是类型检查更严格，对 ES6、ES7 一些时髦功能拓展了类型支持。

2 概要

下面挑一些相对重要配置介绍。

strictBindCallApply

对 bind call apply 更严格的类型检测。

比如如下可以检测出 apply 函数参数数量和类型的错误：

function foo(a: number, b: string): string {
  return a + b;
}

let a = foo.apply(undefined, [10]); // error: too few argumnts

特别对一些 react 老代码，函数需要自己 bind(this)，在没有用箭头函数时，可能经常使用 this.foo = this.foo.bind(this)，这时类型可能会不准，但升级到 TS3.2 后，可以准确捕获到错误了。

Object spread 类型自动合并

现在 Object spread 类型可以自动合并了：

// Returns 'T & U'
function merge<T, U>(x: T, y: U) {
  return { ...x, ...y };
}

Object rest 类型自动剔除

const { x, y, z, ...rest } = obj;

当我们使用了 Object rest 语法时，rest 的类型其实是 obj 类型剔除了 x y z 这三个 key 的类型，现在 ts 已经能自动做到了！

下面是实现方式：

interface XYZ {
  x: any;
  y: any;
  z: any;
}

type DropXYZ<T> = Pick<T, Exclude<keyof T, keyof XYZ>>;

function dropXYZ<T extends XYZ>(obj: T): DropXYZ<T> {
  let { x, y, z, ...rest } = obj;
  return rest;
}

通过 Pick & Exclude 达到剔除 obj 属性的效果，具体可以参考之前的精读：精读《Typescript2.0 – 2.9》。

tsconfig 配置集成支持 node_modules

这是一个福音，以往在 tsconfig.json 为了继承一个配置，我们需要这么写：

{
  "extends": "../node_modules/@my-team/tsconfig-base/tsconfig.json"
}

TS3.2 内置了 node_modules 解析，因此就可以更清晰的描述了：

{
  "extends": "@my-team/tsconfig-base"
}

内置 BigInt 类型

新增了 bigint 类型，再也不会把 bigint 和 number 混淆了。

declare let foo: number;
declare let bar: bigint;

foo = bar; // error: Type 'bigint' is not assignable to type 'number'.
bar = foo; // error: Type 'number' is not assignable to type 'bigint'.

3 精读

这次改动意图非常明显，是为了跟上 JS 的新语法。随着 JS 规范发展，TS 类型必然要得到补充，像 Object spread 与 Object rest 在项目中使用已经非常普遍了，及时完善类型支持，有助于对项目类型的约束。

strictBindCallApply 基本可以算是对 React 社区的回馈。在 React 很早期的版本是支持函数自动 bind 的，后来觉得过于 magic 就移除了，由于当时没有箭头函数，大家只好在调用处 .bind(this) 一下。

后来有人发现 .bind(this) 会导致函数引用变化，对 Mutable 性能优化不友好，所以许多代码都在 constructor 位置进行类似 this.fooBind = this.foo.bind(this) 这样的赋值，如今 TS3.2 对这种 bind 过后的函数也具备了严格的类型推测，将会有一大批代码从中受益。

顺带一提，最近 Babel 7.2.0 发布，也带来了一些新特性支持，比如：

提前支持私有属性：

class Person {
  #age = 19;

  #increaseAge() {
    this.#age++;
  }

  birthday() {
    this.#increaseAge();
    alert("Happy Birthday!");
  }
}

提前支持 pipleline Operator：

const result = 2 |> double |> 3 + # |> toStringBase(2, #); // "111"

整个 JS 生态一篇欣欣向荣的景象。不过 TS 对 ES 规范支持还是比较保守的，比如 Babel 6.x 就支持的 optional chain，现在也没有得到支持，原因是 “等待进入 Stage3”。追踪 ISSUE 可以参考：https://github.com/Microsoft/TypeScript/issues/16

如果不清楚 Stage3 的含义，可以阅读前端精读之前的一篇文章：精读 TC39 与 ECMAScript 提案。

4 总结

这次的版本升级几乎没带来什么新语法，只是纯粹的类型检测能力增强，所以如果希望进一步提高代码质量，就尽快升级把。