详解 ES 2018 新特性

前言

第9版ECMAScript标准于2018年6月发布，正式名称为ECMAScript 2018(简称ES2018)。从ES2016开始，ECMAScript规范的新版本每年发布一次，而不是每隔几年发布一次，相应的，每版增加的功能也更少一些。最新版本的标准通过添加4个新的RegExp特性、rest/spread属性、异步迭代和Promise.prototype.finally来延续每年的发布周期。此外，ES2018取消了标记模板转义序列的语法限制。

以下将逐一解释这些变动：

一、Rest/Spread 特性

ES2015中添加的最有趣的特性之一是spread操作符。你可以用它替换concat()和slice()方法，使数组的操作(复制、合并)更加简单。

1. const arr1 = [10, 20, 30];

2. // make a copy of arr1

3. const copy = [...arr1];

4. console.log(copy); // → [10, 20, 30]

5. const arr2 = [40, 50];

6. // merge arr2 with arr1

7. const merge = [...arr1, ...arr2];

8. console.log(merge); // → [10, 20, 30, 40, 50]

在数组必须以拆解的方式作为函数参数的情况下，spread操作符也很有用。例如:

1. const arr = [10, 20, 30]

2. // equivalent to

3. // console.log(Math.max(10, 20, 30));

4. console.log(Math.max(...arr)); // → 30

ES2018通过向对象文本添加扩展属性进一步扩展了这种语法。他可以将一个对象的属性拷贝到另一个对象上，参考以下情形:

1. const obj1 = {

2. a: 10,

3. b: 20

4. };

5.  

6. const obj2 = {

7. ...obj1,

8. c: 30

9. };

10. console.log(obj2); // → {a: 10, b: 20, c: 30}

在上述代码中，spread操作符遍历obj1属性，并将其添加到obj2的属性中；而在之前的版本中，如此处理会抛出一个异常。需要注意的是，如果存在相同的属性名，只有最后一个会生效。

1. const obj1 = {

2. a: 10,

3. b: 20

4. };

5.  

6. const obj2 = {

7. ...obj1,

8. a: 30

9. };

10. console.log(obj2); // → {a: 30, b: 20}

同时，Spread操作符可以作为Object.assign() 的一个替代方案进行对象融合:

1. const obj1 = {a: 10};

2. const obj2 = {b: 20};

3. const obj3 = {c: 30};

4. // ES2018

5. console.log({...obj1, ...obj2, ...obj3}); // → {a: 10, b: 20, c: 30}

6. // ES2015

7. console.log(Object.assign({}, obj1, obj2, obj3)); // → {a: 10, b: 20, c: 30}

然而，在进行对象融合时，Spread操作结果并不总是与Object.assign()一致，例如：

1. Object.defineProperty(Object.prototype, 'a', {

2. set(value) {

3. console.log('set called!');

4. }

5. });

6. const obj = {a: 10};

7. console.log({...obj});

8. // → {a: 10}

9. console.log(Object.assign({}, obj));

10. // → set called!

11. // → {}

在上述代码中，Object.assign()方法继承了setter属性；而spread操作忽略了setter。

划重点：spread只复制枚举属性。在下面的例子中，type属性不会出现在复制对象中，因为它的枚举属性被设置为false:

1. const car = {

2. color: 'blue'

3. };

4.  

5. Object.defineProperty(car, 'type', {

6. value: 'coupe',

7. enumerable: false

8. });

9. console.log({...car}); // → {color: "blue"}

继承的属性即使是可枚举的也会被忽略:

1. const car = {

2. color: 'blue'

3. };

4. const car2 = Object.create(car, {

5. type: {

6. value: 'coupe',

7. enumerable: true,

8. }

9. });

10. console.log(car2.color); // → blue

11. console.log(car2.hasOwnProperty('color')); // → false

12. console.log(car2.type); // → coupe

13. console.log(car2.hasOwnProperty('type')); // → true

14. console.log({...car2}); // → {type: "coupe"}

在上述代码中，car2继承了car中的color属性。因为spread操作只会复制对象自身的属性，color并没有出现在新的对象中。

spread只会进行浅拷贝，如果属性的值是一个对象的话，只有对象的引用会被拷贝：

1. const obj = {x: {y: 10}};

2. const copy1 = {...obj};

3. const copy2 = {...obj};

4. console.log(copy1.x === copy2.x); // → true

copy1.x 和 copy2.x 指向同一个对象的引用，所以他们严格相等。

ES2015增加的另一个有用特性是rest参数，它允许JS使用……将值表示为数组:

1. const arr = [10, 20, 30];

2. const [x, ...rest] = arr;

3.  

4. console.log(x); // → 10

5. console.log(rest); // → [20, 30]

在上述代码中，arr中的第一项分配给x，其余元素分配给rest变量。这种模式称为数组析构，非常流行，Ecma技术委员会决定为对象提供类似的功能:

1. const obj = {

2. a: 10,

3. b: 20,

4. c: 30

5. };

6. const {a, ...rest} = obj;

7.  

8. console.log(a); // → 10

9. console.log(rest); // → {b: 20, c: 30}

这段代码使用析构赋值中的rest属性将剩余的可枚举属性复制到一个新对象中。注意，rest属性必须始终出现在对象的末尾，否则将抛出错误:

1. const obj = {

2. a: 10,

3. b: 20,

4. c: 30

5. };

6. const {...rest, a} = obj; // → SyntaxError: Rest element must be last element

此外，在对象中使用多个rest语法会抛异常，除非它们是嵌套的:

1. const obj = {

2. a: 10,

3. b: {

4. x: 20,

5. y: 30,

6. z: 40

7. }

8. };

9.  

10. const {b: {x, ...rest1}, ...rest2} = obj; // no error

11. const {...rest, ...rest2} = obj; // → SyntaxError: Rest element must be last element

Rest/Spread 特性支持

Node.js:

• 8.0.0 (需要 --harmony 运行环境)

• 8.3.0 (完全支持)

二、异步迭代

遍历是编程的一个重要部分。JS提供了for、for…in和while以及map()、filter()和forEach()等遍历数据的方法。在ES2015则引入了迭代器接口。

包含Symbol.iterator属性的对象是可迭代对象，如字符串和集合对象(如Set、Map和Array)。如下为迭代遍历的示例：

1. const arr = [10, 20, 30];

2. const iterator = arr[Symbol.iterator]();

3. console.log(iterator.next()); // → {value: 10, done: false}

4. console.log(iterator.next()); // → {value: 20, done: false}

5. console.log(iterator.next()); // → {value: 30, done: false}

6. console.log(iterator.next()); // → {value: undefined, done: true}

Symbol.iterator是指定返回迭代器的函数. 迭代器包含next()方法，返回包含value和done属性的对象。其中value为下一个元素，done为布尔值，表示遍历是否结束。

普通对象进行迭代需要定义Symbol.iterator属性。示例如下：

1. const collection = {

2. a: 10,

3. b: 20,

4. c: 30,

5. [Symbol.iterator]() {

6. const values = Object.keys(this);

7. let i = 0;

8. return {

9. next: () => {

10. return {

11. value: this[values[i++]],

12. done: i > values.length

13. }

14. }

15. };

16. }

17. };

18.  

19. const iterator = collection[Symbol.iterator]();

20.  

21. console.log(iterator.next()); // → {value: 10, done: false}

22. console.log(iterator.next()); // → {value: 20, done: false}

23. console.log(iterator.next()); // → {value: 30, done: false}

24. console.log(iterator.next()); // → {value: undefined, done: true}

对象的迭代器通过Object.keys()方法获取属性名数组，将其赋值给values常量，同时定义一个默认值为0的计数器。当迭代器开始执行时，会返回一个包含next()方法的对象。该方法会返回包含value和done的对象，value为下一迭代值，done为布尔值，表示迭代器是否到达终点。

上述实现方式还是过于复杂，可以通过generator函数简化:

1. const collection = {

2. a: 10,

3. b: 20,

4. c: 30,

5. [Symbol.iterator]: function * () {

6. for (let key in this) {

7. yield this[key];

8. }

9. }

10. };

11.  

12. const iterator = collection[Symbol.iterator]();

13.  

14. console.log(iterator.next()); // → {value: 10, done: false}

15. console.log(iterator.next()); // → {value: 20, done: false}

16. console.log(iterator.next()); // → {value: 30, done: false}

17. console.log(iterator.next()); // → {value: undefined, done: true}

在该generator函数中，利用for in循环枚举生成属性值。结果与前面的示例完全相同，但是要短得多。

迭代器的缺点是不适合表示异步数据源。ES2018的解决方案是异步迭代器和异步迭代。异步迭代器与传统迭代器的不同之处在于，它没有返回{value, done}形式的普通对象，而是返回一个Promise，其resolve返回{value, done}对象。一个可异步迭代对象中包含Symbol.asyncIterator属性（而不是Symbol.iterator），其功能为返回一个异步迭代器。

如下示例应该会使这一点更清楚:

1. const collection = {

2. a: 10,

3. b: 20,

4. c: 30,

5. [Symbol.asyncIterator]() {

6. const values = Object.keys(this);

7. let i = 0;

8. return {

9. next: () => {

10. return Promise.resolve({

11. value: this[values[i++]],

12. done: i > values.length

13. });

14. }

15. };

16. }

17. };

18.  

19. const iterator = collection[Symbol.asyncIterator]();

20. console.log(iterator.next().then(result => {

21. console.log(result); // → {value: 10, done: false}

22. }));

23.  

24. console.log(iterator.next().then(result => {

25. console.log(result); // → {value: 20, done: false}

26. }));

27.  

28. console.log(iterator.next().then(result => {

29. console.log(result); // → {value: 30, done: false}

30. }));

31.  

32. console.log(iterator.next().then(result => {

33. console.log(result); // → {value: undefined, done: true}

34. }));

注意，promise+迭代器并不能代替异步迭代器。虽然一个普通的同步迭代器可以异步地确定值，但是它仍然需要同步地确定“完成”的状态。

当然，您同样可以使用generator函数简化该过程，如下所示:

1. const collection = {

2. a: 10,

3. b: 20,

4. c: 30,

5. [Symbol.asyncIterator]: async function * () {

6. for (let key in this) {

7. yield this[key];

8. }

9. }

10. };

11. const iterator = collection[Symbol.asyncIterator]();

12.  

13. console.log(iterator.next().then(result => {

14. console.log(result); // → {value: 10, done: false}

15. }));

16.  

17. console.log(iterator.next().then(result => {

18. console.log(result); // → {value: 20, done: false}

19. }));

20.  

21. console.log(iterator.next().then(result => {

22. console.log(result); // → {value: 30, done: false}

23. }));

24.  

25. console.log(iterator.next().then(result => {

26. console.log(result); // → {value: undefined, done: true}

27. }));

同样，异步迭代执行后会返回一个包含next()方法的对象。调用next()会返回一个包含{value, done}的对象，而value值则变为一个promise对象

在可迭代对象上迭代的一个简单方法是使用for of，但由于异步迭代对象的value和done并不是同步指定的，因此for of并不适用。基于此，ES2018提供了for await of方法。让我们来看一个例子：

1. const collection = {

2. a: 10,

3. b: 20,

4. c: 30,

5. [Symbol.asyncIterator]: async function * () {

6. for (let key in this) {

7. yield this[key];

8. }

9. }

10. };

11.  

12. (async function () {

13. for await (const x of collection) {

14. console.log(x);

15. }

16. })();

17.  

18. // logs:

19. // → 10

20. // → 20

21. // → 30

在本代码中，for await of语句隐式调用了Symbol.asyncIterator方法。在每次循环时，都会调用迭代器的next()方法，该方法返回一个promise。promise对象的value属性将被读入x变量。循环继续，直到返回对象的done属性的值为true。

注意：for await of语句仅在异步生成器和异步函数中有效。违反此规则会报SyntaxError错误。

next()方法可能返回一个包含rejects的promise。要优雅地处理，你可以把for await of用try catch包裹，如下所示:

1. const collection = {

2. [Symbol.asyncIterator]() {

3. return {

4. next: () => {

5. return Promise.reject(new Error('Something went wrong.'))

6. }

7. };

8. }

9. };

10.  

11. (async function() {

12. try {

13. for await (const value of collection) {}

14. } catch (error) {

15. console.log('Caught: ' + error.message);

16. }

17. })();

18.  

19. // logs:

20. // → Caught: Something went wrong.

异步迭代器支持

Node.js:

• 8.10.0 (需要--harmony\ async\ iteration标志)

• 10.0.0 (全部支持)

三、Promise.prototype.finally

ES2018的另一个令人兴奋的新特性是finally()方法。几个JavaScript库以前实现过类似的方法，这在许多情况下都很有用。这鼓励Ecma技术委员会正式将finally()添加到规范中。无论promise的结果如何，finally()方法中的代码都会执行。让我们看一个简单的例子:

1. fetch('https://www.google.com')

2. .then((response) => {

3. console.log(response.status);

4. })

5. .catch((error) => {

6. console.log(error);

7. })

8. .finally(() => {

9. document.querySelector('#spinner').style.display = 'none';

10. });

无论操作是否成功，当您需要在操作完成后进行一些清理时，finally()方法就派上用场了。在这段代码中，finally()方法在请求数据之后隐藏loading，无论请求是否成功。

您可以使用promise来实现相同的结果，使用then(func, func)而不是promise.finally(func)，但是你必须在fulfillment handler和rejection handler中重复相同的代码，或者为它声明一个变量:

1. fetch('https://www.google.com')

2. .then((response) => {

3. console.log(response.status);

4. })

5. .catch((error) => {

6. console.log(error);

7. })

8. .then(final, final);

9.  

10. function final() {

11. document.querySelector('#spinner').style.display = 'none';

12. }

与then()和catch()一样，finally()方法总是返回一个promise，因此可以链接更多的方法。通常，您希望使用finally()作为最后一个链，但是在某些情况下，例如在发出HTTP请求时，最好将另一个catch()链接起来，以处理finally()中可能出现的错误。

Promise.prototype.finall支持

Node.js: 10.0.0 (全部支持)

四、新的正则表达式特性

ES2018为正则表达式添加了四个新特性，进一步提高了JavaScript的字符串处理能力。这些特点如下:

• s (dotAll) 标志

• 命名捕获组

• Lookbehind 后行断言

• Unicode属性转义

s (dotAll) 标志

点(.)是正则表达式模式中的一个特殊字符，它匹配除换行符(如换行符(\n)或回车符(\r)之外的任何字符。匹配所有字符(包括换行符)的一种方法是使用一个包含两个短字符的字符类，比如[\d\D]。这个表达式查询数字(\d)或非数字(\D)字符。因此，它匹配任何字符:

1. console.log(/one[\d\D]two/.test('one\ntwo')); // → true

ES2018引入了一种模式，在这种模式中，点(.)可以用来实现相同的结果。通过在原正则表达式基础上添加s表示，可以激活该模式:

1. console.log(/one.two/.test('one\ntwo')); // → false

2. console.log(/one.two/s.test('one\ntwo')); // → true

使用标志位来定义新行为的好处是向后兼容性。因此，使用点字符的现有正则表达式模式不受影响。

命名捕获组

在一些正则表达式模式中，使用数字进行匹配可能会令人混淆。例如，使用正则表达式/(\d{4})-(\d{2})-(\d{2})/来匹配日期。因为美式英语中的日期表示法和英式英语中的日期表示法不同，所以很难区分哪一组表示日期，哪一组表示月份:

1. const re = /(\d{4})-(\d{2})-(\d{2})/;

2. const match= re.exec('2019-01-10');

3.  

4. console.log(match[0]); // → 2019-01-10

5. console.log(match[1]); // → 2019

6. console.log(match[2]); // → 01

7. console.log(match[3]); // → 10

ES2018引入了使用(?…)语法的命名捕获组。因此，匹配日期的模式可以用一种不那么模棱两可的方式来写:

1. const re = /(?<year>\d{4})-(?<month>\d{2})-(?<day>\d{2})/;

2. const match = re.exec('2019-01-10');

3.  

4. console.log(match.groups); // → {year: "2019", month: "01", day: "10"}

5. console.log(match.groups.year); // → 2019

6. console.log(match.groups.month); // → 01

7. console.log(match.groups.day); // → 10

你可以在一个正则表达式中使用\k语法重复调用名称捕获组。例如，要在一个句子中找到连续重复的单词，可以使用/\b(?\w+)\s+\k\b/:

1. const re = /\b(?<dup>\w+)\s+\k<dup>\b/;

2. const match = re.exec('Get that that cat off the table!');

3.  

4. console.log(match.index); // → 4

5. console.log(match[0]); // → that that

要将命名捕获组插入replace()方法的替换字符串中，需要使用$构造。例如:

1. const str = 'red & blue';

2.  

3. console.log(str.replace(/(red) & (blue)/, '$2 & $1'));

4. // → blue & red

5.  

6. console.log(str.replace(/(?<red>red) & (?<blue>blue)/, '$<blue> & $<red>'));

7. // → blue & red

Lookbehind后行断言

ES2018将lookbehind后行断言引入JavaScript，以前JavaScript只支持前行断言。后行断言由(?<=…)表示，代表字符串中的一个位置，紧接该位置之前的字符序列能够匹配pattern。例如，如果您想匹配以美元、英镑或欧元表示的产品的价格，而不需要捕获货币符号，您可以使用/(?<=\$|£|€)\d+(.\d*)?/:

1. const re = /(?<=\$|£|€)\d+(\.\d*)?/;

2.  

3. console.log(re.exec('199'));

4. // → null

5.  

6. console.log(re.exec('$199'));

7. // → ["199", undefined, index: 1, input: "$199", groups: undefined]

8.  

9. console.log(re.exec('€50'));

10. // → ["50", undefined, index: 1, input: "€50", groups: undefined]

还有一种负向后行断言，表示为(?

1. const re = /(?<!un)available/;

2.  

3. console.log(re.exec('We regret this service is currently unavailable'));

4. // → null

5.  

6. console.log(re.exec('The service is available'));

7. // → ["available", index: 15, input: "The service is available", groups: undefined]

Unicode 属性转义

ES2018提供了一种新的转义序列类型，称为Unicode属性转义，可以匹配所有的Unicode。你可以使用\p{Number}来匹配所有的Unicode数字，例如，假设你想匹配的Unicode字符㉛字符串:

1. const str = '㉛';

2.  

3. console.log(/\d/u.test(str)); // → false

4. console.log(/\p{Number}/u.test(str)); // → true

同样的，你可以使用\p{Alphabetic}来匹配所有的Unicode单词字符:

1. const str = 'ض';

2.  

3. console.log(/\p{Alphabetic}/u.test(str)); // → true

4.  

5. // the \w shorthand cannot match ض

6. console.log(/\w/u.test(str)); // → false

同样有一个负向的Unicode属性转义模板 \P{...}:

1. console.log(/\P{Number}/u.test('㉛')); // → false

2. console.log(/\P{Number}/u.test('ض')); // → true

3.  

4. console.log(/\P{Alphabetic}/u.test('㉛')); // → true

5. console.log(/\P{Alphabetic}/u.test('ض')); // → false

除了字母和数字之外，Unicode属性转义中还可以使用其他一些属性。您可以在现行规范中找到受支持的Unicode属性列表。

新正则表达式支持

Node.js:

• 8.3.0 (需要 --harmony 标志)

• 8.10.0 (支持 s (dotAll) 标志和后行断言)

• 10.0.0 (全部支持)

五、 模板文字修订

当模板文字前紧跟着一个表达式时，它被称为带标记的模板文字。当您想用函数解析模板文字时，带标记的模板就派上用场了。考虑下面的例子:

1. function fn(string, substitute) {

2. if(substitute === 'ES6') {

3. substitute = 'ES2015'

4. }

5. return substitute + string[1];

6. }

7.  

8. const version = 'ES6';

9. const result = fn${version} was a major update;

10.  

11. console.log(result); // → ES2015 was a major update

在这段代码中，模板文字调用了一个标记表达式（函数）：修改字符串中的变量部分。

在ES2018之前，标记模板文字具有与转义序列相关的语法限制。后跟特定字符序列的反斜杠被视为特殊字符:十六进制转义的\x、unicode转义的\u和八进制转义的\u。因此，像“C:\xxx\uuu”或“\ubuntu”这样的字符串被解释器认为是无效的转义序列，并且会抛出一个SyntaxError。

ES2018从标记模板中移除这些限制，并不是抛出错误，而是将无效的转义序列表示为undefined:

1. function fn(string, substitute) {

2. console.log(substitute); // → escape sequences:

3. console.log(string[1]); // → undefined

4. }

5.  

6. const str = 'escape sequences:';

7. const result = fn${str} \ubuntu C:\xxx\uuu;

注意，在常规模板文字中使用非法转义序列仍然会导致错误:

1. const result = \ubuntu;

2. // → SyntaxError: Invalid Unicode escape sequence

模板文字修订支持

Node.js:

• 8.3.0 (需要 --harmony 标志)

• 8.10.0 (全部支持)

总结

我们已经很好地了解了ES2018中引入的几个关键特性，包括异步迭代、rest/spread属性、Promise.prototype.finally()以及正则表达式新特性的添加。尽管一些浏览器厂商还没有完全实现其中的一些特性，但是仍然可以用诸如Babel之类转义器进行使用。

转载于:https://my.oschina.net/jack088/blog/3089894