我阅读了许多关于垃圾收集的资源，它们解释了不同的算法。但是，我没有找到任何解释图形对象的表示。
我的想法很简单：一个有向图，其中顶点代表分配的内存块（在堆上），边代表所有者关系。示例：考虑 2 个内存块 m1 和 m2，如果 m1 包含对 m2 内部块的引用，则添加一条边 (m1, m2)。这些边使用 m1 包含的对 m2 的引用数（这里只有 1 个）加权。最后我得到了一个代表堆栈的“虚拟”内存顶点，称之为 M0。从 M0 到达的每个 Mi 都不能被垃圾收集。
好的，现在考虑您要向图中添加一个内存块。如果我们将顶点保留在一个集合中，那么添加一个内存块的复杂度应该是 O(log(n))。第一个问题：我们能做得更好吗？
同上删除。
现在，我被要求将此算法与 C++ 中的引用计数机制 (shared_ptr) 一起使用。首先，参考计数器是否与顶点的入度无关？
其次，关键思想是使用最好的引用计数器（O（1）删除/添加）和最好的垃圾收集器算法（清理引用周期），但是添加/删除对象中每个节点的开销图是不是有点低效？
在已知的垃圾收集器（java / C# / ...）中添加/删除的复杂性是什么？
谢谢 ！