Question

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

我想这样做：

{
    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?

Answer 1

您的方案将有效。

两件事：

垃圾收集器很保守。这意味着它会扫描堆栈，寄存器和GC堆的原始字。任何看起来像是GC分配内存的指针的东西都会被认为是这样的，因此可以保留这段内存。
垃圾收集器允许内部指针。原因是双重的。首先，使用指针算法迭代原始内存是相当常见的（在系统语言中），因此GC必须处理这样的情况，其中只有偏移指针指向GC内存。其次，D中的接口实际上只是基础对象的偏移量，因此这些接口需要保持原始对象的存在。

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

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

垃圾收集器是否保留仅由原始指针引用的数组？

1 个答案: