weakMap 和 weakSet 原理

MDN中这样描述：只能将对象、非全局符号作为weakMap的键和weakSet的值。

两者维持弱引用，即weakMap的键和weakSet的值不再引用时，则被内存回收。

应用场景

js 复制代码

const wm = new WeakMap():
const ws = new WeakSet():
let obj = {};
wm.set(obj, 1)
ws.add(obj)
obj = null; 

// 此时 obj 和 obj => 1 都会被内存回收
// （tips：如果是map，obj指向的地址就不会被回收，因为map依旧维持了对其的引用）

weakMap

weakMap是key 被回收时value也被回收，即弱引用。

我们需要实现仅 key 可达 value。

根据标记清除法，当一个变量不可达时则被回收。

要实现一对一可达，只能使用对象作为key。

如果key是非对象值，则必定需要一个局部对象存储 key => value 键值对，这时 key 不可达 value，而是局部对象可达 value。此时不能实现弱引用，因为 key 被回收，而 value未被回收。

所以， weakMap 可以看做在 key 这个对象类型键上面挂载了 value。这样不管是 weakMap.delete还是 key = null，key被回收后，value也会被回收。

实现代码：

js 复制代码

class MyWeakMap {
  #key = Symbol();

  set(key, value) {
    key[this.#key] = value;
  }

  get(key) {
    return key[this.#key];
  }

  has(key) {
    return this.#key in key;
  }

  delete(key) {
    delete key[this.#key];
  }
}

weakSet

weakSet同理，想要维持弱引用，就不能使用局部对象去保存value。

所以这里的 weakSet 是虚拟的概念，因为想要放在一个set里，必须得有一个局部对象去保存。但是又不能存在局部对象去增加额外的引用，继而破坏弱引用不能回收，所以实际上不存在set集合。

如果想实现虚拟的集合，只能将一组对象组合在一起。因为对象的属性可以保存这组虚拟集合的key，用来判断是否同组。而非对象值不支持属性，没办法判断分组。所以这也是weakSet为什么只能保存对象、非全局符号。

实现代码：

js 复制代码

class MyWeakSet {
  #key = Symbol();

  add(key) {
    key[this.#key] = true;
  }

  has(key) {
    return !!key[this.#key];
  }

  delete(key) {
    delete key[this.#key];
  }
}