如何给C++设计一个GC

和同事聊起了这个话题，下面是一些思考与问题：

【思考】

基本套路与Java应该是一致的，也就是Mark - Sweep - Compact：

C++中可分为两种类型：一是用户自定义类型；一种是内置的类型。

每次分配内存时候，都把内存地址保存到一个hashmap中，key为内存地址，value为false。这是准备工作，然后在某个时间点需要做垃圾回收的时候：

1. 寻找以下三种用户自定义类型的对象：全局的；静态的；当前栈上的，把这些对象作为根，然后递归寻找他们所引用的内存（成员）， 并在hashmap中把这些内存地址为key的项的值设为true，表示不应回收。(Mark)
2. 遍历hashmap，把value为false的项全部delete，并从hashmap中删除 (Sweep)
3. 把hashmap中存在的内存对象，全部移动到一块集中的区域，以减少内存碎片，同时注意修改这些对象被引用的地方，因为地址改变了。(Compact)

这种方法的话，也自动解决了循环引用导致的内存泄露问题。 

 

【问题】

一、如何找到全局的；静态的；当前栈上的用户自定义对象？

二、如何拿到一个对象所引用的所以对象？

三、引用的对象地址改了，如何得到通知？

四、。。。