介绍下 Set、Map、WeakSet和WeakMap 的区别？

Set

基本用法

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

本身是一个构造函数，用来生成 Set 数据结构。

上面代码通过方法向 Set 结构加入成员，结果表明 Set 结构不会添加重复的值。

函数可以接受一个数组（或者具有 iterable 接口的其他数据结构）作为参数，用来初始化。

上面代码中，例一和例二都是函数接受数组作为参数，例三是接受类似数组的对象作为参数。

上面代码也展示了一种去除数组重复成员的方法。

上面的方法也可以用于，去除字符串里面的重复字符。

向 Set 加入值的时候，不会发生类型转换，所以和是两个不同的值。Set 内部判断两个值是否不同，使用的算法叫做“Same-value-zero equality”，它类似于精确相等运算符（），主要的区别是向 Set 加入值时认为等于自身，而精确相等运算符认为不等于自身。

上面代码向 Set 实例添加了两次，但是只会加入一个。这表明，在 Set 内部，两个是相等的。

另外，两个对象总是不相等的。

上面代码表示，由于两个空对象不相等，所以它们被视为两个值。

Set 实例的属性和方法

Set 结构的实例有以下属性。

：构造函数，默认就是函数。

：返回实例的成员总数。

Set 实例的方法分为两大类：操作方法（用于操作数据）和遍历方法（用于遍历成员）。下面先介绍四个操作方法。

：添加某个值，返回 Set 结构本身。

：删除某个值，返回一个布尔值，表示删除是否成功。

：返回一个布尔值，表示该值是否为的成员。

：清除所有成员，没有返回值。

上面这些属性和方法的实例如下。

下面是一个对比，看看在判断是否包括一个键上面，结构和结构的写法不同。

方法可以将 Set 结构转为数组。

这就提供了去除数组重复成员的另一种方法。

遍历操作

Set 结构的实例有四个遍历方法，可以用于遍历成员。

：返回键名的遍历器

：返回键值的遍历器

：返回键值对的遍历器

：使用回调函数遍历每个成员

需要特别指出的是，的遍历顺序就是插入顺序。这个特性有时非常有用，比如使用 Set 保存一个回调函数列表，调用时就能保证按照添加顺序调用。

「（1），，」

方法、方法、方法返回的都是遍历器对象（详见《Iterator 对象》一章）。由于 Set 结构没有键名，只有键值（或者说键名和键值是同一个值），所以方法和方法的行为完全一致。

上面代码中，方法返回的遍历器，同时包括键名和键值，所以每次输出一个数组，它的两个成员完全相等。

Set 结构的实例默认可遍历，它的默认遍历器生成函数就是它的方法。

这意味着，可以省略方法，直接用循环遍历 Set。

「（2）」

Set 结构的实例与数组一样，也拥有方法，用于对每个成员执行某种操作，没有返回值。

上面代码说明，方法的参数就是一个处理函数。该函数的参数与数组的一致，依次为键值、键名、集合本身（上例省略了该参数）。这里需要注意，Set 结构的键名就是键值（两者是同一个值），因此第一个参数与第二个参数的值永远都是一样的。

另外，方法还可以有第二个参数，表示绑定处理函数内部的对象。

「（3）遍历的应用」

扩展运算符（）内部使用循环，所以也可以用于 Set 结构。

扩展运算符和 Set 结构相结合，就可以去除数组的重复成员。

而且，数组的和方法也可以间接用于 Set 了。

因此使用 Set 可以很容易地实现并集（Union）、交集（Intersect）和差集（Difference）。

如果想在遍历操作中，同步改变原来的 Set 结构，目前没有直接的方法，但有两种变通方法。一种是利用原 Set 结构映射出一个新的结构，然后赋值给原来的 Set 结构；另一种是利用方法。

上面代码提供了两种方法，直接在遍历操作中改变原来的 Set 结构。

WeakSet

含义

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

首先，WeakSet 的成员只能是对象，而不能是其他类型的值。

上面代码试图向 WeakSet 添加一个数值和值，结果报错，因为 WeakSet 只能放置对象。

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

这是因为垃圾回收机制根据对象的可达性（reachability）来判断回收，如果对象还能被访问到，垃圾回收机制就不会释放这块内存。结束使用该值之后，有时会忘记取消引用，导致内存无法释放，进而可能会引发内存泄漏。WeakSet 里面的引用，都不计入垃圾回收机制，所以就不存在这个问题。因此，WeakSet 适合临时存放一组对象，以及存放跟对象绑定的信息。只要这些对象在外部消失，它在 WeakSet 里面的引用就会自动消失。

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

这些特点同样适用于本章后面要介绍的 WeakMap 结构。

语法

WeakSet 是一个构造函数，可以使用命令，创建 WeakSet 数据结构。

作为构造函数，WeakSet 可以接受一个数组或类似数组的对象作为参数。（实际上，任何具有 Iterable 接口的对象，都可以作为 WeakSet 的参数。）该数组的所有成员，都会自动成为 WeakSet 实例对象的成员。

上面代码中，是一个数组，它有两个成员，也都是数组。将作为 WeakSet 构造函数的参数，的成员会自动成为 WeakSet 的成员。

注意，是数组的成员成为 WeakSet 的成员，而不是数组本身。这意味着，数组的成员只能是对象。

上面代码中，数组的成员不是对象，加入 WeakSet 就会报错。

WeakSet 结构有以下三个方法。

下面是一个例子。

WeakSet 没有属性，没有办法遍历它的成员。

上面代码试图获取和属性，结果都不能成功。

WeakSet 不能遍历，是因为成员都是弱引用，随时可能消失，遍历机制无法保证成员的存在，很可能刚刚遍历结束，成员就取不到了。WeakSet 的一个用处，是储存 DOM 节点，而不用担心这些节点从文档移除时，会引发内存泄漏。

下面是 WeakSet 的另一个例子。

上面代码保证了的实例方法，只能在的实例上调用。这里使用 WeakSet 的好处是，对实例的引用，不会被计入内存回收机制，所以删除实例的时候，不用考虑，也不会出现内存泄漏。

Map

含义和基本用法

JavaScript 的对象（Object），本质上是键值对的集合（Hash 结构），但是传统上只能用字符串当作键。这给它的使用带来了很大的限制。

上面代码原意是将一个 DOM 节点作为对象的键，但是由于对象只接受字符串作为键名，所以被自动转为字符串。

为了解决这个问题，ES6 提供了 Map 数据结构。它类似于对象，也是键值对的集合，但是“键”的范围不限于字符串，各种类型的值（包括对象）都可以当作键。也就是说，Object 结构提供了“字符串—值”的对应，Map 结构提供了“值—值”的对应，是一种更完善的 Hash 结构实现。如果你需要“键值对”的数据结构，Map 比 Object 更合适。

上面代码使用 Map 结构的方法，将对象当作的一个键，然后又使用方法读取这个键，接着使用方法删除了这个键。

上面的例子展示了如何向 Map 添加成员。作为构造函数，Map 也可以接受一个数组作为参数。该数组的成员是一个个表示键值对的数组。

上面代码在新建 Map 实例时，就指定了两个键和。

构造函数接受数组作为参数，实际上执行的是下面的算法。

事实上，不仅仅是数组，任何具有 Iterator 接口、且每个成员都是一个双元素的数组的数据结构（详见《Iterator》一章）都可以当作构造函数的参数。这就是说，和都可以用来生成新的 Map。

上面代码中，我们分别使用 Set 对象和 Map 对象，当作构造函数的参数，结果都生成了新的 Map 对象。

如果对同一个键多次赋值，后面的值将覆盖前面的值。

上面代码对键连续赋值两次，后一次的值覆盖前一次的值。

如果读取一个未知的键，则返回。

注意，只有对同一个对象的引用，Map 结构才将其视为同一个键。这一点要非常小心。

上面代码的和方法，表面是针对同一个键，但实际上这是两个不同的数组实例，内存地址是不一样的，因此方法无法读取该键，返回。

同理，同样的值的两个实例，在 Map 结构中被视为两个键。

上面代码中，变量和的值是一样的，但是它们在 Map 结构中被视为两个键。

由上可知，Map 的键实际上是跟内存地址绑定的，只要内存地址不一样，就视为两个键。这就解决了同名属性碰撞（clash）的问题，我们扩展别人的库的时候，如果使用对象作为键名，就不用担心自己的属性与原作者的属性同名。

如果 Map 的键是一个简单类型的值（数字、字符串、布尔值），则只要两个值严格相等，Map 将其视为一个键，比如和就是一个键，布尔值和字符串则是两个不同的键。另外，和也是两个不同的键。虽然不严格相等于自身，但 Map 将其视为同一个键。

实例的属性和操作方法

Map 结构的实例有以下属性和操作方法。

「（1）size 属性」

属性返回 Map 结构的成员总数。

方法设置键名对应的键值为，然后返回整个 Map 结构。如果已经有值，则键值会被更新，否则就新生成该键。

方法返回的是当前的对象，因此可以采用链式写法。

方法读取对应的键值，如果找不到，返回。

方法返回一个布尔值，表示某个键是否在当前 Map 对象之中。

方法删除某个键，返回。如果删除失败，返回。

方法清除所有成员，没有返回值。

遍历方法

Map 结构原生提供三个遍历器生成函数和一个遍历方法。

：返回键名的遍历器。

：返回键值的遍历器。

：返回所有成员的遍历器。

：遍历 Map 的所有成员。

需要特别注意的是，Map 的遍历顺序就是插入顺序。

上面代码最后的那个例子，表示 Map 结构的默认遍历器接口（属性），就是方法。

Map 结构转为数组结构，比较快速的方法是使用扩展运算符（）。

结合数组的方法、方法，可以实现 Map 的遍历和过滤（Map 本身没有和方法）。

此外，Map 还有一个方法，与数组的方法类似，也可以实现遍历。

方法还可以接受第二个参数，用来绑定。

上面代码中，方法的回调函数的，就指向。

与其他数据结构的互相转换

「（1）Map 转为数组」

前面已经提过，Map 转为数组最方便的方法，就是使用扩展运算符（）。

「（2）数组 转为 Map」

将数组传入 Map 构造函数，就可以转为 Map。

「（3）Map 转为对象」

如果所有 Map 的键都是字符串，它可以无损地转为对象。

如果有非字符串的键名，那么这个键名会被转成字符串，再作为对象的键名。

「（4）对象转为 Map」

对象转为 Map 可以通过。

此外，也可以自己实现一个转换函数。

「（5）Map 转为 JSON」

Map 转为 JSON 要区分两种情况。一种情况是，Map 的键名都是字符串，这时可以选择转为对象 JSON。

另一种情况是，Map 的键名有非字符串，这时可以选择转为数组 JSON。

「（6）JSON 转为 Map」

JSON 转为 Map，正常情况下，所有键名都是字符串。

但是，有一种特殊情况，整个 JSON 就是一个数组，且每个数组成员本身，又是一个有两个成员的数组。这时，它可以一一对应地转为 Map。这往往是 Map 转为数组 JSON 的逆操作。

WeakMap

含义

结构与结构类似，也是用于生成键值对的集合。

与的区别有两点。

首先，只接受对象作为键名（除外），不接受其他类型的值作为键名。

上面代码中，如果将数值和值作为 WeakMap 的键名，都会报错。

不过，现在有一个提案，允许 Symbol 值也可以作为 WeakMap 的键名。一旦纳入标准，就意味着键名存在两种可能：对象和 Symbol 值。

其次，的键名所指向的对象，不计入垃圾回收机制。

的设计目的在于，有时我们想在某个对象上面存放一些数据，但是这会形成对于这个对象的引用。请看下面的例子。

上面代码中，和是两个对象，我们通过数组对这两个对象添加一些文字说明。这就形成了对和的引用。

一旦不再需要这两个对象，我们就必须手动删除这个引用，否则垃圾回收机制就不会释放和占用的内存。

上面这样的写法显然很不方便。一旦忘了写，就会造成内存泄露。

WeakMap 就是为了解决这个问题而诞生的，它的键名所引用的对象都是弱引用，即垃圾回收机制不将该引用考虑在内。因此，只要所引用的对象的其他引用都被清除，垃圾回收机制就会释放该对象所占用的内存。也就是说，一旦不再需要，WeakMap 里面的键名对象和所对应的键值对会自动消失，不用手动删除引用。

基本上，如果你要往对象上添加数据，又不想干扰垃圾回收机制，就可以使用 WeakMap。一个典型应用场景是，在网页的 DOM 元素上添加数据，就可以使用结构。当该 DOM 元素被清除，其所对应的记录就会自动被移除。

上面代码中，先新建一个 WeakMap 实例。然后，将一个 DOM 节点作为键名存入该实例，并将一些附加信息作为键值，一起存放在 WeakMap 里面。这时，WeakMap 里面对的引用就是弱引用，不会被计入垃圾回收机制。

也就是说，上面的 DOM 节点对象除了 WeakMap 的弱引用外，其他位置对该对象的引用一旦消除，该对象占用的内存就会被垃圾回收机制释放。WeakMap 保存的这个键值对，也会自动消失。

总之，的专用场合就是，它的键所对应的对象，可能会在将来消失。结构有助于防止内存泄漏。

注意，WeakMap 弱引用的只是键名，而不是键值。键值依然是正常引用。

上面代码中，键值是正常引用。所以，即使在 WeakMap 外部消除了的引用，WeakMap 内部的引用依然存在。

WeakMap 的语法

WeakMap 与 Map 在 API 上的区别主要是两个，一是没有遍历操作（即没有、和方法），也没有属性。因为没有办法列出所有键名，某个键名是否存在完全不可预测，跟垃圾回收机制是否运行相关。这一刻可以取到键名，下一刻垃圾回收机制突然运行了，这个键名就没了，为了防止出现不确定性，就统一规定不能取到键名。二是无法清空，即不支持方法。因此，只有四个方法可用：、、、。

WeakMap 的示例

WeakMap 的例子很难演示，因为无法观察它里面的引用会自动消失。此时，其他引用都解除了，已经没有引用指向 WeakMap 的键名了，导致无法证实那个键名是不是存在。

贺师俊老师提示，如果引用所指向的值占用特别多的内存，就可以通过 Node 的方法看出来。根据这个思路，网友vtxf补充了下面的例子。

首先，打开 Node 命令行。

上面代码中，参数表示允许手动执行垃圾回收机制。

然后，执行下面的代码。

上面代码中，只要外部的引用消失，WeakMap 内部的引用，就会自动被垃圾回收清除。由此可见，有了 WeakMap 的帮助，解决内存泄漏就会简单很多。

Chrome 浏览器的 Dev Tools 的 Memory 面板，有一个垃圾桶的按钮，可以强制垃圾回收（garbage collect）。这个按钮也能用来观察 WeakMap 里面的引用是否消失。

WeakMap 的用途

前文说过，WeakMap 应用的典型场合就是 DOM 节点作为键名。下面是一个例子。

上面代码中，是一个 DOM 节点，每当发生事件，就更新一下状态。我们将这个状态作为键值放在 WeakMap 里，对应的键名就是这个节点对象。一旦这个 DOM 节点删除，该状态就会自动消失，不存在内存泄漏风险。

WeakMap 的另一个用处是部署私有属性。

上面代码中，类的两个内部属性和，是实例的弱引用，所以如果删除实例，它们也就随之消失，不会造成内存泄漏。

WeakRef

WeakSet 和 WeakMap 是基于弱引用的数据结构，ES2021 更进一步，提供了 WeakRef 对象，用于直接创建对象的弱引用。

上面示例中，是原始对象，构造函数创建了一个基于的新对象。这里，就是一个 WeakRef 的实例，属于对的弱引用，垃圾回收机制不会计入这个引用，也就是说，的引用不会妨碍原始对象被垃圾回收机制清除。

WeakRef 实例对象有一个方法，如果原始对象存在，该方法返回原始对象；如果原始对象已经被垃圾回收机制清除，该方法返回。

上面示例中，方法可以判断原始对象是否已被清除。

弱引用对象的一大用处，就是作为缓存，未被清除时可以从缓存取值，一旦清除缓存就自动失效。

上面示例中，用于建立一个缓存，缓存里面保存对原始文件的弱引用。

注意，标准规定，一旦使用创建了原始对象的弱引用，那么在本轮事件循环（event loop），原始对象肯定不会被清除，只会在后面的事件循环才会被清除。

FinalizationRegistry

ES2021 引入了清理器注册表功能 FinalizationRegistry，用来指定目标对象被垃圾回收机制清除以后，所要执行的回调函数。

首先，新建一个注册表实例。

上面代码中，是系统提供的构造函数，返回一个清理器注册表实例，里面登记了所要执行的回调函数。回调函数作为的参数传入，它本身有一个参数。

然后，注册表实例的方法，用来注册所要观察的目标对象。

上面示例中，就是所要观察的目标对象，一旦该对象被垃圾回收机制清除，注册表就会在清除完成后，调用早前注册的回调函数，并将作为参数（前面的）传入回调函数。

注意，注册表不对目标对象构成强引用，属于弱引用。因为强引用的话，原始对象就不会被垃圾回收机制清除，这就失去使用注册表的意义了。

回调函数的参数可以是任意类型的值，字符串、数值、布尔值、对象，甚至可以是。

最后，如果以后还想取消已经注册的回调函数，则要向传入第三个参数，作为标记值。这个标记值必须是对象，一般都用原始对象。接着，再使用注册表实例对象的方法取消注册。

上面代码中，方法的第三个参数就是标记值。取消回调函数时，要使用方法，并将标记值作为该方法的参数。这里方法对第三个参数的引用，也属于弱引用。如果没有这个参数，则回调函数无法取消。

由于回调函数被调用以后，就不再存在于注册表之中了，所以执行应该是在回调函数还没被调用之前。

下面使用，对前一节的缓存函数进行增强。

上面示例与前一节的例子相比，就是增加一个清理器注册表，一旦缓存的原始对象被垃圾回收机制清除，会自动执行一个回调函数。该回调函数会清除缓存里面已经失效的键。

下面是另一个例子。

上面示例中，如果由于某种原因，类的实例对象没有调用方法，就被垃圾回收机制清除了，那么清理器就会调用回调函数，输出一条错误信息。

由于无法知道清理器何时会执行，所以最好避免使用它。另外，如果浏览器窗口关闭或者进程意外退出，清理器则不会运行。