ES2020新特性

前言

一个ECMAScript标准的制作过程，包含了Stage 0到Stage 4 五个阶段，每个阶段提交至下一阶段都需要TC39审批通过。本文介绍这些新特性处于Stage 4 阶段，这意味着应该很快在浏览器和其他引擎中支持这些特性

ES2020 是 ECMAScript 对应 2020 年的版本。这个版本不像 ES6 (ES2015)那样包含大量新特性。但也添加了许多有趣且有用的特性。

**关于TC39 **ECMA的第39号技术专家委员会（Technical Committee 39，简称TC39）负责制订ECMAScript标准，成员包括Microsoft、Mozilla、Google等公司（主流浏览器厂商代表）。

关于Test262  是一个向JavaScript开发者提供各个浏览器对ECMAScript语言的新特性和老特性的实现状态的报告。它依赖于每天在各个JavaScript引擎中运行ECMA-262的测试用例，把语言特性的实现程度可视化地展示在网站上（test262.report/） **

---

可选链操作符（Optional Chaining）

所处阶段：Stage 4

可选链 可让我们在查询具有多个层级的对象时，不再需要进行冗余的各种前置校验。 日常开发中，当需要访问嵌套在对象内部好几层的属性时，可能就会得到臭名昭著的错误Uncaught TypeError: Cannot read property...，这种错误，让整段程序运行中止。

于是，你就要修改你的代码来处理来处理属性链中每一个可能的undefined对象，比如：

let nestedProp = obj && obj.first && obj.first.second;

在访问 obj.first.second 之前，要先确认 obj 和 obj.first 的值非 null(且不是 undefined)。 有了可选链式调用 ，可以大量简化类似繁琐的前置校验操作，而且更安全：

let nestedProp = obj?.first?.second;

如果obj或obj.first是null/undefined，表达式将会短路计算直接返回undefined。

浏览器支持情况：

Test262 Report:

MDN文档：developer.mozilla.org/zh-CN/docs/…

---

空位合并操作符（Nullish coalescing Operator）

所处阶段：Stage 4

**空值合并运算符（??）**是一个逻辑运算符。当左侧操作数为 null 或 undefined 时，其返回右侧的操作数。否则返回左侧的操作数。

日常开发中，当我们查询某个属性时，经常会给没有该属性就设置一个默认的值，比如下面两种方式：

let c = a ? a : b // 方式1
let c = a || b // 方式2

这两种方式有个明显的弊端，它都会覆盖所有的假值，如(0, '', false)，这些值可能是在某些情况下有效的输入。

let x = {
  profile: {
    name: '猜猜我是谁',
    age: ''
  }
}
console.log(x.profile.age || 18) //18

上例中age的属性为空字符串，却被等同为假值，为了解决这个问题，ES2020诞生了个新特性--空位合并操作符，用 ?? 表示。如果表达式在??的左侧运算符求值为 undefined 或 null，就返回其右侧默认值。

et c = a ?? b;
// 等价于let c = a !== undefined && a !== null ? a : b;

例如有以下代码：

const x = null;
const y = x ?? 500;
console.log(y); // 500
const n = 0
const m = n ?? 9000;
console.log(m) // 0

浏览器支持情况：

Test262 Report:

MDN文档: developer.mozilla.org/zh-CN/docs/…

---

BigInt

**所处阶段：Stage 4 ** ** javascript 在 Math 上一直很糟糕的原因之一是只能安全的表示-(2^53-1)至 2^53-1 范的值，即Number.MIN_SAFE_INTEGER 至Number.MAX_SAFE_INTEGER，超出这个范围的整数计算或者表示会丢失精度。

var num = Number.MAX_SAFE_INTEGER;  // -> 9007199254740991
num = num + 1; // -> 9007199254740992
// 再次加 +1 后无法正常运算
num = num + 1; // -> 9007199254740992
// 两个不同的值，却返回了true
9007199254740992 === 9007199254740993  // -> true

于是 BigInt 应运而生，它是第7个原始类型，可安全地进行大数整型计算。 你可以在BigInt上使用与普通数字相同的运算符，例如 +, -, /, *, %等等。 创建 BigInt 类型的值也非常简单，只需要在数字后面加上 n 即可。例如，123 变为 123n。也可以使用全局方法 BigInt(value) 转化，入参 value 为数字或数字字符串。

const aNumber = 111;
const aBigInt = BigInt(aNumber);
aBigInt === 111n // true
typeof aBigInt === 'bigint' // true
typeof 111 // "number"
typeof 111n // "bigint"

只要在数字末尾加上 n，就可以正确计算大数了：

1234567890123456789n * 123n;
// -> 151851850485185185047n

不过有一个问题，在大多数操作中，不能将 BigInt与Number混合使用。比较Number和 BigInt是可以的，但是不能把它们相加。

1n < 2 
// true
1n + 2
// Uncaught TypeError: Cannot mix BigInt and other types, use explicit conversions

浏览器支持情况：

Test262 Report:

TC39:  tc39.es/proposal-bi…

MDN文档:  developer.mozilla.org/zh-CN/docs/…

---

globalThis

所处阶段：Stage 4  (ECMAScript Latest Draft (ECMA-262))

globalThis 是一个全新的标准方法用来获取全局 this 。之前开发者会通过如下的一些方法获取：

• 全局变量 window：是一个经典的获取全局对象的方法。但是它在 Node.js 和 Web Workers 中并不能使用
• 全局变量 self：通常只在 Web Workers 和浏览器中生效。但是它不支持 Node.js。一些人会通过判断 self 是否存在识别代码是否运行在 Web Workers 和浏览器中
• 全局变量 global：只在 Node.js 中生效

过去获取全局对象，可通过一个全局函数：

// ES10之前的解决方案
const getGlobal = function(){
  if(typeof self !== 'undefined') return self
  if(typeof window !== 'undefined') return window
  if(typeof global !== 'undefined') return global
  throw new Error('unable to locate global object')
}

// ES10内置
globalThis.Array(0,1,2) // [0,1,2]
// 定义一个全局对象v = { value:true } ,ES10用如下方式定义
globalThis.v = { value:true }

而 globalThis 目的就是提供一种标准化方式访问全局对象，有了 globalThis 后，你可以在任意上下文，任意时刻都能获取到全局对象。 如果您在浏览器上，globalThis将为window，如果您在Node上，globalThis则将为global。因此，不再需要考虑不同的环境问题。

// worker.js
globalThis === self
// node.js
globalThis === global
// browser.js
globalThis === window

新提案也规定了，Object.prototype 必须在全局对象的原型链中。下面的代码在最新浏览器中已经会返回 true 了：

Object.prototype.isPrototypeOf(globalThis); // true

浏览器支持情况：

Test262 Report:

MDN文档:  developer.mozilla.org/zh-CN/docs/…

---

Promise.allSettled

所处阶段：Stage 4 ** ** 我们知道 Promise.all 具有并发执行异步任务的能力。但它的最大问题就是如果参数中的任何一个promise为reject的话，则整个Promise.all 调用会立即终止**，并返回一个reject的新的 Promise 对象。

const promises = [
 Promise.resolve(1),
 Promise.resolve(2),
 Promise.reject('error')
];
Promise.all(promises)
 .then(responses => console.log(responses))
 .catch(e => console.log(e)) // "error"
复制代码

假如有这样的场景：一个页面有三个区域，分别对应三个独立的接口数据，使用 Promise.all 来并发请求三个接口，如果其中任意一个接口出现异常，状态是reject,这会导致页面中该三个区域数据全都无法出来，这个状况我们是无法接受，Promise.allSettled的出现就可以解决这个痛点：

Promise.allSettled([
  Promise.reject({ code: 500, msg: '服务异常' }),
  Promise.resolve({ code: 200, list: [] }),
  Promise.resolve({ code: 200, list: [] })
]).then(res => {
  console.log(res)
  /*
        0: {status: "rejected", reason: {…}}
        1: {status: "fulfilled", value: {…}}
        2: {status: "fulfilled", value: {…}}
    */
  // 过滤掉 rejected 状态，尽可能多的保证页面区域数据渲染
  RenderContent(
    res.filter(el => {
      return el.status !== 'rejected'
    })
  )
})

**Promise.allSettled跟Promise.all类似, 其参数接受一个Promise的数组, 返回一个新的Promise, 唯一的不同在于, 它不会进行短路, 也就是说当Promise全部处理完成后,我们可以拿到每个Promise的状态, 而不管是否处理成功。

浏览器支持情况：

Test262 Report:

MDN文档: developer.mozilla.org/zh-CN/docs/…

---

String.prototype.matchAll

**所处阶段：Stage 4 ** **如果一个正则表达式在字符串里面有多个匹配，现在一般使用g修饰符或y修饰符，在循环里面逐一取出。

function collectGroup1 (regExp, str) {
  const matches = []
  while (true) {
    const match = regExp.exec(str)
    if (match === null) break
    matches.push(match[1])
  }
  return matches
}
console.log(collectGroup1(/"([^"]*)"/g, `"foo" and "bar" and "baz"`))
// [ 'foo', 'bar', 'baz' ]
复制代码

值得注意的是，如果没有修饰符 /g, .exec() 只返回第一个匹配。现在通过String.prototype.matchAll方法，可以一次性取出所有匹配。

function collectGroup1 (regExp, str) {
  let results = []
  for (const match of str.matchAll(regExp)) {
    results.push(match[1])
  }
  return results
}
console.log(collectGroup1(/"([^"]*)"/g, `"foo" and "bar" and "baz"`))
// ["foo", "bar", "baz"]
复制代码

上面代码中，由于string.matchAll(regex)返回的是遍历器，所以可以用for...of循环取出。

浏览器支持情况：

Test262 Report:

MDN文档:  developer.mozilla.org/zh-CN/docs/…

---

Dynamic import

**所处阶段：Stage 4 ** ** 现在前端打包资源越来越大，前端应用初始化时根本不需要全部加载这些逻辑资源，为了首屏渲染速度更快，很多时候都是动态导入（按需加载）模块，比如懒加载图片等，这样可以帮助您提高应用程序的性能。 其中按需加载这些逻辑资源都一般会在某一个事件回调中去执行：

el.onclick = () => {
  import('/modules/my-module.js')
    .then(module => {
      // Do something with the module.
    })
    .catch(err => {
      // load error;
    })
}
复制代码

import()可以用于script脚本中,import(module) 函数可以在任何地方调用。它返回一个解析为模块对象的 promise。 这种使用方式也支持 await 关键字。

let module = await import('/modules/my-module.js');
复制代码

通过动态导入代码，您可以减少应用程序加载所需的时间，并尽可能快地将某些内容返回给用户。

浏览器支持情况：

Test262 Report:

MDN文档:  developer.mozilla.org/zh-CN/docs/…

---

关于 Stage 0 到 Stage 4

** Stage 0: Strawman（稻草人阶段）

头脑风暴式的提案 一种推进ECMAScript发展的自由形式，任何TC39成员，或者注册为TC39贡献者的会员，都可以提交。

Stage 1: Proposal（提案阶段） ** 该阶段产生一个正式的提案。

确定一个带头人来负责该提案，带头人或者联合带头人必须是TC39的成员。 描述清楚要解决的问题，解决方案中必须包含例子，API以及关于相关的语义和算法。 潜在问题也应该指出来，例如与其他特性的关系，实现它所面临的挑战。 polyfill和demo也是必要的。

Stage 2: Draft（草案阶段）

草案是规范的第一个版本，与最终标准中包含的特性不会有太大差别。草案之后，原则上只接受增量修改。

草案中包含新增特性语法和语义的，尽可能的完善的形式说明，允许包含一些待办事项或者占位符。 必须包含2个实验性的具体实现，其中一个可以是用转译器实现的，例如Babel。

Stage 3: Candidate（候选阶段）

候选阶段，获得具体实现和用户的反馈。此后，只有在实现和使用过程中出现了重大问题才会修改。

规范文档必须是完整的，评审人和ECMAScript的编辑要在规范上签字。 至少要有两个符合规范的具体实现。

Stage 4: Finished（完成阶段）

已经准备就绪，该特性会出现在年度发布的规范之中。

通过 Test-262 的验收测试。 有2个通过测试的实现，以获取使用过程中的重要实践经验。 ECMAScript的编辑必须规范上的签字。

---

参考： MDN文档 TC39 Proposals
github.com/tc39/test26… dev.to/carlillo/es…