03 数据类型与数据结构

ES6 新增了 Synmbol 数据类型和 Set、Map 两种数据据结构，以及衍生的 WeakSet 和 WeakMap。之前工作中基本未用过，惭愧之至，努力学习之。

Symbol 数据类型

Symbol 概述

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) // true
Number(s) // TypeError

Symbol 属性名遍历

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.keyFor()

Symbol.for() 与 Symbol() 这两种写法都会生成新的 Symbol。它们的区别是，前者会被登记在全局环境中供搜索，而后者不会。Symbol.for() 不会在每次调用时都返回一个新的 Symbol 类型的值，而是会先检查给定的 key 是否已经存在，如果不存在才会新建一个值。

Symbol.for('bar') === Symbol.for('bar') // true
Symbol('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 值

除了定义自己使用的 Symbol 值，ES6 还提供了 11 个内置的 Symbol 值，指向语言内部使用的方法。

Symbol.hasInstance

对象的 Symbol.hasInstance 属性指向一个内部方法，对象使用 instanceof 运算符时会调用这个方法，判断该对象是否为某个构造函数的实例。比如，foo instanceof Foo 在语言内部实际调用的是 Foo[Symbol.hasInstance](foo)。

class Even {
  static [Symbol.hasInstance](obj) {
    return Number(obj) % 2 === 0
  }
}

1 instanceof Even // false
2 instanceof Even // true

Symbol.isConcatSpreadable

对象的 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

对象的 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

对象的 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

对象的 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

对象的 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

对象的 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

对象的 Symbol.iterator 属性指向该对象的默认遍历器方法。

var myIterable = {}
myIterable[Symbol.iterator] = function*() {
  yield 1
  yield 2
  yield 3
}
;[...myIterable] // [1, 2, 3]

对象进行 for...of 循环时，会调用 Symbol.iterator 方法返回该对象的默认遍历器。

class Collection {
  *[Symbol.iterator]() {
    let i = 0
    while (this[i] !== undefined) {
      yield this[i]
      ++i
    }
  }
}
let myCollection = new Collection()
myCollection[0] = 1
myCollection[1] = 2
for (let value of myCollection) {
  console.log(value)
}
// 1
// 2

Symbol.toPrimitive

对象的 Symbol.toPrimitive 属性指向一个方法，对象被转为原始类型的值时会调用这个方法，返回该对象对应的原始类型值。

Symbol.toPrimitive 被调用时会接受一个字符串参数，表示当前运算的模式。一共有 3 种模式：

Number：该场合需要转成数值。
String：该场合需要转成字符串。
Default：该场合可以转成数值，也可以转成字符串。

let obj = {
  [Symbol.toPrimitive](hint) {
    switch (hint) {
      case 'number':
        return 123
      case 'string':
        return 'str'
      case 'default':
        return 'default'
      default:
        throw new Error()
    }
  }
}
2 * obj // 246
3 + obj // '3default'
obj == 'default' // true
String(obj) // 'str'

Symbol.toStringTag

对象的 Symbol.toStringTag 属性指向一个方法，在对象上调用 Object. prototype.toString 方法时，如果这个属性存在，其返回值会出现在 toString 方法返回的字符串中，表示对象的类型。也就是说，这个属性可用于定制 [object Object] 或 [object Array] 中 object 后面的字符串。

;({ [Symbol.toStringTag]: 'Foo' }.toString())
// "[object Foo]"

ES6 新增了大量内置对象的 Symbol.toStringTag 属性值，这里略。

Symbol.unscopables

对象的 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 将指向外层作用域的变量。

Set 数据结构

Set

ES6 提供了新的数据结构 Set。它类似于数组，但是成员的值都是唯一的，没有重复。

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 结构的实例有以下属性：

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 遍历操作

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

WeakSet 含义

WeakSet 结构与 Set 类似，也是不重复的值的集合。但是，它与 Set 有两个区别：

WeakSet 的成员只能是对象，而不能是其他类型的值。
WeakSet 中的对象都是弱引用，即垃圾回收机制不考虑 WeakSet 对该对象的引用，也就是说，如果其他对象都不再引用该对象，那么垃圾回收机制会自动回收该对象所占用的内存，不考虑该对象是否还存在于 WeakSet 之中。

垃圾回收机制依赖引用计数，如果一个值的引用次数不为 0，垃圾回收机制就不会释放这块内存。结束使用该值之后，有时会忘记取消引用，导致内存无法释放，进而可能会引发内存泄漏。

WeakSet 里面的引用都不计入垃圾回收机制，所以就不存在这个问题。因此，WeakSet 适合临时存放一组对象，以及存放跟对象绑定的信息。只要这些对象在外部消失，它在 WeakSet 里面的引用就会自动消失。

WeakSet 的成员是不适合引用的，因为它会随时消失。另外，WeakSet 内部有多少个成员取决于垃圾回收机制有没有运行，运行前后很可能成员个数是不一样的，而垃圾回收机制何时运行是不可预测的，因此 ES6 规定WeakSet 不可遍历。

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，也不会出现内存泄漏。

Map 数据结构

Map

Map 基本用法

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) // true
m.delete(o) // true

作为构造函数，Map 也可以接受一个数组作为参数。该数组的成员是一个个表示键值对的数组。

const map = new Map([['name', '张三'], ['title', 'Author']])
map.size // 2
map.has('name') // true
map.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 生成 map
const set = new Set([['foo', 1], ['bar', 2]])
const m1 = new Map(set)

// map 生成 map
const 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 属性和方法

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 遍历操作

Map 原生提供了 3 个遍历器生成函数和 1 个遍历方法。

keys()：返回键名的遍历器。
values()：返回键值的遍历器。
entries()：返回所有成员的遍历器。
forEach()：遍历 Map 的所有成员。

Map 结构的默认遍历器接口（Symbol.iterator 属性）就是 entries 方法。

map[Symbol.iterator] === map.entries // true

const map = new Map([[1, 'one'], [2, 'two']])
;[...map] // [[1,'one'], [2, 'two']

WeakMap

WeakMap 含义

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 语法

WeakMap 与 Map 在 API 上的区别主要有两个：

一是没有遍历操作（即没有 key()、values() 和 entries() 方法），也没有 size 属性。因为没有办法列出所有键名，某个键名是否存在完全不可预测，和垃圾回收机制是否运行相关。

二是无法清空，即不支持 clear 方法。因此，WeakMap 只有 4 个方法可用：get()、set()、has()、delete()。

WeakMap 用途

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) return
    counter--
    _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 是实例的弱引用，如果删除实例，它们也会随之消失，不会造成内存泄漏。

上一页02 语法的扩展下一页04 Proxy 和 Reflect

最后更新于1年前