可以保护未存储初始地址的堆对象免受垃圾收集吗？

Question

假设

• 我正在修改别人的C程序；
• 垃圾收集器处于活动状态；
• 堆上存在我不希望垃圾收集器回收的对象；和
• 对象在程序退出之前一直存在，因此没有必要对其进行 free()。

我必须存储对象的初始地址吗？假设我不关心初始地址。相反，假设我只关心指向对象内部的一些指针，并且这些指针就是我存储的全部。假设我把初始地址扔掉了。

垃圾收集器会收割我的对象吗？

其他信息

据我所知，该程序现在不收集垃圾。但是，如果程序的未来版本开始收集垃圾，那么我今天添加的代码可能会突然变成一个难以发现的错误。我不想制造一个难以发现的错误；但该程序是一个古老的、稳定的程序，成千上万的用户已经使用了很多年。因此，已知该程序在各种实际条件下都可以正常运行。重新设计不是一种选择。

该程序使用全局数据结构，它从不打扰 free()。这是我必须工作的设计。

如果你想知道：我希望存储的指针——指向对象内部的指针——恰好指向 ASCII 字符串中的单词。我只关心单词，而不关心整个字符串。特别是，我不关心字符串开头的空格，这就是为什么我不关心字符串的初始地址；但是垃圾收集器可能会无意中关心，不是吗？

存储一个我和其他任何人都不会使用的指针链接列表似乎很愚蠢，只是为了抵御一个不存在的假设垃圾收集器；但如果真的有必要，我会存储列表。

还是我的担心毫无根据？无论如何，没有人在旧的 C 程序中添加垃圾收集吗？

Answer 1

^{让我们抛开一个事实，一个使用allocate()而不是free()的程序很难被称为“稳定”；}

^{让我们抛开这样一个事实，即向现有的大型 C 程序添加垃圾收集是一种“如果你去了，你会发现只有痛苦”的情况。}

你的问题的答案是：

这取决于您的垃圾收集器的工作方式。

如果它是外来的，它可能会扫描内存并寻找指向堆内任何位置的指针，而不仅仅是指向内存块的开头。在这种情况下，您将被覆盖，因为指向字符串中间的指针足以将字符串锚定在内存中。 （防止它被垃圾收集。）

如果它不是那么奇特，那么它只会寻找指向内存块开头的指针。 （这是一件相当明智的事情。）在这种情况下，不，除非您维护指向对象本身的指针，否则您的对象不会被锚定。

就我个人而言，我什至不会尝试使用异国情调的垃圾收集器，但这就是我。