2015年6月发布了ES 6,也就是我们今天广泛使用的版本。这之后每年6月发布一个极小更新的ES版本,比如2016年6月发布的 ES 2016 叫做ES 7,而这个版本只增加了两个新特性。截止目前,ES 11的提案已经定稿了。
ES 7 新特性
功能点 | 说明 |
---|---|
Array.prototype.includes | 查找数组 |
Exponentiation operator | 指数函数的中缀表示法 |
Array.prototype.includes
includes是一个Array上很有用的方法,用于快速查找数组中是否包含某个元素,包括NaN(和indexOf不一样的点)。
1 | let arr = [1, 2, 3, NaN]; |
指数函数用法
JavaScript采用两个星符号**来表示Math.pow,相对于Math.pow的好处:
- 中缀表示法比函数表示法更简洁,这使它更可取。
- 方便数学、物理、机器人学等领域的计算。
1 | //用法一:x ** y |
ES 8 新特性
功能点 | 说明 |
---|---|
Object.values / Object.entries | |
String padding | 字符串追加 |
Object.getOwnPropertyDescriptors | 返回指定对象自己所有的属性内容 |
Async functions | 异步函数 |
Shared memory and atomics | 共享内存和 Atomics 对象 |
Object.values() / Object.entries
- Object.values(obj),obj 参数是对目标对象的操作,它可以是一个对象或者数组
1 | const obj = { x: 'xxx', y: 1 }; |
- Object.entries方法返回一个给定对象可枚举属性值的数组[key, value],与Object.values类似
1 | const obj = { x: 'xxx', y: 1 }; |
字符串追加
在 ES 8 中String新增了两个实例函数String.prototype.padStart和String.prototype.padEnd,允许将空字符串或其他字符串添加到原始字符串的开头或结尾。String.padStart(targetLength,[padString])
targetLength:当前字符串需要填充到的目标长度。如果这个数值小于当前字符串的长度,则返回当前字符串本身。
padString:(可选)填充字符串。如果字符串太长,使填充后的字符串长度超过了目标长度,则只保留最左侧的部分,其他部分会被截断,此参数的缺省值为空格。String.padEnd(targetLength,padString]) 参数释义同上。
1 | 'es8'.padStart(2); // 'es8' |
Object.getOwnPropertyDescriptors
getOwnPropertyDescriptors
方法返回指定对象自己所有的属性内容,并且属性内容只是自身直接定义的,而不是从object的原型继承而来的。
定义是:Object.getOwnPropertyDescriptors(obj)
,obj
是指目标对象,这个方法返回的值可能是 configurable、enumerable、writable、get、set 和 value。
1 | const obj = { |
getOwnPropertyDescriptors可以用来创建子类:
1 | function superclass() {} |
异步函数
Async Functions也就是我们常说的Async/Await,已经用的很频繁了,在此不再赘述。
SharedArrayBuffer & Atomics
SharedArrayBuffer 对象用来表示一个通用的,固定长度的原始二进制数据缓冲区,类似于 ArrayBuffer 对象,它们都可以用来在共享内存(shared memory)上创建视图。与 ArrayBuffer 不同的是,SharedArrayBuffer 不能被分离。
请注意,作为对Spectre的响应,所有主流浏览器均默认于2018年1月5日禁用SharedArrayBuffer。 Chrome在启用了网站隔离功能的平台上的v67中重新启用了该功能,以防止出现Spectre风格的漏洞。
- 语法:
1 | /** |
共享内存能被同时创建和更新于工作者线程或主线程。依赖于系统(CPU,操作系统,浏览器),变化传递给所有上下文环境需要一段时间。需要通过 atomic 操作来进行同步。
Atomics
对象提供了一组静态方法用来对 SharedArrayBuffer
对象进行原子操作。这些原子操作属于 Atomics
模块。与一般的全局对象不同,Atomics 不是构造函数,因此不能使用 new 操作符调用,也不能将其当作函数直接调用。Atomics 的所有属性和方法都是静态的(与 Math
对象一样)。
多个共享内存的线程能够同时读写同一位置上的数据。原子操作会确保正在读或写的数据的值是符合预期的,即下一个原子操作一定会在上一个原子操作结束后才会开始,其操作过程不会中断。
方法名 | 说明 |
---|---|
Atomics.add() | 将指定位置上的数组元素与给定的值相加,并返回相加前该元素的值 |
Atomics.and() | 将指定位置上的数组元素与给定的值相与,并返回与操作前该元素的值。 |
Atomics.compareExchange() | 如果数组中指定的元素与给定的值相等,则将其更新为新的值,并返回该元素原先的值。 |
Atomics.exchange() | 将数组中指定的元素更新为给定的值,并返回该元素更新前的值。 |
Atomics.load() | 返回数组中指定元素的值。 |
Atomics.or() | 将指定位置上的数组元素与给定的值相或,并返回或操作前该元素的值。 |
Atomics.store() | 将数组中指定的元素设置为给定的值,并返回该值。 |
Atomics.sub() | 将指定位置上的数组元素与给定的值相减,并返回相减前该元素的值。 |
Atomics.xor() | 将指定位置上的数组元素与给定的值相异或,并返回异或操作前该元素的值。 |
Atomics.wait() | 检测数组中某个指定位置上的值是否仍然是给定值,是则保持挂起直到被唤醒或超时。返回值为 “ok”、”not-equal” 或 “time-out”。调用时,如果当前线程不允许阻塞,则会抛出异常(大多数浏览器都不允许在主线程中调用 wait())。 |
Atomics.wake() | 唤醒等待队列中正在数组指定位置的元素上等待的线程。返回值为成功唤醒的线程数量。 |
Atomics.isLockFree(size) | 可以用来检测当前系统是否支持硬件级的原子操作。对于指定大小的数组,如果当前系统支持硬件级的原子操作,则返回 true;否则就意味着对于该数组,Atomics 对象中的各原子操作都只能用锁来实现。此函数面向的是技术专家。 |
ES 9 新特性
新特性 | 中文说明 |
---|---|
Asynchronous Iteration | 异步迭代器 |
Promise.prototype.finally |
|
Lifting template literal restriction | 重新修订了字面量的转义 |
Rest/Spread Properties | Rest/Spread 属性 |
s (dotAll) flag for regular expressions |
正则表达式dotAll模式 |
RegExp named capture groups | 正则表达式命名捕获组 |
RegExp Lookbehind Assertions | 正则表达式反向断言 |
RegExp Unicode Property Escapes | 正则表达式 Unicode 转义 |
异步迭代器
在async
/await
的某些时刻,你可能尝试在同步循环中调用异步函数。例如:
1 | async function func(array) { |
这段代码不会达到预期目的,下面这段同样也不会:
1 | async function func(array) { |
上面这段代码中,循环本身依旧保持同步,并在内部异步函数之前全部调用完成。
引入异步迭代器后,就像常规迭代器,除了next()
方法返回一个Promise。因此await
可以和for...of
循环一起使用,以串行的方式运行异步操作。
1 | async function func(array) { |
更多详细论述见“壹.2.12”。
Promise.prototype.finally
一个Promise调用链要么成功到达最后一个.then()
,要么失败触发.catch()
。在某些情况下,你想要在无论Promise运行成功还是失败,运行相同的代码,例如清除数组、删除对话、关闭数据库连接等,.finally()
允许实现这样的目的。
1 | function func() { |
更多详细论述见“壹.2.12”。
重新修订了字面量的转义
ES9 之前,\u
表示 unicode 转义,\x
表示十六进制转义,\
后跟一个数字表示八进制转义,这使得创建特定的字符串变得不可能,例如Windows文件路径C:\uuu\xxx\111
。
要取消转义序列的语法限制,可在模板字符串之前使用标记函数String.raw
。
1 | let s = `\u{54}` //会转义成unicode "T" |
Rest / Spread 属性
这个就是我们通常所说的三个点...
,在=
左边的是rest参数,放在=
右边或者作为参数的是扩展运算符,这项特性在ES6中已经引入,但是ES6中的作用对象仅限于数组。在ES9中,为对象提供了像数组一样的rest参数和扩展运算符:
1 | const obj = { |
正则表达式dotAll模式
正则表达式中点.
匹配除回车外的任何单字符,标记s
改变这种行为,允许匹配回车换行。
1 | /hello.world/.test('hello\nworld'); // false |
正则表达式命名捕获组
Javascript正则表达式中使用exec()
匹配后,能够返回一个包含匹配字符串的类数组对象。
1 | const reDate = /(\d{4})-(\d{2})-(\d{2})/, |
返回数组的第0项为与正则表达式相匹配的文本,第 1 项是与 reDate
的第 1 个分组\d{4}
相匹配的文本(如果有的话),第 2 项是与 reDate
的第 2 个分组\d{2}
相匹配的文本(如果有的话),以此类推。正则表达式的组以()
包起来。
上面的案例,若是日期格式变成月日年
,那么改变正则表达式的结构后,还有可能会改变变量的赋值部分的代码。如下示例:
1 | const reDate = /(\d{2})-(\d{2})-(\d{4})/,//表达式结构变化了 |
可以发现上面的写法改的地方太多了,有没有办法少改点代码省省事呢?有! ES9 允许使用符号?<name>
来命名捕获组(也即“匹配到的组”),示例如下:
1 | const reDate = /(?<year>\d{4})-(?<month>\d{2})-(?<day>\d{2})/, |
命名捕获组的写法相当于是把每个捕获组都定义了一个名字,然后存储到返回值的groups
属性中。
正则表达式后行断言
先看看正则表达式先行断言示例:
1 | const re1 = /\D(\d+)/, |
(?=pattern) 零宽正向先行断言(zero-width positive lookahead assertion)
代表字符串中的一个位置,紧接该位置之后的字符序列能够匹配pattern;(?!pattern) 零宽负向先行断言(zero-width negative lookahead assertion)
代表字符串中的一个位置,紧接该位置之后的字符序列不能匹配pattern;(?<=pattern) 零宽正向后行断言(zero-width positive lookbehind assertion)
代表字符串中的一个位置,紧接该位置之前的字符序列能够匹配pattern;(?<!pattern) 零宽负向后行断言(zero-width negative lookbehind assertion)
代表字符串中的一个位置,紧接该位置之前的字符序列不能匹配pattern。
在ES9中,可以允许使用?<=
进行正向后行断言,可以获取货币的价格而忽略货币符号。
1 | const re= /(?<=\D)[\d\.]+/, |
上面的正向后行断言,也就是说\D
这个条件必须满足,但\D
匹配的字符不会作为结果输出(因为先行/后行断言其实只是匹配了一个位置)。如果是下面这样:
1 | const re= /(?<=\D)[\d\.]+/, |
可以看到match1
匹配到的是45
,这是由于在.
前面没有任何符合\D
的匹配内容,它会一直找到符合\D
的内容,也就是.
然后返回后面的内容。而match2
若是没有满足前面肯定反向断言的条件的话,则结果返回null
。
正则表达式 Unicode 转义
ES9 之前,在正则表达式中本地访问 Unicode 字符属性是不被允许的。ES9 添加了 Unicode 属性转义,形式为\p{...}
和\P{...}
,在正则表达式中使用标记 u
(unicode) 设置,在\p
的{...}
内,可用键值对的方式设置需要匹配的属性而非具体内容。
1 | const regex = /\p{Script=Greek}/u;//Greek为希腊语的意思 |
ES 10 新特性
新特性 | 中文说明 |
---|---|
Optional catch binding |
可选的 catch 变量绑定 |
JSON superset | JSON超集 |
Symbol.prototype.description |
Symbol 对象的 description 属性 |
Function.prototype.toString revision |
修订Function.prototype.toString |
Object.fromEntries |
|
Well-formed JSON.stringify |
更加友好的JSON.stringify |
String.prototype.{trimStart,trimEnd} |
|
Array.prototype.{flat,flatMap} |
可选的 catch 变量绑定
在 ES10 之前,我们必须通过语法为 catch 子句绑定异常变量,无论是否有必要。很多时候 catch 块是多余的,而 ES10 使我们能够简单的把变量省略掉。
1 | //之前是 |
JSON超集
什么是 JSON 超集?简单来说就是 JSON 是 ECMAScript 的子集,也就是说让 ECMAScript 兼容 JSON 的内容所支持的全部文本。
ECMAScript 在标准 JSON.parse 部分阐明了 JSON 确为其一个子集,但由于 JSON 的内容可以正常包含 U+2028
行分隔符与 U+2029
段落分隔符,而 ECMAScript 却不行,所以,该草案旨在解决这一问题。在这之前,如果你使用 JSON.parse()
执行带如上特殊字符的字符串时,只会收到 SyntaxError
的错误提示。该草案同样是向后兼容的,其对用户唯一的影响是保持原样,即在暂不支持特殊字符解析的运行环境中保持报错 SyntaxError
。
Symbol 对象的 description 属性
ES10 中为 Symbol 对象添加了只读属性 description
,该对象返回包含 Symbol 描述的字符串。在创建Symbol时向其添加description
(描述),能够直接访问description
,对调试是很有用的。
1 | let sym = Symbol('foo');//添加的描述内容为“foo” |
修订Function.prototype.toString
函数原型上的方法toString()
现在返回精确字符,包括空格和注释。
1 | function /* comment */ foo /* another comment */() {} |
Object.fromEntries
在 JavaScript 操作中,数据在各种数据结构之间的转换都是很容易的,比如 Map 到数组、Map 到 Set、对象到 Map 等等。
1 | let map = new Map().set('foo', true).set('bar', false); |
但是如果我们需要将一个键值对列表转换为对象,就要写点费劲的代码了。
1 | let map = new Map().set("foo", true).set("bar", false); |
该特性的目的在于为对象添加一个新的静态方法 Object.fromEntries
,用于将符合键值对的列表(例如 Map、数组等)转换为一个对象。上一块的代码中的转换逻辑,现在我们只需要一行代码即可搞定。
1 | const map = new Map().set("foo", true).set("bar", false); |
更加友好的 JSON.stringify
ES10 之前,当你使用 JSON.stringify()
处理无法用 UTF-8 编码表示的字符时(U+D800 至 U+DFFF),返回的结果会是一个乱码 Unicode 字符“�”。该特性提出用JSON.stringify()
来安全的表示这些不正常的UTF-8字符。
1 | let r; |
String.prototype.{trimStart,trimEnd}
新增了String的trimStart()
方法和trimEnd()
方法,这两个方法很好理解,分别去除字符串首、尾的空白字符,就不举例占篇幅了。
Array.prototype.{flat,flatMap}
这个特性新创造了两个方法,其中:
Array.prototype.flat
数组的所有项会以指定的维度降维(扁平化),然后组成新数组返回;Array.prototype.flatMap
首先会执行一次map()
方法,然后再通过类似flat()
方法扁平化数组。它等同于执行完map()
后再执行一次flat()
方法,所以当你执行map()
返回的结果如果是个数组,然后又要将其扁平化时,这个方法会显得方便。
来看几个例子解释一下,首先 flat()
方法支持多维数组的扁平化,其中Infinity
可以将多维数组压扁成一维数组。
1 | let r; |
接着来看看flatMap()
1 | let r; |
ES 11 新特性一览
新特性 | 中文说明 |
---|---|
String.prototype.matchAll |
|
import() |
import()函数 |
Promise.allSettled |
String.prototype.matchAll
matchAll()
方法返回一个包含所有匹配正则表达式及分组捕获结果的迭代器(iterator)。 在 matchAll
出现之前,通过在循环中调用Regexp.exec
来获取所有匹配项信息(Regexp
需使用/g
标志):
1 | const regexp = RegExp('foo*','g'); |
如果使用matchAll
,就可以不必使用while
循环加exec
方式(且正则表达式需使用/g
标志)。使用matchAll
会得到一个迭代器的返回值,配合 for...of
,array spread
,Array.from()
可以更方便实现功能。
1 | const regexp = RegExp('foo*','g'); |
import()函数
这个特性为JavaScript添加了一个类函数(function-like)的import()
功能,以便可以像函数传参那样传入参数实现动态(没错,import
是静态引用的)引用模块(module)。下面有个单页应用简单示例,演示了用import()
开启懒加载。
1 | <!DOCTYPE html> |
请注意import()
和import
的区别:
- import() 可以用在script脚本区,不止是模块内;
- 如果在模块内使用import(),它可以在任何地方任何级别执行,而不是被提升到顶级(优先执行);
- import() 是运行时执行,也即什么时候运行到这句,就会加载参数指定的模块;参数也可以是动态可变的,不止是静态参数;
- import() 不建立可静态分析的依赖关系(静态分析的情况下可以做很多优化),但是,在一些比较简单的情况下,比如
import(“/foo.js”)
中,实现仍然可以执行静态分析优化。
如果模块采用default
的形式对外暴露接口,则可用default
属性直接获得。
1 | import('./module.js') |
Promise.allSettled
为什么要有Promise.allSettled()
?
举例说明,比如各位用户在页面上面同时填了3个独立的表单,这三个表单分三个接口提交到后端,三个接口独立,没有顺序依赖,这个时候我们需要等到请求全部完成后给与用户提示表单提交的情况。
在多个promise
同时进行时咱们很快会想到使用Promise.all
来进行包装,但是由于Promise.all
的一票否决的特性,三个提交中若前面任意一个提交失败,则后面的表单也不会进行提交了,这就与咱们需求不符合。
Promise.allSettled
跟Promise.all
类似,其参数接受一个Promise
的数组,返回一个新的Promise
,唯一的不同在于,其没有一票否决的特性,也就是说当Promise
全部处理完成后我们可以拿到每个Promise
的状态,而不管其是否处理成功。
1 | Promise.allSettled([Promise.resolve("coffe"), Promise.reject("1891")]).then( |
本篇结语
很显然ECMAScript接下来会持续不断地更新,按TC39的计划是每年都会发一个新版本。虽然节奏很快,但是我们完全没必要担心跟不上节奏。除了ES6这个史无前例的版本带来了超大量的新特性外,之后每年发的版本都仅仅带有少量的增量更新,你只需要花45分钟就能搞明白这一年更新的特性。保持一颗好奇的心,你会不断进步,变得更强!