ES6 新增了 Synmbol 数据类型和 Set、Map 两种数据据结构,以及衍生的 WeakSet 和 WeakMap。之前工作中基本未用过,惭愧之至,努力学习之。
ES6 引入了一种新的原始数据类型 Symbol,表示独一无二的值。它是 JavaScript 的 第 7 种数据类型,前 6 种分别是:Undefined、Null、布尔值(Boolean)、字符串(String)、数值(Number)和对象(Object)。
Symbol 值通过 Symbol 函数生成。注意 Symbol 函数前不能使用 new 命令,否则会报错。这是因为生成的 Symbol 是一个原始类型的值,不是对象,基本上,它是一种类似于字符串的数据类型。
let s = Symbol()typeof s // 'symbol'
Symbol 函数可以接受一个字符串作为参数,表示对 Symbol 实例的描述,主要是为了在控制台显示,或者转为字符串时比较容易区分。
let s = Symbol('foo')s.toString() // 'Symbol(foo)'
如果 Symbol 的参数是一个对象,就会调用该对象的 toString 方法,将其转为字符串,然后才生成一个 Symbol 值。
需要注意:每一个 Symbol 值都是不相等的,Symbol 函数的参数只表示对当前 Symbol 值的描述,因此相同参数的 Symbol 函数的返回值是不相等的。
Symbol 值不能与其他类型的值进行运算,否则会报错。但 Symbol 值可以显式转为字符串。另外,Symbol 值也可以转为布尔值,但是不能转为数值。
let s = Symbol()Boolean(s) // trueNumber(s) // TypeError
Symbol 作为属性名,该属性不会出现在 for...in、for...of 循环中,也不会被 Object.keys()、Object.getOwnPropertyNames() 返回。但它也不是私有属性,Object.getOwnropertySymbols 方法可以获取指定对象的所有 Symbol 属性名。该方法返回一个数组,成员是当前对象的所有用作属性名的 Symbol 值。
此外,Reflect.ownKeys
方法可以返回所有类型的键名,包括常规键名和 Symbol 键名。
let obj = { [Symbol('my_key')]: 1, enum: 2, nonEnum: 3 }Object.getOwnPropertySymbols(obj) // [Symbol(my_key)]Reflect.ownKeys(obj) // ['enum', 'nonEnum', Symbol(my_key)]
Symbol.for()
与 Symbol()
这两种写法都会生成新的 Symbol。它们的区别是,前者会被登记在全局环境中供搜索,而后者不会。Symbol.for() 不会在每次调用时都返回一个新的 Symbol 类型的值,而是会先检查给定的 key 是否已经存在,如果不存在才会新建一个值。
Symbol.for('bar') === Symbol.for('bar') // trueSymbol('bar') === Symbol('bar') // false
Symbol.keyFor 方法返回一个已登记的 Symbol 类型值的 key。
let s1 = Symbol.for('foo')Symbol.keyFor(s1) // 'foo'let s2 = Symbol('foo')Symbol.keyFor(s2) // undefined
注意:Symbol.for 为 Symbol 值登记的名字是全局环境的,可以在不同的 iframe 或 service worker 中取到同一个值。
除了定义自己使用的 Symbol 值,ES6 还提供了 11 个内置的 Symbol 值,指向语言内部使用的方法。
对象的 Symbol.hasInstance
属性指向一个内部方法,对象使用 instanceof 运算符时会调用这个方法,判断该对象是否为某个构造函数的实例。比如,foo instanceof Foo 在语言内部实际调用的是 Foo[Symbol.hasInstance](foo)
。
class Even {static [Symbol.hasInstance](obj) {return Number(obj) % 2 === 0}}1 instanceof Even // false2 instanceof Even // true
对象的 Symbol.isConcatSpreadable
属性等于一个布尔值,表示该对象使用 Array.prototype.concat() 时是否可以展开。
该值为 true 或 undefined 时可以展开,为 false 时不可展开。
let arr = ['c', 'd']arr[Symbol.isConcatSpreadable] = false;[('a', 'b')].concat(arr, 'e') // ['a', 'b', ['c','d'], 'e']
对象的 Symbol.species
属性指向当前对象的构造函数。创造实例时默认会调用这个方法,即使用这个属性返回的函数当作构造函数来创造新的实例对象。
class MyArray extends Array {// 覆盖父类 Array 的构造函数static get [Symbol.species]() {return Array}}
上面的代码中,子类 MyArray 继承了父类 Array。创建 MyArray 的实例对象时,本来会调用它自己的构造函数(本例中被省略了),但是由于定义了 Symbol.species 属性,所以会使用这个属性返回的函数来创建 MyArray 的实例。
默认的 Symbol.species 属性等同于下面的写法:
static get [Symbol.species]() {return this}
对象的 Symbol.match
属性指向一个函数,当执行 str.match(myObject) 时,如果该属性存在,会调用它返回该方法的返回值。
String.prototype.match(regexp) // 等同于regexp[Symbol.match](this)
示例如下:
class MyMatcher {[Symbol.match](string) {return 'hello world'.indexOf(string)}}'e'.match(new MyMatcher()) // 1
对象的 Symbol.replace
属性指向一个方法,当对象被 String.prototype.replace 方法调用时会返回该方法的返回值。
String.prototype.replace(searchValue, replaceValue)// 等同于searchValue[Symbol.replace](this, replaceValue)
示例如下:
const x = {}x[Symbol.replace] = (...s) => console.log(s)'Hello'.replace(x, 'World') // ["Hello", "World"]
上面示例中,x[Symbol.replace] 方法传入两个参数 this 和 replaceValue 分别为 'Hello' 和 'World',经过参数扩展运算符转换为数组后输出 '["Hello", "World"]'。
对象的 Symbol.search
属性指向一个方法,当对象被 String.prototype.search 方法调用时会返回该方法的返回值。
String.prototype.search(regexp)// 等同于regexp[Symbol.search](this)
示例如下:
class MySearch {constructor(value) {this.value = value}[Symbol.search](string) {return string.indexOf(this.value)}}'foobar'.search(new MySearch('foo')) // 0
对象的 Symbol.split
属性指向一个方法,当对象被 String.prototype.split 方法调用时会返回该方法的返回值。
String.prototype.split(separator, limit)// 等同于separator[Symbol.split](this, limit)
示例如下:
class MySplitter {constructor(value) {this.value = value}[Symbol.split](string) {var index = string.indexOf(this.value)if (index === -1) {return string}return [string.substr(0, index), string.substr(index + this.value.length)]}}'foobar'.split(new MySplitter('foo')) // ['', 'bar']
对象的 Symbol.iterator
属性指向该对象的默认遍历器方法。
var myIterable = {}myIterable[Symbol.iterator] = function*() {yield 1yield 2yield 3};[...myIterable] // [1, 2, 3]
对象进行 for...of 循环时,会调用 Symbol.iterator 方法返回该对象的默认遍历器。
class Collection {*[Symbol.iterator]() {let i = 0while (this[i] !== undefined) {yield this[i]++i}}}let myCollection = new Collection()myCollection[0] = 1myCollection[1] = 2for (let value of myCollection) {console.log(value)}// 1// 2
对象的 Symbol.toPrimitive
属性指向一个方法,对象被转为原始类型的值时会调用这个方法,返回该对象对应的原始类型值。
Symbol.toPrimitive 被调用时会接受一个字符串参数,表示当前运算的模式。一共有 3 种模式:
Number:该场合需要转成数值。
String:该场合需要转成字符串。
Default:该场合可以转成数值,也可以转成字符串。
let obj = {[Symbol.toPrimitive](hint) {switch (hint) {case 'number':return 123case 'string':return 'str'case 'default':return 'default'default:throw new Error()}}}2 * obj // 2463 + obj // '3default'obj == 'default' // trueString(obj) // 'str'
对象的 Symbol.toStringTag
属性指向一个方法,在对象上调用 Object. prototype.toString 方法时,如果这个属性存在,其返回值会出现在 toString 方法返回的字符串中,表示对象的类型。也就是说,这个属性可用于定制 [object Object] 或 [object Array] 中 object 后面的字符串。
;({ [Symbol.toStringTag]: 'Foo' }.toString())// "[object Foo]"
ES6 新增了大量内置对象的 Symbol.toStringTag 属性值,这里略。
对象的 Symbol.unscopables
属性指向一个对象,指定了使用 with 关键字时哪些属性会被 with 环境排除。
Array.prototype[Symbol.unscopables]/*** {* copyWithin: true,* entries: true,* fill: true,* find: true,* findIndex: true,* includes: true,* keys: true* }*/
上面代码说明,数组有 7 个属性会被 with 命令排除。
示例如下:
class MyClass {foo() {return 1}get [Symbol.unscopables]() {return { foo: true }}}var foo = function() {return 2}with (MyClass.prototype) {foo() // 2}
上面的代码通过指定 Symbol.unscopables 属性使 with 语法块不会在当前作用域寻找 foo 属性,即 foo 将指向外层作用域的变量。
ES6 提供了新的数据结构 Set。它类似于数组,但是成员的值都是唯一的,没有重复。
Set 本身是一个构造函数,用来生成 Set 数据结构。Set 函数可以接受一个数组(或者具有 iterable 接口的其他数据结构)作为参数,用来初始化。
const set = new Set([1, 2, 3, 4, 4])
借助 Set 成员的唯一性,可以实现数组去重:
;[...new Set(array)]Array.from(new Set(array))
Set 内部判断两个值是否相同时使用的算法叫作 “Same-value equality”,它类似于精确相等运算符(===),主要的区别是 NaN 等于自身,而精确相等运算符认为 NaN 不等于自身。在 Set 内部,两个 NaN 是相等的。
Set 结构的实例有以下属性:
Set.prototype.constructor:构造函数,默认就是 Set 函数。
Set.prototype.size:返回 Set 实例的成员总数。
Set 实例的方法分为两大类:操作方法(用于操作数据)和遍历方法(用于遍历成员)。先介绍 4 个操作方法:
add(value):添加某个值,返回 Set 结构本身。
delete(value):删除某个值,返回一个布尔值,表示删除是否成功。
has(value):返回一个布尔值,表示参数是否为 Set 的成员。
clear():清除所有成员,没有返回值。
add 方法返回 Set 结构本身,所以可以链式调用:
new Set().add(1).add(2)
Set 结构的实例有 4 个遍历方法,可用于遍历成员:
keys():返回键名的遍历器。
values():返回键值的遍历器。
entries():返回键值对的遍历器。
forEach():使用回调函数遍历每个成员。
需要特别指出的是:Set 的遍历顺序就是插入顺序。这个特性有时非常有用,比如使用 Set 保存一个回调函数列表,调用时就能保证按照添加顺序调用。
keys 方法、values 方法、entries 方法返回的都是遍历器对象。由于 Set 结构没有键名,只有键值(或者说键名和键值是同一个值),所以 keys 方法和 values 方法的行为完全一致。
let set = new Set(['red', 'green', 'blue'])for (let x of set.values()) {console.log(x)}
Set 结构的实例默认可遍历,其默认遍历器生成函数就是它的 values 方法。
Set.prototype[Symbol.iterator] === Set.prototype.values // true
这意味着,可以省略 values 方法,直接用 for...of 循环遍历 Set:
let set = new Set(['red', 'green', 'blue'])for (let x of set) {console.log(x)}
Set 结构实例的 forEach 方法用于对每个成员执行某种操作,没有返回值。该函数的参数依次为键值、键名、集合本身。还可传入第二个参数表示绑定的 this 对象。
let set = new Set([1, 2, 3])set.forEach((value, key) => console.log(value * 2))
扩展运算符(...)内部使用 for...of 循环,所以也可以用于 Set 结构。
let set = new Set([1, 2, 3])set = new Set([...set].map(x => x * 2))// 返回 Set 结构:{2, 4, 6}let set = new Set([1, 2, 3, 4, 5])set = new Set([...set].filter(x => x % 2 == 0))// 返回 Set 结构:{2, 4}
数组的 map 和 filter 方法也可以用于 Set。因此使用 Set 可以很容易地实现并集(Union)、交集(Intersect)和差集(Difference)。
let a = new Set([1, 2, 3])let b = new Set([2, 3, 4])//并集let union = new Set([...a, ...b]) // set {1, 2, 3, 4}//交集let intersect = new Set([...a].filter(x => b.has(x))) // set {2, 3}//差集let difference = new Set([...a].filter(x => !b.has(x))) // set {1}
目前没有直接的方法在遍历操作中同步改变原来的 Set 结构,但有两种变通方法。一种是利用原 Set 结构映射出一个新的结构,然后赋值给原来的 Set 结构;另一种是利用 Array.from 方法。
// 方法一let set = new Set([1, 2, 3])set = new Set([...set].map(val => val * 2))// set { 2, 4, 6 }// 方法二let set = new Set([1, 2, 3])set = new Set(Array.from(set, val => val * 2))// set { 2, 4, 6 }
WeakSet 结构与 Set 类似,也是不重复的值的集合。但是,它与 Set 有两个区别:
WeakSet 的成员只能是对象,而不能是其他类型的值。
WeakSet 中的对象都是弱引用,即垃圾回收机制不考虑 WeakSet 对该对象的引用,也就是说,如果其他对象都不再引用该对象,那么垃圾回收机制会自动回收该对象所占用的内存,不考虑该对象是否还存在于 WeakSet 之中。
垃圾回收机制依赖引用计数,如果一个值的引用次数不为 0,垃圾回收机制就不会释放这块内存。结束使用该值之后,有时会忘记取消引用,导致内存无法释放,进而可能会引发内存泄漏。
WeakSet 里面的引用都不计入垃圾回收机制,所以就不存在这个问题。因此,WeakSet 适合临时存放一组对象,以及存放跟对象绑定的信息。只要这些对象在外部消失,它在 WeakSet 里面的引用就会自动消失。
WeakSet 的成员是不适合引用的,因为它会随时消失。另外,WeakSet 内部有多少个成员取决于垃圾回收机制有没有运行,运行前后很可能成员个数是不一样的,而垃圾回收机制何时运行是不可预测的,因此 ES6 规定WeakSet 不可遍历。
WeakSet 是一个构造函数,可以使用 new 命令创建 WeakSet 数据结构。
同 Set 一样,WeakSet 函数可以接受一个数组(或者具有 iterable 接口的其他数据结构)作为参数,用来初始化。需要注意:成为 WeakSet 的成员的是数组的成员,而不是数组本身。这意味着,数组的成员只能是对象。
WeakSet 结构有以下 3 个方法:
WeakSet.prototype.add(value):向 WeakSet 实例添加一个新成员。
WeakSet.prototype.delete(value):清除 WeakSet 实例的指定成员。
WeakSet.prototype.has(value):返回一个布尔值,表示某个值是否在 WeakSet 实例中。
WeakSet 没有 size 属性,没有办法遍历其成员。
WeakSet 的一个用处是储存 DOM 节点,而不用担心这些节点从文档移除时会引发内存泄漏。举个栗子:
const foos = new WeakSet()class Foo {constructor() {foos.add(this)}method() {if (!foos.has(this)) {throw new TypeError('Foo.prototype.method 只能在Foo的实例上调用!')}}}
上面的代码保证了 Foo 的实例方法只能在 Foo 的实例上调用。同时,数组 foos 对实例的引用不会被计入内存回收机制,所以删除实例的时候不用考虑 foos,也不会出现内存泄漏。
JavaScript 的对象(Object)本质上是键值对的集合(Hash 结构),但是只能用字符串作为键,这给它的使用带来了很大的限制。
const data = {}const element = document.getElementById('myDiv')data[element] = 'metadata'data['[object HTMLDivElement]'] // "metadata"
上面代码将一个 DOM 节点作为对象 data 的键,由于对象只接受字符串作为键名,所以 element 被自动转为字符串 [Object HTMLDivElement]
。
ES6 提供了 Map 数据结构。它类似于对象,也是键值对的集合,但是“键”的范围不限于字符串,各种类型的值(包括对象)都可以当作键。也就是说,Object 结构提供了“字符串—值”的对应,Map 结构提供了“值—值”的对应,是一种更完善的 Hash 结构实现。如果需要“键值对”的数据结构,Map 比 Object 更合适。
const m = new Map()const o = { p: 'Hello World' }m.set(o, 'content')m.get(o) // "content"m.has(o) // truem.delete(o) // true
作为构造函数,Map 也可以接受一个数组作为参数。该数组的成员是一个个表示键值对的数组。
const map = new Map([['name', '张三'], ['title', 'Author']])map.size // 2map.has('name') // truemap.get('name') // "张三"
Map 构造函数接受数组作为参数,实际上执行的是下面的算法:
const items = [['name', '张三'], ['title', 'Author']]const map = new Map()items.forEach(([key, value]) => map.set(key, value))
事实上,任何具有 Iterator 接口且每个成员都是一个双元素数组的数据结构都可以当作 Map 构造函数的参数。也就是说,Set 和 Map 都可以用来生成新的 Map。
// set 生成 mapconst set = new Set([['foo', 1], ['bar', 2]])const m1 = new Map(set)// map 生成 mapconst m2 = new Map([['baz', 3]])const m3 = new Map(m2)
两点注意事项:
如果对同一个键多次赋值,后面的值将覆盖前面的值。
只有对同一个对象的引用,Map 结构才将其视为同一个键。
const map = new Map()map.set(['a'], 555)map.get(['a']) // undefined
上面的 set 和 get 方法表面上是针对同一个键,实际上却是两个值,内存地址是不一样的,因此 get 方法无法读取该键,返回 undefined。
Map 的键实际上是和内存地址绑定的,只要内存地址不一样,就视为两个键。如果 Map 的键是一个简单类型的值(数字、字符串、布尔值),则只要两个值严格相等,Map 就将其视为一个键,包括 0 和 -0。另外,虽然 NaN 不严格等于自身,但 Map 将其视为同一个键。
Map 结构的 size 属性返回 Map 结构的成员总数。Map 结构的操作方法如下:
set(key, value):set 方法设置 key 所对应的键值,然后返回整个 Map 结构。如果 key 已经有值,则键值会被更新,否则就新生成该键。可以链式调用。
get(key):get 方法读取 key 对应的键值,如果找不到 key,则返回 undefined。
has(key):has 方法返回一个布尔值,表示某个键是否在 Map 数据结构中。
delete(key):delete 方法删除某个键,返回 true。如果删除失败,则返回 false。
clear():clear 方法清除所有成员,没有返回值。
Map 原生提供了 3 个遍历器生成函数和 1 个遍历方法。
keys():返回键名的遍历器。
values():返回键值的遍历器。
entries():返回所有成员的遍历器。
forEach():遍历 Map 的所有成员。
Map 结构的默认遍历器接口(Symbol.iterator 属性)就是 entries 方法。
map[Symbol.iterator] === map.entries // trueconst map = new Map([[1, 'one'], [2, 'two']]);[...map] // [[1,'one'], [2, 'two']
WeakMap 结构与 Map 结构类似,也用于生成键值对的集合。WeakMap 与 Map 的区别有以下两点:
WeakMap 只接受对象作为键名(null 除外),不接受其他类型的值作为键名。
WeakMap 的键名所指向的对象不计入垃圾回收机制。
类似于 WeakSet,WeakMap 的键名所引用的对象都是弱引用,即垃圾回收机制不将该引用考虑在内。因此,只要所引用的对象的其他引用都被清除,垃圾回收机制就会释放该对象所占用的内存。
WeakMap 的专用场景就是它的键所对应的对象可能会在将来消失的场景。WeakMap 结构有助于防止内存泄漏。
const wm = new WeakMap()const element = document.getElementById('example')wm.set(element, 'some information')wm.get(element) // "some information"
上面的 DOM 节点对象的引用计数是 1,而不是 2。这时,一旦消除对该节点的引用,它占用的内存就会被垃圾回收机制释放。WeakMap 保存的这个键值对也会自动消失。
需要注意:WeakMap 弱引用的只是键名而不是键值。键值依然是正常引用的。
WeakMap 与 Map 在 API 上的区别主要有两个:
一是没有遍历操作(即没有 key()、values() 和 entries() 方法),也没有 size 属性。因为没有办法列出所有键名,某个键名是否存在完全不可预测,和垃圾回收机制是否运行相关。
二是无法清空,即不支持 clear 方法。因此,WeakMap 只有 4 个方法可用:get()、set()、has()、delete()。
WeakMap 应用的典型场景就是以 DOM 节点作为键名的场景:
let myElement = document.getElementById('logo')let myWeakmap = new WeakMap()myWeakmap.set(myElement, { timesClicked: 0 })myElement.addEventListener('click',function() {let logoData = myWeakmap.get(myElement)logoData.timesClicked++},false)
上面的代码中,myElement 是一个 DOM 节点,每当发生 click 事件就更新一下状态。状态作为键值放在 WeakMap 里,对应的键名就是 myElement。一旦这个 DOM 节点删除,该状态就会自动消失,不存在内存泄漏风险。
注册监听事件的 listener 对象很适合用 WeakMap 来实现:
const listener = new WeakMap()listener.set(element, handler)element.addEventListener('click', listener.get(element), false)
上面的代码中,监听函数放在 WeakMap 里面。一旦 DOM 对象消失,与它绑定的监听函数也会自动消失。
WeakMap 的另一个用处是部署私有属性:
const _counter = new WeakMap()const _action = new WeakMap()class Countdown {constructor(counter, action) {_counter.set(this, counter)_action.set(this, action)}dec() {let counter = _counter.get(this)if (counter < 1) returncounter--_counter.set(this, counter)if (counter === 0) {_action.get(this)()}}}const c = new Countdown(2, () => console.log('DONE'))c.dec()c.dec() // 'DONE'
上面的代码中,Countdown 类的两个内部属性 _counter 和 _action 是实例的弱引用,如果删除实例,它们也会随之消失,不会造成内存泄漏。