为什么在覆盖 finalize 方法时引用不放入引用队列

Question

public class Test {
    public static void main(String[] args) throws Exception {
        A aObject = new A();

        ReferenceQueue<A> queue = new ReferenceQueue<>();
        PhantomReference<A> weak = new PhantomReference<>(aObject, queue);

        aObject = null;
        System.gc();

        TimeUnit.SECONDS.sleep(1);

        System.out.println(queue.poll());
    }
}

class A{
    @Override
    protected void finalize() throws Throwable {
        // TODO Auto-generated method stub
        super.finalize();

        System.out.println("finalize");
    }
}

结果是：

finalize
null

但是如果我删除A类中的finalize方法，结果是：

java.lang.ref.PhantomReference@5b2c9e5d

所以，结果显示，当我重写finalize方法时，弱对象没有被放入引用队列，是因为aObject复活了吗？但是我在 finalize 方法中什么也没做

Answer 1

非常有趣的观察。这是正在发生的事情：

当类有 non-trivial（在 OP 情况下非空）finalize 方法时，JVM 将创建一个 java.lang.ref.Finalizer（它是 Reference 的子类）对象并将其指向我们的所指对象，在本例中为 A目的。这反过来又会阻止 PhantomReference 将其加入队列，因为 A 已被 Finalizer 引用。

这是我在使用 Java 1.8 的调试器中的观察者，也详细描述了here。

@Turing85 的观察结果是意料之中的，因为当我们删除 finalize 方法中的所有语句时，它变为 trivial，并且其行为与没有 finalize 方法的任何类一样，并且不会被 Finalizer 引用。

更新：

有人问Finalizer 是否会清除其对 A 的引用。 JVM 确实会在随后的 GC 运行中清除它，这反过来最终允许 PhantomReference 将 A 排入其引用队列。

例如，使用非平凡的finalize 方法运行以下代码将从其引用队列中获得非空PhantomReference。

public static void main(String[] args) throws Exception {
    A aObject = new A();

    ReferenceQueue<A> queue = new ReferenceQueue<>();
    PhantomReference<A> pr = new PhantomReference<>(aObject, queue);

    aObject = null;
    System.gc();

    TimeUnit.SECONDS.sleep(1);

    System.gc();

    TimeUnit.SECONDS.sleep(1);

    System.out.println( queue.poll() );
}

打印：

finalize 
java.lang.ref.PhantomReference@15db9742

Answer 2

有了不平凡的finalize，Java 在finalize 运行之前就知道对象不可访问*，但它不知道在finalize 之后对象仍然不可访问。

它必须等待对象在另一个 GC 周期中再次被视为不可访问，然后才能将幻像引用入队。

^{*在java.lang.ref docs 的术语中不是完全无法到达，但不是强、柔和或弱可到达}