简单介绍JavaScript中的垃圾回收

JavaScript是使用垃圾回收的语言,也就是说执行环境负责在代码执行时管理内存。 众所周知,我们一般使用 javascript 进行开始都很少关注垃圾回收是如何进行的,
对于开发者来说,JavaScript 的内存管理是自动的、无形的。
于是乎对于学习WeakMap这个概念需要用到垃圾回收相关知识,
先简单描述下垃圾回收是如何进行。

例子:“我有一个朋友”

没有什么是用例子解决不了的

  1. // 从前,我有一个朋友。
  2. let myFriend = {
  3. info: "I have a friend",
  4. attr: "Lsp"
  5. }

每日收获-20210107-Map与WeakMap分析 - 图1
这里我们在全局空间声明了一位“朋友” myFriend
每日收获-20210107-Map与WeakMap分析 - 图2
他的引用地址指向了{ info: "I have a friend", attr: "Lsp" }

  1. myFriend = null;
  2. // 此时我们已经没有这位朋友了

每日收获-20210107-Map与WeakMap分析 - 图3
由于我们与这位“朋友”断了联系,
从 根(window/global) 开始 查询 找不到 其引用,此时垃圾回收机制会把它当作垃圾进行自动回收,并释放内存。

多个引用

现在我们再举一个例子,声明多个变量指向同一个引用

  1. // 大家好,我是...
  2. let me = null;
  3. // 然后,我有一个朋友他...
  4. let myFriend = {
  5. info: "I have a friend",
  6. attr: "Lsp"
  7. }
  8. // (....?)
  9. me = myFriend;

你说的这个朋友是不是你.jpg 每日收获-20210107-Map与WeakMap分析 - 图4
由此可见目前有两个变量引用地址指向了同一块地方 { info: "I have a friend", attr: "Lsp" }
我们现在将其中一个变量进行断开。

  1. // 我说的那位朋友真的不是我!
  2. me = null;

每日收获-20210107-Map与WeakMap分析 - 图5
即使将其中一个变量的引用地址断开
另外一个 “朋友”变量 任然继续引用
(也就是说对象还是可以通过根查找到)
所以垃圾回收机制不会将它进行回收。

回收策略

JavaScript最常用垃圾回收策略是”标记清理(mark-and-sweep)”
策略的大意即为:

  • 遍历空间下所有的对象,并标记活着的,有被引用的并且最终可以到达根(window/global)的对象。
  • 在垃圾回收阶段的时候,将没有标记进行清除。
    这里回收策略不是本章重点,具体策略在底层代码上还会再细分,以及内存分代对应具体算法,暂时不展开讲,有兴趣可以查阅朴灵《深入浅出Node.js》以及V8垃圾回收机制相关文章。

    JavaScript中Map与WeakMap

    上面赘述那么多终于来讲本文关键了,
    提前讲上文原因在于WeakMap 的特点与垃圾回收机制有关。
    我们引用一下《JavaScript高级程序设计(第四版)》的原话。 ECMAScript6新增的”弱映射“(WeakMap)是一种新的集合类型,为这门语言带来了增强的键值对存储机制。WeakMap是Map的”兄弟“类型,其API也是Map的子集。WeakMap中的”weak“(弱),描述的是JavaScript垃圾回收程序对待的”弱映射“中键的方式。—— 《JavaScript高级程序设计(第四版)》6.5 嗯,说得好棒很详细的样子!
    可是我完全不懂呢( 嗯嗯嗯我完全理解了呢.jpg

    Map与WeakMap简单区别

  • Map的键值可以是原始数据类型和引用类型,WeakMap的键值只能说引用类型(object)

  • Map可以迭代遍历键,WeakMap不可迭代遍历键

WeakMap中的”weak“表示弱映射的键是”弱弱地拿着“的,意思就是,这些键不属于正式的引用。
换言之,WeakMap所构建的实例中,
key键所对应引用地址的引用断开或不属于指向同一个内存地址的时候,
其对应value值就会被加入垃圾回收队伍。
(粗暴理解为:因为key必须是个引用类型,当key引用断了或变了,这个键值对就可以进垃圾桶了)

观察内存空间理解WeakMap

因为通常条件下很难察觉WeakMap里面keyValue什么时候消失
但是通过某一个引用类型的值大到足够占据一定内存时候
我们可以通过观察内存的变化来观察WeakMap的特性 示例使用的Node.js的进程Api > process.memoryUsage()配合手动垃圾回收> global.gc()在终端观察,也可以使用Chrome浏览器Performance功能录制内存变化,但是为了方便用代码展示就依次展开了,0 .0 本质观察到内存变化即可,手段可以有多种。> glabal.gc()手动调用一次垃圾回收。需要在运行js文件时候增加命令 —expose-gc,一般环境下不推荐使用,这里做学习用。> process.memoryUsage()查看Node进程的内存占用情况。返回值为对象其中包含五个属性 rss,> heapTotal,> heapUsed,external,arrayBuffers;其中主要属性是> heapTotal和> heapUsed对应的是V8的堆内存信息。> heapTotal是堆中总共申请的内存量,> heapUsed表示目前堆中使用的内存量。单位都为> 字节。 现在我们通过代码来展示

  1. // index.js
  2. // 第一次手动清理垃圾以确保为最新状态,观察内存情况
  3. global.gc();
  4. console.log(`第一次垃圾回收,当前内存使用情况:${(process.memoryUsage().heapUsed / 1024 / 1024).toFixed(2)}MB`);
  5. const wm = new WeakMap();
  6. let key = {};
  7. // 给 WeakMap实例 赋值一个 占领内存足够大的 键值对
  8. wm.set(key, new Array(114514 * 19));
  9. // 手动清理一下垃圾 观察内存占用情况
  10. global.gc();
  11. console.log(`第二次垃圾回收,当前内存使用情况:${(process.memoryUsage().heapUsed / 1024 / 1024).toFixed(2)}MB`);
  12. // 此时把 key键 的引用进行断开,并观察内存占用情况
  13. key = null;
  14. // key = new Array();
  15. // 这种改变引用地址写法也可以引起 弱映射,因为引用地址不再是同块内存地址 WeakMap内对应的value也会被垃圾回收
  16. global.gc();
  17. console.log(`第三次垃圾回收,当前内存使用情况:${(process.memoryUsage().heapUsed / 1024 / 1024).toFixed(2)}MB`);
  18. $ node --expose-gc index.js
  19. 第一次垃圾回收,当前内存使用情况:1.66MB
  20. 第二次垃圾回收,当前内存使用情况:18.45MB
  21. 第三次垃圾回收,当前内存使用情况:1.84MB

那么我们来看看Map的情况,
与上方index.js的代码一致,把new WeakMap()换成new Map()
看看终端输出效果

  1. $ node --expose-gc index.js
  2. 第一次垃圾回收,当前内存使用情况:1.66MB
  3. 第二次垃圾回收,当前内存使用情况:18.45MB
  4. 第三次垃圾回收,当前内存使用情况:18.44MB

很明显我们将key = null的引用地址断开后 ,
value 仍然存在Map所构建的实例里面,一如既往还在内存里面。
现在我们将代码场景改成Map的样子

  1. // index.js
  2. // 第一次手动清理垃圾以确保为最新状态,观察内存情况
  3. global.gc();
  4. console.log(
  5. `第一次垃圾回收,当前内存使用情况:${(process.memoryUsage().heapUsed / 1024 / 1024).toFixed(2)}MB`
  6. );
  7. const m = new Map();
  8. let key = {};
  9. m.set(key, new Array(114514 * 19));
  10. // 手动清理一下垃圾 观察内存占用情况
  11. global.gc();
  12. console.log(
  13. `第二次垃圾回收,当前内存使用情况:${(process.memoryUsage().heapUsed / 1024 / 1024).toFixed(2)}MB,
  14. 当前Map的长度: ${m.size}`
  15. );
  16. // 此时把 key键 的引用进行断开,并观察内存占用情况
  17. key = null;
  18. global.gc();
  19. console.log(
  20. `第三次垃圾回收,当前内存使用情况:${(process.memoryUsage().heapUsed / 1024 / 1024).toFixed(2)}MB,
  21. 当前Map的长度: ${m.size}`
  22. );
  23. // 清除Map所有键值对
  24. m.clear();
  25. global.gc();
  26. console.log(
  27. `第四次垃圾回收,当前内存使用情况:${(process.memoryUsage().heapUsed / 1024 / 1024).toFixed(2)}MB,
  28. 当前Map的长度: ${m.size}`
  29. );
  30. $ node --expose-gc index.js
  31. 第一次垃圾回收,当前内存使用情况:1.66MB
  32. 第二次垃圾回收,当前内存使用情况:18.45MB,当前Map的长度: 1
  33. 第三次垃圾回收,当前内存使用情况:18.45MB,当前Map的长度: 1
  34. 第四次垃圾回收,当前内存使用情况:1.85MB,当前Map的长度: 0

由此可见Map所构建的实例是需要手动清理,才能被垃圾回收清除,
WeakMap只要外部的引用消失,所对应的键值对就会自动被垃圾回收清除。

总结

通过堆内存分析后重新认识MapWeakMap
由于一开始接触这个API的时候有点陌生,
查阅很多网上很多文章后描述的样子非常表层一笔带过 因为弱引用反正他就会被自动回收就是了不会占用内存balabala,总之就是一两句话带过 这让我很头疼,下定决定翻了很多的书结合理解才搞懂WeakMap存在的意义。
前期是在在《现代JavaScript教程》受到启发,
通过翻查《深入浅出Node.js》找到了验证方法,
最后看到新版《JavaScript高级程序设计(第四版)》对WeakMap描述也是简单带过,