到昨天为止，yfgc中的核心代码，我觉得是看完了。
从gc_malloc中，了解到分配出来的内存如何进行管理；
从gc_link中，了解到如何在两块内存之间建立引用依赖关系；
从gc_enter和gc_leave中，了解到通过gc_malloc分配出来的自由内存是如何在调用堆栈上记录的；
从gc_collect中，整合了以上所有的内容，了解到整个依赖树是如何建立固定部分和自动部分，以及如何标记出垃圾和非垃圾内存的区别并进行回收的。
不过，在gc_collect的实现中，还是有些WEAK_CONTAINER的内容无法理解，因此今晚就来看看weak table吧。

weak table我译为弱表，什么是弱表呢？弱表可以看作一个容器，容器内的元素为其他内存的指针，也就是容器和其他内存之间建立了引用依赖关系。只是这种引用是弱引用，其依赖关系通常会在gc_collect的时候被系统自动解除，以便于将容器中所指向的内存进行回收（如果这些内存没有在其他地方被强引用的话）。因此弱表引用的内存通常不能直接持有，因为其生命期是没有保证的，只能通过弱表进行查找访问。我的解释可能不太准确，有兴趣的同学自己google一下吧。
解释了概念，接下来看看代码

首先，gc_weak_table的成员变量node_id，用来保存他在 E.pool中的索引。保存这个的作用是，用来定位弱表中所引用的内存的存放位置，看gc_weak_next的时候就知道了。
至于gc_weak_table函数的实现非常熟悉，其实就是gc_malloc，再加上一些特殊代码罢了。第9行，对自身内存的id赋值。第10行，用WEAK_CONTAINER将自己的节点标记为弱表节点，这样在gc_collect的时候就会得到特殊照顾了，这点后面再说。

gc_weak_next用来遍历弱表中所有引用的内存，参数cont即弱表本身，参数iter为弱表所引用的内存的位置索引，通常初始值为1，被gc_weak_next递增改变。
从第5行可知，其实弱表所引用的内存就在children中。第10行的for循环体，遍历children查找一块还有效的引用内存。第20行将他stack_push，因为这是要return的，最少会被外部所持有，因此压入自由内存堆栈，稍微延长生命期。
剩下的代码，是用来删除已经被回收的child内存（对应的chidren[i]=0），稍微看看就能理解了。

弱表的代码就这么多，通过gc_weak_next的实现，可以得知，仍旧是通过gc_link来将内存添加到弱表中的，只要弱表是parent即可。
好了，现在可以回头看看在gc_collect中和弱表有关的代码了，如果没有弱表，整个gc库的if、else什么的会少得多。
在gc_mark对依赖关系做标记的时候，有一个关于WEAK_CONTAINER的分支判断，对弱表所引用的内存节点执行的是gc_mark_weak，而gc_mark_weak的实现则是将节点的mark赋值为E.mark。这也就解释了为什么在gc_collect的时候，会存在E.pool[i].mark == E.mark的情形，这是弱表所引用的内存被标记的结果，因此弱表所引用的内存，在gc_collect的时候就被回收，不过并没有用node_free释放对应的内存节点，而是做了一个标记
这样这些节点不会在下一次gc_collect的时候被回收。因为弱表的children还引用着他们，维护着依赖关系，即使分配的内存已经回收了。只有用gc_weak_next遍历了弱表之后，这些废弃的管理节点才会从children中被删除，最终在gc_collect的时候被回收。
为啥非要主动遍历弱表才能这样呢。。。。