有多少对象有资格进行垃圾收集？

Question

1.  public class Tahiti {
2.      Tahiti t;
3.      public static void main(String[] args) {
4.          Tahiti t = new Tahiti();
5.          Tahiti t2 = t.go(t);
6.          t2 = null;
7.          // more code here
8.      }
9.      Tahiti go(Tahiti t) {
10.         Tahiti t1 = new Tahiti(); Tahiti t2 = new Tahiti();
11.         t1.t = t2; t2.t = t1; t.t = t2;
12.         return t1;
13.     }
14. }

根据这个问题的答案，在第11行没有符合GC条件的对象；但是根据我的说法，至少有一个对象t2，它在第6行被设置为指向null，应该有资格进行垃圾回收。

Answer 1

第6行中的变量t2不是对该对象的唯一引用。有一个从t到对象t2的引用，该对象是在函数go中创建的，该对象又持有对t1的引用，该对象是由函数go返回的同一个对象。所以第6行仅仅减少了引用的数量，但是仍然有对对象的活动引用。

编辑：让我们尝试一个更详细的解释，首先我对html" target="_blank">代码进行了一些修改，以使解释更容易。每行一个语句和不太容易混淆的变量名+I用字母A、B和C标识了三个相关的对象。

1.  public class Tahiti {
2.      Tahiti u;
3.      public static void main(String[] args) {
4.          Tahiti t = new Tahiti(); // object A
5.          Tahiti t2 = t.go(t);
6.          t2 = null;
7.          // more code here
8.      }
9.      Tahiti go(Tahiti s) {
10.         Tahiti s1 = new Tahiti(); // object B
11.         Tahiti s2 = new Tahiti(); // object C
12.         s1.u = s2;
13.         s2.u = s1;
14.         s.u = s2;
15.         return s1;
16.     }
17. }

第4行：变量t被初始化以引用一个新对象。让我们将该对象本身称为A（它在java中通常没有名称，但出于这种解释的考虑，如果它有名称会更容易）。

第11行：初始化变量s2以引用对象C

第12行:S1.U被设置为引用s2，这意味着对象B获得对C的引用

第13行:S2.U被设置为引用s1，因此对象C get是对B的引用