[译] 那些好玩却尚未被 ECMAScript 2017 采纳的提案

3,824 阅读14分钟

要跟上所有新功能提案的进度并不容易。每年,管理 JavaScript 发展的委员会 TC39 都会收到数十个提案。由于大多数提案都不会到达第二阶段,因此很难确定哪些提案值得关注,哪些提案只是奇思妙想(或者称之为异想天开)。

由于现在越来越多的提案涌现出来,想要只停留在这些特性提案的顶层会非常困难。在过去介于 ES5 和 ES6 之间的六年时间里 JavaScript 的发展脚步非常保守。自 ECMAScript 2016 (ES7) 发布,发布过程要求为每年发布一次,并且更加标准化

随着近些年来 polyfills 和转译器的流行,一些尚属早期(early-stage)的提案甚至在还未最终确定前就已经被广泛使用了。并且,由于提案在被采纳之前会有很大变动,一些开发者可能会发现他们所使用的特性永远不会变成 JavaScript 的语言实现。

在深入研究那些我觉得很好玩的提案之前,我们先花点时间熟悉一下目前的提案流程。

ECMAScript 提案流程中的 5 个 stage

Stage 0 “稻草人” —— 这是所有提案的起点。在进入下一阶段之前,提案的内容可能会发生重大变化。目前还没有提案的接收标准,任何人都可以为这一阶段提交新的提案。无需任何代码实现,规范也无需合乎标准。这个阶段的目的是开始针对该功能特性的讨论。目前已经有超过 20 个处于 stage 0 的提案

Stage 1 “提案” —— 一个真正的正式提案。此阶段的提案需要一个“拥护者”(即 TC39 委员会的成员)。此阶段需仔细考虑 API 并描述出任何潜在的、代码实现方面的挑战。此阶段也需开发 polyfill 并产出 demo。在这一阶段之后提案可能会发生重大变化,因此需小心使用。目前仍处于这一阶段的提案包括了已望穿秋水的 Observables typePromise.try 功能。

Stage 2 “草案” —— 此阶段将使用正式的 TC39 规范语言来精确描述语法。在此阶段后仍由可能发生一些小修改,但是规范应该足够完整,无需进行重大修订。如果一个提案走到了这一步,那么很有可能委员会是希望最终可以实现该功能的。

Stage 3 “候选” —— 该提案已获批准,仅当执行作者提出要求时才会做进一步的修改。此时你可以期待 JavaScript 引擎中开始实现提案的功能了。在这一阶段草案的 polyfill 可以安全无忧使用。

Stage 4 “完成” —— 说明提案已被采纳,提案规范将与 JavaScript 规范合并。预计不会再发生变化。JavaScript 引擎将发布它们的实现。截至 2017 年 10 月,已经有 9 个已完成的提案,其中最引人关注的是 async functions

由于提案越来越多,思考一番,以下几个提案是其中更有趣的。

图源 xkcd.com/927/

Asynchronous Iteration 异步迭代

ECMAScript 2015 中引入了迭代器 iterator,其中包含了 for-of 循环语法。这使得循环遍历可迭代对象变得相当容易,并且可以实现你自己的可迭代数据结构。

遗憾的是,遍历器无法用于表示异步的数据结构如访问文件系统。虽然你可以运行 Promise.all 来遍历一系列的 promise,但这需要同步确定“已完成”的状态。

例如,可以使用异步迭代器来遍历异步内容,按需读取文件中内容,而不是提前读取文件中的所有内容。

你可以通过简单地同时使用 generator 生成器语法和 async-await 语法来定义异步生成器函数:

async function* readLines(path) {
  let file = await fileOpen(path);

  try {
    while (!file.EOF) {
      yield await file.readLine();
    }
  } finally {
    await file.close();
  }
}

异步生成器函数示例。

示例

可以在 for-await-of 循环中使用这个异步生成器:

for await (const line of readLines(filePath)) {
  console.log(line);
}

使用 for-await-of。

任意具有 Symbol.asyncIterator 属性的对象都被定义为 async iterable,并且可使用于新的 for-await-of 语法中。这有一个具体可运行的示例:

class LineReader() {
 constructor(filepath) {
   this.filepath = filepath;
   this.file = fileOpen(filepath);
 }

 [Symbol.asyncIterator]: {
   next() {
     return new Promise((resolve, reject) => {
       if (this.file.EOF) {
         resolve({ value: null, done: true });
       } else {
         this.file.readLine()
           .then(value => resolve({ value, done: false }))
           .catch(error => reject(error));
       }
     });
   }
 }
}

使用 Symbol.asyncIterator 的示例。

这一提案 目前处于 stage 3,浏览器已经开始实现了。处于这一阶段意味着它很有可能会被合并入标准并可以在主流浏览器中使用。但是,在此之前,规范可能会有一些小修改,因此现在使用异步迭代器会带来一定程度的风险。

regenerator 项目目前已为异步迭代器提案提供了基本支持。但是,它本身并不支持 for-await-of 循环语法。Babel 插件 transform-async-generator-functions 既支持异步生成器又支持 for-await-of 循环语法。

Class 优化

这个提案 建议向 [ECMAScript 2015 中引进的 class 语法] (https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Classes) 中加入公共字段、私有字段与私有方法。该提案是经过多个竞争提案漫长讨论和竞争后的结果。

使用私有字段和方法与对应的公共字段和方法类似,但是私有字段名方法名前会有一个 # 号。任何被标记为私有的方法和字段都不会在类之外可见,从而确保内部类成员的强封装。

下面是一个类 React 组件的假设示例,组件在私有方法中使用了公共和私有字段:

class Counter {
  // 公共字段
  text = ‘Counter’;

  // 私有字段
  #state = {
    count: 0,
  };

  // 私有方法
  #handleClick() {
    this.#state.count++;
  }

  // 公共方法
  render() {
    return (
      <button onClick={this.handleClick.bind(this)}>
        {this.text}: {this.#state.count.toString()}
      </button>
    );
  }
}

使用了私有字段与私有方法的类 React 组件。

Babel 目前还没有提供私有类字段与方法的 polyfill,但是不久就会实现。公共字段已有 Babel 的transform-class-properties 插件支持,但它依赖于一个已被合并入统一公共/私有字段提案的老提案。此提案于 2017 年 9 月 1 日 进入 stage 3,因此使用任何可用的 polyfill 都是安全的。

Class 装饰器

提案在被引入后也可能发生翻天覆地的变化,装饰器就是一个很好的例子。Babel 的第五代版本实现了原本 stage 2 阶段装饰器的规范,其将装饰器定义为接收 target,name 与属性描述的函数。现在最流行的转译装饰器方式是通过 Babel 的transform-legacy-decorators 插件,其实现的是旧版的规范。

新的提案 大不相同。不再作为具有三个属性的函数,现在我们对改变描述符的类成员 —— 装饰器进行了正式描述。新的“成员描述符”与ES5中引入的属性描述符接口非常相似。

现在有两种具有不同 API 的不同类型的装饰器:成员装饰器与类装饰器。

  • 成员装饰器接收成员描述符并返回成员描述符。
  • 类装饰器接受每个类成员(即每个属性或方法)的构造函数、父类和成员描述符数组。

在规范中,“额外”是指可由装饰器添加的成员描述符的可选数组。这将允许装饰器动态创建新的属性与方法。比如,你可以让装饰器给属性创建 getter 与 setter 函数。

与旧规范类似,新规范允许修改类成员的描述符。此外,仍然允许在对象字面量的属性上使用装饰器。

在最终确定之前,规范很可能会发生重大变化。语法中有一些模棱两可之处,旧规范的许多痛点还没有得到解决。装饰器是语言的一个大型语法扩展,因此可以预料到这种延迟。遗憾的是,如果新的提案被采纳,你将不得不完全重构你的装饰器函数,以适用于新的接口。

许多库作者选择继续支持旧的提案和 Babel 的 legacy-decorators 插件,即使新的提案已经处于 stage 2,旧的仍然处于 stage 0。core-decorators 作为最受欢迎的使用装饰器的 JavaScript 开源库,就采用了这种方法。未来几年中,库的作者们很有可能会继续支持旧的提案。

也有可能这一新提案会被撤回,取而代之的是另一新提案,装饰器提案有可能不会在 2018 年并入 JavaScript。你可以在 Babel 完成新的转译插件 后使用新的装饰器提案。

import 函数

ECMAScript 第六版中添加了 import 语句,并最终确定了新的模块系统的语义。就在近期,主流浏览器发布更新以提供对其的支持,尽管它们对于规范的实现略有不同。NodeJS 在 8.5.0 版本中对于仍带有实验标志的 ECMAScript 的模块规范提供了初步支持。

但是,该提案缺少一种异步导入模块的方法,这使得难以在运行时动态导入模块。现在,在浏览器中动态加载模块的唯一方法,就是动态插入类型为 “module” 的 script 标签,将 import 声明作为其文本内容。

实现异步导入模块的一种内置方法是提案 动态 import 语法,它会调用一个“类函数”的导入模块加载表单。这种动态导入语法可以在模块代码与普通脚本代码中使用,从而为模块代码提供了一个方便的切入点。

去年有一个提案提出 System.import() 函数来解决这个问题,但是该提案没有被采纳进入最终的规范。新提案目前处于 stage 3,有望在年底前被列入规范中。

Observables

提议的可观察类型 Observable type 提供了一种处理异步数据流的标准化方法。它们已经以某种形式在许多流行的 JavaScript 框架如 RxJS 中实现。目前的提案很大程度上借鉴了这些框架的思路。

Observable 对象由 Observable 构造器创建,接收订阅函数作为参数:

function listen(element, eventName) {
 return new Observable(observer => {
   // 创建一个事件处理函数,可以将数据输出
   let handler = event => observer.next(event);

   // 绑定事件处理函数
   element.addEventListener(eventName, handler, true);

   // 返回一个函数,调用它即去掉订阅
   return () => {
     // 解除元素的事件监听
     element.removeEventListener(eventName, handler, true);
   };
 });
}

Observable 构造器的使用。

使用订阅函数去订阅一个 observable 对象:

const subscription = listen(inputElement, “keydown”).subscribe({
  next(val) { console.log("Got key: " + val) },
  error(err) { console.log("Got an error: " + err) },
  complete() { console.log("Stream complete!") },
});

使用 observable 对象。

subscribe() 函数返回了一个订阅对象。这个对象具有取消订阅的方法。

Observable 不应混淆于 已废弃的 Object.observe 函数,Object.observe 是可以观察对象变化的一种方法。其已被 ECMAScript 2015 中更通用的的实现 Proxy 所替代。

Observable 目前处于 stage 1,但它已被 TC39 委员会标记为 “ready to advance” 并获得了浏览器厂商的大力支持,因此有望很快推进到下一阶段。现在你就已经可以开始使用这一提案的特性了,有三种 polyfill 实现 可供选择。

do 表达式

CoffeeScript 曾因以一切皆为表达式 而名声大噪,尽管它的流行程度已经衰减,但是它对 JavaScript 近期的发展产生了重大影响。

do 表达式提出了一种将多个语句包装在一个表达式中的新语法。可以以如下方式编写代码:

let activeToDos = do {
  let result;
  try {
    result = fetch('/todos');
  } catch (error) {
    result = []
  }
  result.filter(item => item.active);
}

do 表达式示例。

do 表达式的最后一个语句将作为完成值,被隐式地返回。

do 表达式在 JSX 中非常有用。与复杂的三元表达式不同,do 表达式可以使得 JSX 中的流程控制更可读。

const FooComponent = ({ kind }) => (
 <div>
   {do {
     if (kind === 'bar') { <BarComponent /> }
     else if (kind === 'baz') { <BazComponent /> }
     else { <OtherComponent /> }
   }}
 </div>
)

JSX 的未来?

Babel 已有插件 可转译 do 表达式。此提案目前处于 stage 1,关于如何与 generator 和 async 函数一起使用,还存在一些重要的开放问题,因此规范可能会发生重大变化。

可空(Optional)属性的链式调用 Optional Chaining

受 CoffeeScript 启发而来的又一个提案是 optional chaining,它带来了一种访问对象属性的简单方法,面对值有可能为 undefined 和 null 的对象属性无需使用冗长的三元运算符了。它与 CoffeeScript 的存在操作符类似,但是缺少一些值得注意的特性,比如范围检查和可选赋值。

示例:

a?.b // 如果 `a` 是 null/undefined 则返回  undefined,否则则返回 `a.b` 的值
a == null ? undefined : a.b // 使用三元表达式

提案目前处于 stage 1,已有名为 babel-plugin-transform-optional-chaining 的 Babel 插件实现。TC39 委员会在2017 年 10 月的最后一次会议 中对它的语法表示担忧,但是其仍有可能被采纳。

全局对象标准化

编写能在每个环境中运行的 JavaScript 代码并不容易。在浏览器中,全局对象是 window —— 除非处于 web worker 中,此时全局对象是它本身。在 NodeJS 中则为 global,但是这是在 V8 引擎之上添加的东西,并不是规范的一部分,所以直接在 V8 引擎中运行代码时,global 对象不可用。

待标准化提案 提出了可以在所有引擎和运行环境中使用的全局对象。提案目前处于 stage 3,因此不久便会被采纳。

以及更多

TC39 委员会正在审议五十多项活跃提案,其中还未包括二十多个处于 stage 0 尚未推进的提案。

你可以在 TC39 的 GitHub 页面 查看活跃提案列表。可以在 stage 0 提案模块找到一些更粗略的想法,包括了像方法参数装饰器和新的模式匹配语法

也可以在会议记录议程 仓库了解委员会的优先事项和目前正在处理的问题。演讲资料也陈列在会议记录中,如果你对演讲有兴趣,也可以进行查阅。

在最近的几次 ECMAScript 修订中有几个重要的语法修改提案,这似乎也是一种趋势。ECMAScript 正在加快变革脚步,每年都有越来越多的提案,2018 版本似乎会比 2017 版本采纳更多的提案。

今年,在语言中添加改善“生活质量”的提案规模较小,如内置对象的类型检查和给 Math 模块添加度数与弧度助手提案。这类提案将添加到标准库中,而非修改语法。它们容易进行 polyfill,有助于减少第三方库的使用。由于无需改变语法,所以很快就可以使用,在提案阶段花费的时间也较少。

新的语法固然优秀,但我更希望未来可以见到更多这种类型的提案。JavaScript 经常被人诟病缺少优秀的标准库,但很明显大家正在努力去改变。


插语: LogRocket,Web 应用的 DVR

LogRocket 是一个前端日志记录工具,它可以让你像在自己的浏览器中一样重播问题。无需再猜测错误发生的原因或是向用户索要截图和日志转存,LogRocket 允许重播会话来快速定位错误源头。无论使用什么框架,LogRocket 可以在任意应用中使用,并拥有从 Redux,Vuex 和 @ngrx/store 中记录上下文的插件。

除了可以将 Redux 的 action 和 state 记入日志,LogRocket 还可以记录控制台日志,JavaScript 报错,调用栈信息,网络请求、响应头和实体信息,浏览器的元信息和自定义日志。它还利用 DOM 在记录页面上的 HTML 和 CSS,即使是最复杂的单页面应用程序,也可以重新绘制像素级完美的视频。


掘金翻译计划 是一个翻译优质互联网技术文章的社区,文章来源为 掘金 上的英文分享文章。内容覆盖 AndroidiOS前端后端区块链产品设计人工智能等领域,想要查看更多优质译文请持续关注 掘金翻译计划官方微博知乎专栏