ECMAScript（简称为 ES）是一种用来描述 JavaScript 语言规范的标准定义。它描述了一系列的语言特性、操作符、对象类型以及函数等方面的相关规范。ECMAScript 2020 是 ES 标准的最新版本，本文将对它的底层实现技术思路进行详细解析。
宏任务和微任务
ECMAScript 2020 标准指定了一些新的异步操作，其中包括 Promise.allSettled、import() 等新特性。这些异步操作是通过宏任务（MacroTask）和微任务（MicroTask）的方式来执行的。
在执行宿主环境（如浏览器）中的代码时，ECMA 标准规定了一些事件循环（Event Loop）的规则。宏任务是指在事件循环队列中排队执行的任务，比如 setTimeout 等。微任务是指在宏任务执行结束后，在当前事件循环结束前执行的任务，比如 Promise 执行后的回调函数等。
下面的示例代码演示了如何使用 Promise 和 console.log() 输出宏任务和微任务的执行顺序：
-- -------------------- ---- ------- ------------------- -------- --------------------- - -------------------------- -- --- --------------------------------- - ------------------------ ------------------ - ------------------------ --- ------------------- ------展开代码
输出结果为：
script start script end promise1 promise2 setTimeout
可以看到，先输出了 script start 和 script end，然后是 Promise 的回调函数，最后才是 setTimeout 的回调函数。这也说明了 Promise 比 setTimeout 拥有更高的优先级。微任务在宏任务执行结束后立即执行，因此 Promise 的回调函数比 setTimeout 更早执行。
Nullish 合并运算符
在 ES2020 中，提出了 Nullish Coalescing 运算符，即 ?? 运算符。它可以用来处理 undefined 或 null 值，用于给变量赋默认值。例如：
let a; let b = a ?? 'default'; console.log(b); // 输出 default
在上述示例代码中，变量 a 的值为 undefined，因此变量 b 赋值为默认值 default。
可选链操作符
在 ES2020 中，提出了可选链运算符（Optional Chaining Operator），即 ?. 运算符。它可以用于判定访问到的属性或方法是否存在，如果不存在，则返回 undefined。例如：
-- -------------------- ---- ------- ----- --- - - -- - -- - -- - - - -- -- -------- ----------------------- -- -- - -- - - -- --------- ----------------------------- -- -- ---------展开代码
在上述示例代码中，可选链运算符用来判断 obj 对象中存在的属性或方法。如果属性或方法存在，则返回其对应的值。否则返回 undefined。
结语
本文对 ECMAScript 2020 标准的底层实现思路进行了详细的解析，并且给出了相关示例代码。通过深入了解 ECMAScript 2020 的底层实现技术，可以更好地理解该标准下新增特性的实现方式以及使用方法。
来源：JavaScript中文网 ，转载请注明来源 https://www.javascriptcn.com/post/67b8b159306f20b3a669b7f0
