c++ - 如何构建垃圾收集器？

Question

我在 Flash 中工作，并尝试使用 Flash Player 中可用的新“域内存”。这实质上让您可以在低级别使用内存，但您必须自己管理内存，就像没有内置垃圾收集器的 C++ 一样。我已经构建了一个基本的分配器/解除分配器，但我需要一些方法来构建垃圾收集器或引用计数器，以便我可以取消分配未使用的对象。举个例子:

Rect stageRect = new Rect(0, 0, stage.width, stage.height);
  // syntax is for understanding only
  // actually would allocate memory using my handwritten allocator

我构造了一个新的 Rect 并存储在类成员 var 中。现在假设我对这个对象执行了一些矩形数学运算，创建了另外 2 个对象。

Rect quarterRect = stageRect.halfWidth().halfHeight();

如您所见，halfWidth 返回的Rect 未被使用，可以被垃圾回收。

halfHeight 创建的最终 rect 存储在 var quarterRect 中，我稍后需要它。

我如何检测这些未使用的对象，并相应地处理它们？我一直在阅读 Reference Counting, Smart Pointers , GC for C++ ，但我仍然无法弄清楚如何检测何时未使用引用，以减少引用计数。增加引用计数很容易:当你设置另一个 var 指向这个对象时，即:a = stageRect，应该增加 stageRect 的引用计数，但是你怎么会知道什么时候 a 是未使用的吗？减少引用计数？通常你不会在现代代码中到处设置 a = null 。您只希望平台检测到它未使用的引用并处理它。

Answer 1

好吧，让我们考虑一下这段代码:

int someFunction() { // I have no clue about AS3 syntax, but I suppose it's C-like, right?
    Rect a = new Rect(...); // there are no pointers, only references, right?

    // ... some other stuff
} // <- what happens here?

在右花括号处会发生什么？ a 变量超出范围。在 C++ 中，当变量超出范围时，将调用其析构函数。当变量超出范围时，AS3 中会发生什么？如果这里没有任何反应，您也无法通过编程方式进行跟踪……好吧，恐怕实现引用计数是不可能的。对于引用计数，您需要一种方法来告知对您的值的引用已经消失。

但是AS3真的没有GC吗？我无法相信没有 GC 的脚本语言。