java可以在对象仍在范围内时对其进行最终确定吗？

Question

我一直在研究我的代码中的一个错误，该错误似乎是由一些“丑陋”的终结器代码引起的。代码大致是这样的

public class A {
   public B b = new B();
   @Override public void finalize() {
     b.close();
   }
}

public class B {
   public void close() { /* do clean up our resources. */ }
   public void doSomething() { /* do something that requires us not to be closed */ } 
}

void main() {
   A a = new A();
   B b = a.b;
   for(/*lots of time*/) {
     b.doSomething();
   }
}

我认为正在发生的事情是a 在main() 的第二行之后被检测为没有引用，并被终结器线程进行GC 和终结——而for 循环仍在发生，使用b 而a 仍然“在范围内”。

这合理吗？ java是否允许在对象超出范围之前对其进行GC？

注意：我知道在终结器中做任何事情都是不好的。这是我继承并打算修复的代码 - 问题是我是否正确理解了根本问题。如果这是不可能的，那么更微妙的东西一定是我的错误的根源。

Answer 1

JLS §12.6.1:

可以设计优化程序的转换，将可到达的对象的数量减少到比那些天真地认为是可到达的要少。例如，Java 编译器或代码生成器可能会选择将不再使用的变量或参数设置为 null，以使此类对象的存储空间可能更快地被回收。

所以是的，我认为编译器可以添加隐藏代码以将a 设置为null，从而允许对其进行垃圾收集。如果这是正在发生的事情，您可能无法从字节码中分辨出来（请参阅@user2357112 的评论）。

可能的（丑陋的）解决方法：将public static boolean alwaysFalse = false; 添加到主类或其他一些类，然后在main() 的末尾添加if (alwaysFalse) System.out.println(a); 或引用a 的其他内容。我认为优化器永远无法确定alwaysFalse 从未被设置（因为某些类总是可以使用反射来设置它）；因此，它无法判断不再需要a。至少，这种“变通方法”可以用来确定这是否确实是问题所在。

Answer 2

当一个对象还在作用域内时，Java 可以终结它吗？

是的。

但是，我在这里很迂腐。 范围 是一个语言概念，它决定了名称的有效性。一个对象是否可以被垃圾回收（从而最终确定）取决于它是否可访问。

answer from ajb 引用了 JLS 的一段重要段落，几乎获得了它 (+1)。但是我不认为它直接适用于这种情况。 JLS §12.6.1 还说：

可达对象是可以在任何潜在的持续计算中从任何活动线程访问的任何对象。

现在考虑将其应用于以下代码：

class A {
    @Override protected void finalize() {
        System.out.println(this + " was finalized!");
    }

    public static void main(String[] args) {
        A a = new A();
        System.out.println("Created " + a);
        for (int i = 0; i < 1_000_000_000; i++) {
            if (i % 1_000_000 == 0)
                System.gc();
        }
        // System.out.println(a + " was still alive.");
    }
}

在 JDK 8 GA 上，这将每次最终确定 a。如果你取消注释最后的println，a 将永远不会最终确定。

注释掉println，可以看到可达性规则是如何应用的。当代码到达循环时，线程不可能访问a。因此它是不可达的，因此需要完成和垃圾回收。

请注意，名称a 仍然在范围内，因为可以在封闭块内的任何位置使用a——在本例中为main 方法体——从其声明到块的末端。 JLS §6.3 中涵盖了确切的范围规则。但实际上，正如您所见，作用域与可达性或垃圾回收无关。

为了防止对象被垃圾回收，您可以在静态字段中存储对它的引用，或者如果您不想这样做，您可以通过稍后在同一方法中使用它来保持它可以访问耗时的循环。调用类似toString 这样的无害方法就足够了。