第9版ECMAScript标准于2018年6月发布,正式名称为ECMAScript 2018(简称ES2018)。从ES2016开始,ECMAScript规范的新版本每年发布一次,而不是每隔几年发布一次,相应的,每版增加的功能也更少一些。最新版本的标准通过添加4个新的RegExp特性、rest/spread属性、异步迭代和Promise.prototype.finally来延续每年的发布周期。此外,ES2018取消了标记模板转义序列的语法限制。
以下将逐一解释这些变动。
1.Rest/Spread 特性
ES2015中添加的最有趣的特性之一是spread操作符。你可以用它替换cancat()和slice()方法,使数组的操作(复制、合并)更加简单。
const arr1 = [10, 20, 30];// make a copy of arr1const copy = [...arr1];console.log(copy); // → [10, 20, 30]const arr2 = [40, 50];// merge arr2 with arr1const merge = [...arr1, ...arr2];console.log(merge); // → [10, 20, 30, 40, 50]
// make a copy of arr1
const copy = [...arr1];
console.log(copy); // → [10, 20, 30]
const arr2 = [40, 50];
// merge arr2 with arr1
const merge = [...arr1, ...arr2];
console.log(merge); // → [10, 20, 30, 40, 50]
在数组必须以拆解的方式作为函数参数的情况下,spread操作符也很有用。例如:
const arr = [10, 20, 30]// equivalent to// console.log(Math.max(10, 20, 30));console.log(Math.max(...arr)); // → 30
// equivalent to
// console.log(Math.max(10, 20, 30));
console.log(Math.max(...arr)); // → 30
ES2018通过向对象文本添加扩展属性进一步扩展了这种语法。他可以将一个对象的属性拷贝到另一个对象上,参考以下情形:
const obj1 = { a: 10, b: 20};const obj2 = { ...obj1, c: 30};console.log(obj2); // → {a: 10, b: 20, c: 30}
a: 10,
b: 20
};
const obj2 = {
...obj1,
c: 30
};
console.log(obj2); // → {a: 10, b: 20, c: 30}
在上述代码中,spread操作符遍历obj1属性,并将其添加到obj2的属性中;而在之前的版本中,如此处理会抛出一个异常。需要注意的是,如果存在相同的属性名,只有最后一个会生效。
const obj1 = { a: 10, b: 20};const obj2 = { ...obj1, a: 30};console.log(obj2); // → {a: 30, b: 20}
a: 10,
b: 20
};
const obj2 = {
...obj1,
a: 30
};
console.log(obj2); // → {a: 30, b: 20}
同时,Spread操作符可以作为Object.assign() 的一个替代方案进行对象融合:
const obj1 = {a: 10};const obj2 = {b: 20};const obj3 = {c: 30};// ES2018console.log({...obj1, ...obj2, ...obj3}); // → {a: 10, b: 20, c: 30}// ES2015console.log(Object.assign({}, obj1, obj2, obj3)); // → {a: 10, b: 20, c: 30}
然而,在进行对象融合时,Spread操作结果并不总是与Object.assign()一致,例如:
Object.defineProperty(Object.prototype, 'a', { set(value) { console.log('set called!'); }});const obj = {a: 10};console.log({...obj});// → {a: 10}console.log(Object.assign({}, obj));// → set called!// → {}
在上述代码中,Object.assign()方法继承了setter属性;而spread操作忽略了setter。
划重点:spread只复制枚举属性。在下面的例子中,type属性不会出现在复制对象中,因为它的枚举属性被设置为false:
const car = { color: 'blue'};Object.defineProperty(car, 'type', { value: 'coupe', enumerable: false});console.log({...car}); // → {color: "blue"}
继承的属性即使是可枚举的也会被忽略:
const car = { color: 'blue'};const car2 = Object.create(car, { type: { value: 'coupe', enumerable: true, }});console.log(car2.color); // → blueconsole.log(car2.hasOwnProperty('color')); // → falseconsole.log(car2.type); // → coupeconsole.log(car2.hasOwnProperty('type')); // → trueconsole.log({...car2}); // → {type: "coupe"}
在上述代码中,car2继承了car中的color属性。因为spread操作只会复制对象自身的属性,color并没有出现在新的对象中。
spread只会进行浅拷贝,如果属性的值是一个对象的话,只有对象的引用会被拷贝:
const obj = {x: {y: 10}};const copy1 = {...obj};const copy2 = {...obj};console.log(copy1.x === copy2.x); // → true
copy1.x 和 copy2.x 指向同一个对象的引用,所以他们严格相等。
ES2015增加的另一个有用特性是rest参数,它允许JS使用……将值表示为数组:
const arr = [10, 20, 30];const [x, ...rest] = arr;console.log(x); // → 10console.log(rest); // → [20, 30]
在上述代码中,arr中的第一项分配给x,其余元素分配给rest变量。这种模式称为数组析构,非常流行,Ecma技术委员会决定为对象提供类似的功能:
const obj = { a: 10, b: 20, c: 30};const {a, ...rest} = obj;console.log(a); // → 10console.log(rest); // → {b: 20, c: 30}
这段代码使用析构赋值中的rest属性将剩余的可枚举属性复制到一个新对象中。注意,rest属性必须始终出现在对象的末尾,否则将抛出错误:
const obj = { a: 10, b: 20, c: 30};const {...rest, a} = obj; // → SyntaxError: Rest element must be last element
此外,在对象中使用多个rest语法会抛异常,除非它们是嵌套的:
const obj = { a: 10, b: { x: 20, y: 30, z: 40 }};const {b: {x, ...rest1}, ...rest2} = obj; // no errorconst {...rest, ...rest2} = obj; // → SyntaxError: Rest element must be last element
Rest/Spread 特性支持
Chrome | Firefox | Safari | Edge |
60 | 55 | 11.1 | No |
Chrome Android | Firefox Android | iOS Safari | Edge Mobile | Samsung Internet | Android Webview |
60 | 55 | 11.3 | No | 8.2 | 60 |
Node.js:
- 8.0.0 (需要 --harmony 运行环境)
- 8.3.0 (完全支持)
2. 异步迭代
遍历是编程的一个重要部分。JS提供了for、for…in和while以及map()、filter()和forEach()等遍历数据的方法。在ES2015则引入了迭代器接口。
包含Symbol.iterator属性的对象是可迭代对象,如字符串和集合对象(如Set、Map和Array)。如下为迭代遍历的示例:
const arr = [10, 20, 30];const iterator = arr[Symbol.iterator]();console.log(iterator.next()); // → {value: 10, done: false}console.log(iterator.next()); // → {value: 20, done: false}console.log(iterator.next()); // → {value: 30, done: false}console.log(iterator.next()); // → {value: undefined, done: true}
Symbol.iterator是指定返回迭代器的函数. 迭代器包含next()方法,返回包含value和done属性的对象。其中value为下一个元素,done为布尔值,表示遍历是否结束。
普通对象进行迭代需要定义Symbol.iterator属性。示例如下:
const collection = { a: 10, b: 20, c: 30, [Symbol.iterator]() { const values = Object.keys(this); let i = 0; return { next: () => { return { value: this[values[i++]], done: i > values.length } } }; }};const iterator = collection[Symbol.iterator]();console.log(iterator.next()); // → {value: 10, done: false}console.log(iterator.next()); // → {value: 20, done: false}console.log(iterator.next()); // → {value: 30, done: false}console.log(iterator.next()); // → {value: undefined, done: true}
对象的迭代器通过Object.keys()方法获取属性名数组,将其赋值给values常量,同时定义一个默认值为0的计数器。当迭代器开始执行时,会返回一个包含next()方法的对象。该方法会返回包含value和done的对象,value为下一迭代值,done为布尔值,表示迭代器是否到达终点。
上述实现方式还是过于复杂,可以通过generator函数简化:
const collection = { a: 10, b: 20, c: 30, [Symbol.iterator]: function * () { for (let key in this) { yield this[key]; } }};const iterator = collection[Symbol.iterator]();console.log(iterator.next()); // → {value: 10, done: false}console.log(iterator.next()); // → {value: 20, done: false}console.log(iterator.next()); // → {value: 30, done: false}console.log(iterator.next()); // → {value: undefined, done: true}
在该generator函数中,利用for in循环枚举生成属性值。结果与前面的示例完全相同,但是要短得多。
迭代器的缺点是不适合表示异步数据源。ES2018的解决方案是异步迭代器和异步迭代。异步迭代器与传统迭代器的不同之处在于,它没有返回{value, done}形式的普通对象,而是返回一个Promise,其resolve返回{value, done}对象。一个可异步迭代对象中包含Symbol.asyncIterator属性(而不是Symbol.iterator),其功能为返回一个异步迭代器。
如下示例应该会使这一点更清楚:
const collection = { a: 10, b: 20, c: 30, [Symbol.asyncIterator]() { const values = Object.keys(this); let i = 0; return { next: () => { return Promise.resolve({ value: this[values[i++]], done: i > values.length }); } }; }};const iterator = collection[Symbol.asyncIterator]();console.log(iterator.next().then(result => { console.log(result); // → {value: 10, done: false}}));console.log(iterator.next().then(result => { console.log(result); // → {value: 20, done: false}}));console.log(iterator.next().then(result => { console.log(result); // → {value: 30, done: false}}));console.log(iterator.next().then(result => { console.log(result); // → {value: undefined, done: true}}));
注意,promise+迭代器并不能代替异步迭代器。虽然一个普通的同步迭代器可以异步地确定值,但是它仍然需要同步地确定“完成”的状态。
当然,您同样可以使用generator函数简化该过程,如下所示:
const collection = { a: 10, b: 20, c: 30, [Symbol.asyncIterator]: async function * () { for (let key in this) { yield this[key]; } }};const iterator = collection[Symbol.asyncIterator]();console.log(iterator.next().then(result => { console.log(result); // → {value: 10, done: false}}));console.log(iterator.next().then(result => { console.log(result); // → {value: 20, done: false}}));console.log(iterator.next().then(result => { console.log(result); // → {value: 30, done: false}}));console.log(iterator.next().then(result => { console.log(result); // → {value: undefined, done: true}}));
同样,异步迭代执行后会返回一个包含next()方法的对象。调用next()会返回一个包含{value, done}的对象,而value值则变为一个promise对象
在可迭代对象上迭代的一个简单方法是使用for of,但由于异步迭代对象的value和done并不是同步指定的,因此for of并不适用。基于此,ES2018提供了for await of方法。让我们来看一个例子:
const collection = { a: 10, b: 20, c: 30, [Symbol.asyncIterator]: async function * () { for (let key in this) { yield this[key]; } }};(async function () { for await (const x of collection) { console.log(x); }})();// logs:// → 10// → 20// → 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包裹,如下所示:
const collection = { [Symbol.asyncIterator]() { return { next: () => { return Promise.reject(new Error('Something went wrong.')) } }; }};(async function() { try { for await (const value of collection) {} } catch (error) { console.log('Caught: ' + error.message); }})();// logs:// → Caught: Something went wrong.
异步迭代器支持
Chrome | Firefox | Safari | Edge |
63 | 57 | 12 | No |
Chrome Android | Firefox Android | iOS Safari | Edge Mobile | Samsung Internet | Android Webview |
63 | 57 | 12 | No | 8.2 | 63 |
Node.js:
- 8.10.0 (需要--harmony\ async\ iteration标志)
- 10.0.0 (全部支持)
3. Promise.prototype.finally
ES2018的另一个令人兴奋的新特性是finally()方法。几个JavaScript库以前实现过类似的方法,这在许多情况下都很有用。这鼓励Ecma技术委员会正式将finally()添加到规范中。无论promise的结果如何,finally()方法中的代码都会执行。让我们看一个简单的例子:
fetch('https://www.google.com') .then((response) => { console.log(response.status); }) .catch((error) => { console.log(error); }) .finally(() => { document.querySelector('#spinner').style.display = 'none'; });
无论操作是否成功,当您需要在操作完成后进行一些清理时,finally()方法就派上用场了。在这段代码中,finally()方法在请求数据之后隐藏loading,无论请求是否成功。
您可以使用promise来实现相同的结果,使用then(func, func)而不是promise.finally(func),但是你必须在fulfillment handler和rejection handler中重复相同的代码,或者为它声明一个变量:
fetch('https://www.google.com') .then((response) => { console.log(response.status); }) .catch((error) => { console.log(error); }) .then(final, final);function final() { document.querySelector('#spinner').style.display = 'none';}
与then()和catch()一样,finally()方法总是返回一个promise,因此可以链接更多的方法。通常,您希望使用finally()作为最后一个链,但是在某些情况下,例如在发出HTTP请求时,最好将另一个catch()链接起来,以处理finally()中可能出现的错误。
Promise.prototype.finall支持
Chrome | Firefox | Safari | Edge |
63 | 58 | 11.1 | 18 |
Chrome Android | Firefox Android | iOS Safari | Edge Mobile | Samsung Internet | Android Webview |
63 | 58 | 11.1 | No | 8.2 | 63 |
Node.js:
10.0.0 (全部支持)
4. 新的正则表达式特性
ES2018为正则表达式添加了四个新特性,进一步提高了JavaScript的字符串处理能力。这些特点如下:
- s (dotAll) 标志
- 命名捕获组
- Lookbehind 后行断言
- Unicode属性转义
s (dotAll) 标志
点(.)是正则表达式模式中的一个特殊字符,它匹配除换行符(如换行符(\n)或回车符(\r)之外的任何字符。匹配所有字符(包括换行符)的一种方法是使用一个包含两个短字符的字符类,比如[\d\D]。这个表达式查询数字(\d)或非数字(\D)字符。因此,它匹配任何字符:
console.log(/one[\d\D]two/.test('one\ntwo')); // → true
ES2018引入了一种模式,在这种模式中,点(.)可以用来实现相同的结果。通过在原正则表达式基础上添加s表示,可以激活该模式:
console.log(/one.two/.test('one\ntwo')); // → falseconsole.log(/one.two/s.test('one\ntwo')); // → true
使用标志位来定义新行为的好处是向后兼容性。因此,使用点字符的现有正则表达式模式不受影响。
命名捕获组
在一些正则表达式模式中,使用数字进行匹配可能会令人混淆。例如,使用正则表达式/(\d{4})-(\d{2})-(\d{2})/来匹配日期。因为美式英语中的日期表示法和英式英语中的日期表示法不同,所以很难区分哪一组表示日期,哪一组表示月份:
const re = /(\d{4})-(\d{2})-(\d{2})/;const match= re.exec('2019-01-10');console.log(match[0]); // → 2019-01-10console.log(match[1]); // → 2019console.log(match[2]); // → 01console.log(match[3]); // → 10
ES2018引入了使用(?…)语法的命名捕获组。因此,匹配日期的模式可以用一种不那么模棱两可的方式来写:
const re = /(?<year>\d{4})-(?<month>\d{2})-(?<day>\d{2})/;const match = re.exec('2019-01-10');console.log(match.groups); // → {year: "2019", month: "01", day: "10"}console.log(match.groups.year); // → 2019console.log(match.groups.month); // → 01console.log(match.groups.day); // → 10
你可以在一个正则表达式中使用\k语法重复调用名称捕获组。例如,要在一个句子中找到连续重复的单词,可以使用/\b(?\w+)\s+\k\b/:
const re = /\b(?<dup>\w+)\s+\k<dup>\b/;const match = re.exec('Get that that cat off the table!');console.log(match.index); // → 4console.log(match[0]); // → that that
要将命名捕获组插入replace()方法的替换字符串中,需要使用$构造。例如:
const str = 'red & blue';console.log(str.replace(/(red) & (blue)/, '$2 & $1'));// → blue & redconsole.log(str.replace(/(?<red>red) & (?<blue>blue)/, '$<blue> & $<red>'));// → blue & red
Lookbehind后行断言
ES2018将lookbehind后行断言引入JavaScript,以前JavaScript只支持前行断言。后行断言由(?<=…)表示,代表字符串中的一个位置,紧接该位置之前的字符序列能够匹配pattern。例如,如果您想匹配以美元、英镑或欧元表示的产品的价格,而不需要捕获货币符号,您可以使用/(?<=\$|£|€)\d+(.\d*)?/:
const re = /(?<=\$|£|€)\d+(\.\d*)?/;console.log(re.exec('199'));// → nullconsole.log(re.exec('$199'));// → ["199", undefined, index: 1, input: "$199", groups: undefined]console.log(re.exec('€50'));// → ["50", undefined, index: 1, input: "€50", groups: undefined]
还有一种负向后行断言,表示为(?<!…),代表字符串中的一个位置,紧接该位置之前的字符序列不能匹配pattern。例如,如果模式/(?<!un)available/没有“un”前缀,那么它将匹配可用的单词:
const re = /(?<!un)available/;console.log(re.exec('We regret this service is currently unavailable'));// → nullconsole.log(re.exec('The service is available'));// → ["available", index: 15, input: "The service is available", groups: undefined]
Unicode 属性转义
ES2018提供了一种新的转义序列类型,称为Unicode属性转义,可以匹配所有的Unicode。你可以使用\p{Number}来匹配所有的Unicode数字,例如,假设你想匹配的Unicode字符㉛字符串:
const str = '㉛';console.log(/\d/u.test(str)); // → falseconsole.log(/\p{Number}/u.test(str)); // → true
同样的,你可以使用\p{Alphabetic}来匹配所有的Unicode单词字符:
const str = 'ض';console.log(/\p{Alphabetic}/u.test(str)); // → true// the \w shorthand cannot match ض console.log(/\w/u.test(str)); // → false
同样有一个负向的Unicode属性转义模板 \P{...}:
console.log(/\P{Number}/u.test('㉛')); // → falseconsole.log(/\P{Number}/u.test('ض')); // → trueconsole.log(/\P{Alphabetic}/u.test('㉛')); // → trueconsole.log(/\P{Alphabetic}/u.test('ض')); // → false
除了字母和数字之外,Unicode属性转义中还可以使用其他一些属性。您可以在现行规范中找到受支持的Unicode属性列表。
新正则表达式支持
Chrome | Firefox | Safari | Edge | |
s (dotAll) Flag | 62 | No | 11.1 | No |
Named Capture Groups | 64 | No | 11.1 | No |
Lookbehind Assertions | 62 | No | No | No |
Unicode Property Escapes | 64 | No | 11.1 | No |
Chrome (Android) | Firefox (Android) | iOS Safari | Edge Mobile | Samsung Internet | Android Webview | |
s (dotAll) Flag | 62 | No | 11.3 | No | 8.2 | 62 |
Named Capture Groups | 64 | No | 11.3 | No | No | 64 |
Lookbehind Assertions | 62 | No | No | No | 8.2 | 62 |
Unicode Property Escapes | 64 | No | 11.3 | No | No | 64 |
Node.js:
- 8.3.0 (需要 --harmony 标志)
- 8.10.0 (支持 s (dotAll) 标志和后行断言)
- 10.0.0 (全部支持)
5. 模板文字修订
当模板文字前紧跟着一个表达式时,它被称为带标记的模板文字。当您想用函数解析模板文字时,带标记的模板就派上用场了。考虑下面的例子:
function fn(string, substitute) { if(substitute === 'ES6') { substitute = 'ES2015' } return substitute + string[1];}const version = 'ES6';const result = fn${version} was a major update;console.log(result); // → ES2015 was a major update
在这段代码中,模板文字调用了一个标记表达式(函数):修改字符串中的变量部分。
在ES2018之前,标记模板文字具有与转义序列相关的语法限制。后跟特定字符序列的反斜杠被视为特殊字符:十六进制转义的\x、unicode转义的\u和八进制转义的\u。因此,像“C:\xxx\uuu”或“\ubuntu”这样的字符串被解释器认为是无效的转义序列,并且会抛出一个SyntaxError。
ES2018从标记模板中移除这些限制,并不是抛出错误,而是将无效的转义序列表示为undefined:
function fn(string, substitute) { console.log(substitute); // → escape sequences: console.log(string[1]); // → undefined}const str = 'escape sequences:';const result = fn${str} \ubuntu C:\xxx\uuu;
注意,在常规模板文字中使用非法转义序列仍然会导致错误:
const result = \ubuntu;// → SyntaxError: Invalid Unicode escape sequence
模板文字修订支持
Chrome | Firefox | Safari | Edge |
62 | 56 | 11 | No |
Chrome Android | Firefox Android | iOS Safari | Edge Mobile | Samsung Internet | Android Webview |
62 | 56 | 11 | No | 8.2 | 62 |
Node.js:
- 8.3.0 (需要 --harmony 标志)
- 8.10.0 (全部支持)
总结
我们已经很好地了解了ES2018中引入的几个关键特性,包括异步迭代、rest/spread属性、Promise.prototype.finally()以及正则表达式新特性的添加。尽管一些浏览器厂商还没有完全实现其中的一些特性,但是仍然可以用诸如Babel之类转义器进行使用。
ECMAScript正在快速发展,经常会有新特性被引入,有兴趣可以查询已完成提案列表,了解全部最新内容。有没有什么新功能让你特别兴奋?在评论中分享吧!