最终字段如何不泄漏内存？

Question

多年来，我一直毫无疑问地使用final 关键字来表示在实例/类的生命周期内不应更改的字段。我突然想到了这个……

所以给出这个例子：

public class TestFinalGC{

    private TestFinalGC(){}

    private final Object obj = new Object();

     public static void main(String []args){
         TestFinalGC instance = new TestFinalGC();
         // instance Ref -> actual instance ->? obj ref-> actual obj
         System.out.println(instance.obj);
         instance = null;
         //say GC makes sweep here... what happens?
         //lets assume theres more code, obj would obviously be eligible for GC on app exit.
     }
}

obj 成员如何不在这里泄漏？ final 字段是否会自动为 WeakReferences，这样如果对父级的强引用为空，它们就有资格进行垃圾回收？

The JLS does not seem to note anything special about final

更新：

所以我的这个问题是建立在“可达性”和强/弱引用密切相关的前提下的。有this confusing oracle doc on reachability 让我相信嵌套引用应该始终是“高度可达的”。因此，我在所有对象中都将嵌套对象引用设为空，但我收到的所有 cmets 显然不应该是这种情况。

那么，关于“可达性”，如果父引用不再可达，嵌套对象引用是否不再被视为“可达”？

确实可能这个问题的前提是不正确的，但是这里还是有一些耐人寻味的信息需要巩固。

Answer 1

正如 Makoto 所建议的，就 GC 而言，变量声明中的 final 没有什么特别之处。在您的示例代码中

private final Object obj = new Object();

将与垃圾同时收集

private Object obj = new Object();

两者都是强引用，但与它们的父类 TestFinalGC 实例一起被无效和垃圾收集。那是因为当实例被 GC'd 时，引用字段也被销毁并且引用不再存在。 obj 的引用计数因此减一。

但是，你应该写类似的东西

Object x = myTestFinalGC.obj; // only works if your obj is not private, of course

然后该对象将不会被垃圾回收，因为它仍然有一个引用徘徊（假设这一特定代码行在另一个类实例中，当 myTestFinalGC 被垃圾回收时该类实例仍然存在。

tl;dr：当硬引用计数降至零时（当然，收集器运行），内存分配被垃圾收集。 final 并没有改变这个事实。