对象何时符合垃圾回收机制？[重复]

Question

在约瑟夫·阿尔巴哈里（Joseph Albahari）的《C#5.0简言之》一书中，我发现了这一点

然而，根据加州大学伯克利分校的这堂课，只要堆栈上存在对该对象的引用，它就不会被垃圾收集。我的理解是，在方法返回之前，变量将保留在堆栈上。这意味着它引用的任何对象在方法返回之前都是活动的。

这是书中的错误还是java和。net垃圾收集工作有什么不同？

Answer 1

我的理解是，在方法返回之前，变量将保留在堆栈上。这意味着它引用的任何对象在方法返回之前都是活动的。

JIT可以在对象引用（“变量”）最后一次使用后随时删除它，因此这不一定是真的。

只要堆栈上存在对该对象的引用，就不会对其进行垃圾收集

这是真的——但是当这个变量不再“存在于堆栈上”时，JIT可能会以不一定匹配您的代码的方式改变。

在C#5中，这也会让人非常困惑，因为async方法的重写方式会使变量在某些场景中停留的时间比预期的要长。

这就是说，如果您需要保证某个对象在某一点上是合格的，那么将引用该对象的变量显式设置为null将允许您控制该对象何时显式合格。

Answer 2

这本书是正确的。

在。NET中，垃圾回收器具有变量在代码中使用的位置的信息，一旦未使用，对象就有资格使用垃圾回收机制。

（但是，如果在附加了调试器的情况下运行代码，垃圾收集器会更改行为。它会在变量的整个范围内保留对象，而不仅仅是在使用变量的位置，以便在调试器中调查对象。）

Answer 3

然而，根据加州大学伯克利分校的这个讲座，只要堆栈上存在对对象的引用，它就不会被垃圾收集。

你说得对。您缺少的是堆栈上不再存在引用。

对于在堆栈上构造对象的代码：

StringBuilder ref1 = new StringBuilder("object1");

变量ref1存储在堆栈中的某个内存位置：

                 0x403730:
Stack Pointer -> 0x40372C: pointer to ref1
                 0x403728: saved value of EBP
                 0x403724: saved value of return address
                 0x403720

现在是下一行：

StringBuilder ref2 = new StringBuilder("object2");

指向ref2的指针将存储在哪里？在堆栈上：是的。但是堆栈上的什么地方呢？当然，在用于ref1的同一内存位置中

                 0x403730:
Stack Pointer -> 0x40372C: pointer to ref2
                 0x403728: saved value of EBP
                 0x403724: saved value of return address
                 0x403720

简单地将另一个值推到堆栈上是愚蠢的：

Stack Pointer -> 0x403730: pointer to ref2
                 0x40372C: pointer to ref1
                 0x403728: saved value of EBP
                 0x403724: saved value of return address
                 0x403720

这将是愚蠢的，因为不再需要ref1。

这就是为什么ref1有资格使用垃圾回收机制：不再有任何对它的引用。