OCPJP 考试的垃圾收集模拟

Question

当在下面所示的类中执行 i3 = null; 时，有四个对象符合垃圾回收条件。我添加了评论来解释我如何得到这个答案。我的推理正确吗？

public class Icelandic extends Horse{
    public void makeNoise(){
        System.out.println("vinny");
    }

    public static void main(String args[]){
        /**
         * 2 objects created
         */
        Icelandic i1 = new Icelandic();

        /**
         * 2 objects created
         */
        Icelandic i2 = new Icelandic();

        /**
         * 2 objects created
         */
        Icelandic i3 = new Icelandic();

        /**
         * i3 is now pointing at i1, original Icelandic() referred to by i3 now
             * has no reference -  2 objects now have no reference
         */
        i3 = i1;

        /**
         * i3 is now pointing at i1, original Icelandic() referred to by i1 now
             * has no reference -  2 objects now have no reference
         */
        i1 = i2;

        /**
         * Total of six objects created, 4 objects no longer have a reference so 4
             * can be garbage collected.
         * 
         * Setting to null below doesn't make any difference to garbage collector
             * as objects now do not have a reference
         */
        i2 = null;
        i3 = null;
    }
}

interface Animal {
    void makeNoise();
}

class Horse implements Animal{
    Long weight = 1200L;

    public void makeNoise() {
        System.out.println("whinny");
    }    
}

Answer 1

这些是您的程序的步骤：

    Icelandic i1 = new Icelandic();
    Icelandic i2 = new Icelandic();
    Icelandic i3 = new Icelandic();

    i3 = i1;
    i1 = i2;

    i2 = null;
    i3 = null;

所以最后一个图得出的结论是只有 2 个对象准备好扔垃圾了 收藏。
我希望我说清楚了。您可以将对象名称视为对对象的引用。

编辑：

正如BalusC所说，长重量= 1200L也是对象。因此，i1 和 i3 各有 2 个对象符合资格或垃圾回收。所以这4个对象都符合垃圾回收条件。

Answer 2

作为一个非常简单的经验法则，如果程序的行为不会改变，如果对象的所有字段都被复制到局部变量（优化程序转换）并且所有对该对象的引用被设置为 null。

引用“Java VM 规范”

12.6.1 实现终结
每个对象都可以由两个属性来表征：它可能是可达的、终结器可达的或不可达的，也可能是未最终化的、可最终化的或已最终化的。

可到达对象是可以在任何潜在的持续计算中从任何活动线程访问的任何对象。可以设计程序的优化转换，将可到达的对象数量减少到比天真地认为可到达的对象数量少。例如，编译器或代码生成器可能会选择将不再使用的变量或参数设置为 null，以使此类对象的存储空间可以更快地回收。

讨论

如果对象字段中的值存储在寄存器中，则会出现另一个示例。然后，程序可以访问寄存器而不是对象，并且永远不会再次访问该对象。这意味着该对象是垃圾。

因此，在您的情况下，由于对任何 Icelandic 对象的引用都没有被取消引用，因此所有这些对象都可能会立即被垃圾收集。由于没有任何东西将 i1 取消引用到 i3，优化编译器可以自由地删除 i3 = new Irelandic() 之后的所有内容作为无操作，并且立即收集所有六个物体。