8

我想从垃圾收集堆中分配一个元素数组，并仅通过原始指针访问这些元素。垃圾收集器是否能够在所有指向它的指针超出范围之后（而不是之前）回收该内存块？

我正在考虑这样做：

{
    int* ptrToArray1 = (new int[](100)).ptr;
    int* ptrToArray2 = ptrToArray1;
    int* ptrToArray3 = ptrToArray1 + 10;

    ptrToArray1 += 50;
    ptrToArray2 += 99;

    *ptrToArray1 = 123;
    *ptrToArray2 = 456;
    *ptrToArray3 = 789;

    ptrToArray1 -= 42;
    ptrToArray2 -= 24;

    //... and so on ... Is the array data guaranteed to be there?
}
// Now that all the pointers are out of scope, can the
// garbage collector reclaim the memory block of that array?
4

1 回答 1

14

您的方案将起作用。

两件事情：

  1. 垃圾收集器是保守的。这意味着它会扫描堆栈、寄存器和 GC 堆的原始字。任何看起来像指向 GC 分配的内存的指针都会被认为是这样的，因此保持那块内存处于活动状态。
  2. 垃圾收集器允许内部指针。原因有两个。首先，（在系统语言中）仅使用指针算法迭代原始内存是相当普遍的，因此 GC 必须处理这样的情况，其中只有一个偏移指针指向 GC 内存。其次，D 中的接口实际上只是与基础对象的偏移量，因此这些接口需要保持原始对象处于活动状态。

值得注意的是，内部指针显着减慢了垃圾收集器的标记阶段，但在像 D 这样的系统语言中，不支持内部指针是不合理的。

最后，请注意，如果您将指向 GC 分配内存的指针存储在 GC 堆和堆栈/寄存器之外，则 GC不会拾取它。也就是说，如果您将一些数组存储.ptr在某个malloc'd 内存中，然后丢弃对它的所有引用，例如，它将不会被认为是实时的。

于 2012-08-30T08:23:45.490 回答