快速学会ES7 + ES8,看这篇文章就够了!!

转载 (原文地址) 大神M 随笔 ECMAScript 1.8k阅读 2018-02-22 12:48:44 举报

撰文为何

身为一个前端开发者,ECMAScript(以下简称ES)早已广泛应用在我们的工作当中。了解ECMA机构流程的人应该知道,标准委员会会在每年的6月份正式发布一次规范的修订,而这次的发布也将作为当年的正式版本。以后的改动,都会基于上一版本进行修改。所以,我们这次就基于ES6的版本对ES7、ES8版本的新增以及修改内容,做一次简要的总结,方便我们快速开发。

ES7新特性

ES7在ES6的基础上添加了三项内容:求幂运算符(**)、Array.prototype.includes()方法、函数作用域中严格模式的变更。

Array.prototype.includes()

Array.prototype.includes()

方法接收两个参数:要搜索的值和搜索的开始索引。当第二个参数被传入时,该方法会从索引处开始往后搜索(默认索引值为0)。若搜索值在数组中存在则返回true,否则返回false。 且看下面示例:

那么,我们会联想到ES6里数组的另一个方法indexOf,下面的示例代码是等效的:

此时,就有必要来比较下两者的优缺点和使用场景了。

简便性

从这一点上来说,includes 略胜一筹。熟悉 indexOf 的同学都知道,indexOf返回的是某个元素在数组中的下标值,若想判断某个元素是否在数组里,我们还需要做额外的处理,即判断该返回值是否 >-1。而 includes 则不用,它直接返回的便是 Boolean 型的结果。

精确性

两者使用的都是 === 操作符来做值的比较。但是 includes() 方法有一点不同,两个NaN被认为是相等的,即使在 NaN === NaN 结果是 false 的情况下。这一点和indexOf()的行为不同,indexOf() 严格使用 === 判断。请看下面示例代码:

上述代码中,indexOf() 方法返回 -1,即使NaN存在于数组中,而 includes()则返回了 true

提示:由于它对 NaN 的处理方式与 indexOf 不同,假如你只想知道某个值是否在数组中而并不关心它的索引位置,建议使用 includes()。如果你想获取一个值在数组中的位置,那么你只能使用 indexOf 方法。

includes()还有一个怪异的点需要指出,在判断 +0-0 时,被认为是相同的。

在这一点上,indexOf()includes() 的处理结果是一样的,前者同样会返回 +0 的索引值。

注意:在这里,需要注意一点,includes()只能判断简单类型的数据,对于复杂类型的数据,比如对象类型的数组,二维数组,这些,是无法判断的。

求幂运算符(**)

效果同:

** 是一个用于求幂的中缀算子,比较可知,中缀符号比函数符号更简洁,这也使得它更为可取。 下面让我们扩展下思路,既然说 ** 是一个运算符,那么它就应该能满足类似加等的操作,我们姑且称之为幂等,例如下面的例子,a 的值依然是 9

对比下其他语言的指数运算符:

  • Python: x ** y
  • CoffeeScript: x ** y
  • F#: x ** y
  • Ruby: x ** y
  • Perl: x ** y
  • Lua, Basic, MATLAB: x ^ y

不难发现,ES 的这个新特性是从其他语言(PythonRuby 等)模仿而来的。

ES8新特性

异步函数(Async functions)

为什么要引入async?众所周知,JavaScript语言的执行环境是“单线程”的,那么异步编程对JavaScript语言来说就显得尤为重要。以前我们大多数的做法是使用回调函数来实现JavaScript语言的异步编程。回调函数本身没有问题,但如果出现多个回调函数嵌套,例如:进入某个页面,需要先登录,拿到用户信息之后,调取用户商品信息,代码如下:

假如上面还有更多的请求操作,就会出现多重嵌套。代码很快就会乱成一团,这种情况就被称为“回调函数地狱”(callback hell)。于是,我们提出了Promise,它将回调函数的嵌套,改成了链式调用。写法如下:

从上面可以看出,Promise 的写法只是回调函数的改进,使用 then 方法,只是让异步任务的两段执行更清楚而已。Promise 的最大问题是代码冗余,请求任务多时,一堆的 then,也使得原来的语义变得很不清楚。此时我们引入了另外一种异步编程的机制:Generator

Generator 函数是一个普通函数,但是有两个特征。一是,function关键字与函数名之间有一个星号;二是,函数体内部使用yield表达式,定义不同的内部状态(yield在英语里的意思就是“产出”)。一个简单的例子用来说明它的用法:

上面代码定义了一个 Generator 函数 helloWorldGenerator,它内部有两个 yield 表达式(hello和world),即该函数有三个状态:helloworldreturn 语句(结束执行)。Generator 函数的调用方法与普通函数一样,也是在函数名后面加上一对圆括号。不同的是,调用 Generator 函数后,该函数并不执行,返回的也不是函数运行结果,而是一个指向内部状态的指针对象,必须调用遍历器对象的 next 方法,使得指针移向下一个状态。也就是说,每次调用 next 方法,内部指针就从函数头部或上一次停下来的地方开始执行,直到遇到下一个 yield 表达式(或 return语句)为止。换言之,Generator 函数是分段执行的,yield 表达式是暂停执行的标记,而 next 方法可以恢复执行。上述代码分步执行如下:

Generator 函数的机制更符合我们理解的异步编程思想。用户登录的例子,我们用 Generator 来写,如下:

虽然 Generator 将异步操作表示得很简洁,但是流程管理却不方便(即何时执行第一阶段、何时执行第二阶段)。此时,我们便希望能出现一种能自动执行 Generator 函数的方法。我们的主角来了:async/await

ES8 引入了 async 函数,使得异步操作变得更加方便。简单说来,它就是 Generator 函数的语法糖。

是不是更加简洁易懂呢?

变体
异步函数存在以下四种使用形式:
函数声明: async function foo() {}
函数表达式: const foo = async function() {}
对象的方式: let obj = { async foo() {} }
箭头函数: const foo = async () => {}

常见用法汇总

顺序处理多个异步结果:

并行处理多个异步结果:

处理错误:

若想进一步了解async的具体实践,可参见阮一峰的博客文章,链接奉上:http://es6.ruanyifeng.com/#docs/async

Object.entries() 和 Object.values()

Object.entries()

如果一个对象是具有键值对的数据结构,则每一个键值对都将会编译成一个具有两个元素的数组,这些数组最终会放到一个数组中,返回一个二维数组。简言之,该方法会将某个对象的可枚举属性与值按照二维数组的方式返回。若目标对象是数组时,则会将数组的下标作为键值返回。例如:

注意:键值对中,如果键的值是Symbol,编译时将会被忽略。例如:

Object.entries() 返回的数组的顺序与 for-in 循环保持一致,即如果对象的 key 值是数字,则返回值会对 key 值进行排序,返回的是排序后的结果。例如:

使用 Object.entries(),我们还可以进行对象属性的遍历。例如:

Object.values()

它的工作原理跟 Object.entries() 很像,顾名思义,它只返回自己的键值对中属性的值。它返回的数组顺序,也跟 Object.entries() 保持一致。

字符串填充:padStart 和 padEnd

ES8提供了新的字符串方法-padStart和padEnd。padStart函数通过填充字符串的首部来保证字符串达到固定的长度,反之,padEnd是填充字符串的尾部来保证字符串的长度的。该方法提供了两个参数:字符串目标长度和填充字段,其中第二个参数可以不填,默认情况下使用空格填充。

可以看出,多个数据如果都采用同样长度的 padStart,相当于将呈现内容右对齐。上面示例中我们只定义了第一个参数,那么我们现在来看看第二个参数,我们可以指定字符串来代替空字符串。

从上面结果来看,填充函数只有在字符长度小于目标长度时才有效,若字符长度已经等于或小于目标长度时,填充字符不会起作用,而且目标长度如果小于字符串本身长度时,字符串也不会做截断处理,只会原样输出。padEnd 函数作用同 padStart,只不过它是从字符串尾部做填充。来看个小例子:

Object.getOwnPropertyDescriptors()

顾名思义,该方法会返回目标对象中所有属性的属性描述符,该属性必须是对象自己定义的,不能是从原型链继承来的。先来看个它的基本用法(运行下方代码看结果):

方法还提供了第二个参数,用来获取指定属性的属性描述符。

由上述例子可知,该方法返回的描述符,会有两种类型:数据描述符、存取器描述符。返回结果中包含的键可能的值有:configurableenumerablevaluewritablegetset

使用过 Object.assign() 的同学都知道,assign 方法只能拷贝一个属性的值,而不会拷贝它背后的复制方法和取值方法。Object.getOwnPropertyDescriptors() 主要是为了解决 Object.assign() 无法正确拷贝 get 属性和set 属性的问题。

此时,Object.getOwnPropertyDescriptors 方法配合 Object.defineProperties 方法,就可以实现正确拷贝。

述代码演示了,我们如何来拷贝一个属性值为赋值方法或者取值方法的对象。更多Object.getOwnPropertyDescriptors的使用细则,可参见阮一峰的博客文章,链接奉上:http://es6.ruanyifeng.com/#docs/object#Object-getOwnPropertyDescriptors

共享内存和原子(Shared memory and atomics)

ES8 引入了两部分内容:新的构造函数 SharedArrayBuffer、具有辅助函数的命名空间对象 Atomics。共享内存允许多个线程并发读写数据,而原子操作则能够进行并发控制,确保多个存在竞争关系的线程顺序执行。

共享内存和原子也称为共享阵列缓冲区,它是更高级的并发抽象的基本构建块。它允许在多个工作者和主线程之间共享 SharedArrayBuffer 对象的字节(缓冲区是共享的,用以访问字节,将其包装在类型化的数组中)。这种共享有两个好处:

可以更快地在 web worker 之间共享数据
web worker 之间的协调变得更加简单和快速

那么,我们为什么要引入共享内存和原子的概念呢?以及 SharedArrayBuffer 的竞争条件是什么,Atomics 又是如何解决这种竞争的?推荐下面的文章,文章讲解很详细,图文并茂,带你深入了解 SharedArrayBufferAtomics

内存管理碰撞课程:https://segmentfault.com/a/1190000009878588

图解 ArrayBuffersSharedArrayBuffershttps://segmentfault.com/a/1190000009878632

Atomics 避免 SharedArrayBuffers 竞争条件:https://segmentfault.com/a/1190000009878699

Atomics 对象提供了许多静态方法,配合 SharedArrayBuffer 对象一起使用,可以帮助我们去构建一个内存共享的多线程编程环境。Atomic 操作安装在 Atomics 模块上。与其他全局对象不同,Atomics 不是构造函数。您不能使用 new 操作符或 Atomics 作为函数调用该对象。所有的属性和方法 Atomics 都是静态的,这一点跟 Math 类似。下面链接贴出了 Atomics 提供的一些基本方法:

https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Atomics

关于共享内存和原子的深入研究,也可以参考Axel Rauschmayer博士的《Exploring ES2016 and ES2017》一书中的内容。

函数参数列表与调用中的尾部逗号

上面这种方式调用是没有问题的。函数的这种尾逗号也是向数组和字面量对象中尾逗号看齐,它适用于那种多行参数并且参数名很长的情况,开发过程中,如果忘记删除尾部逗号也没关系,ES8已经支持这种写法。

这么用有什么好处呢?

首先,当我们调整结构时,不会因为最后一行代码的位置变动,而去添加或者删除逗号。其次,在版本管理上,不会出现因为一个逗号,而使本来只有一行的修改,变成两行。例如下面:

在我们版本管理系统里,它会监测到你有两处更改,但是如果我们不必去关心逗号的存在,每一行都有逗号时,新加一行,也只会监测到一行的修改。

ES9建议功能

回想一下,每个ECMAScript功能提案都经过了几个阶段:

  • 阶段4意味着功能将在下一个版本中(或之后的版本)。
  • 阶段3意味着功能仍然有机会被包含在下一个版本中。

第4阶段和部分ECMAScript规范草案

以下功能目前在第4阶段:

Template Literal Revision:模板文字修订(蒂姆·迪士尼)

候选功能(第3阶段)

以下功能目前在第3阶段:
Function.prototype.toString 修订版(Michael Ficarra)
global(Jordan Harband)
Rest/Spread Properties:Rest/Spread属性(SebastianMarkbåge)
Asynchronous Iteration:异步迭代(Domenic Denicola)
import() (Domenic Denicola)
RegExp Lookbehind Assertions:RegExp Lookbehind断言(Daniel Ehrenberg)
RegExp Unicode Property Escapes:RegExp Unicode属性转义(Brian Terlson,Daniel Ehrenberg,Mathias Bynens)
RegExp named capture groups:RegExp命名捕获组(Daniel Ehrenberg,Brian Terlson)
s (dotAll) flag for regular expressions:s(dotAll)标志为正则表达式(Mathias Bynens,Brian Terlson)
Promise.prototype.finally() (Jordan Harband)
BigInt - 任意精度整数(Daniel Ehrenberg)
Class fields(Daniel Ehrenberg,Jeff Morrison)
Optional catch binding(Michael Ficarra)

下面贴出了解和学习ES的官方链接,供大家查阅:

ES6http://www.ecma-international.org/ecma-262/6.0/index.html
ES7http://www.ecma-international.org/ecma-262/7.0/index.html
ES8http://www.ecma-international.org/ecma-262/8.0/index.html
TC39提案https://github.com/tc39/ecma262

评论 ( 4 )
最新评论