匿名类是否总是保持对其封闭实例的引用？

Question

我正在使用一些代码，其中一个对象“ foo”创建另一个对象“
bar”，并将其传递给Callable。此之后，foo将返回bar，然后我希望foo变得不可访问（即：可用于垃圾回收）。

我最初的想法是仅Callable匿名创建。例如：

class Foo {
  ...

  public Bar createBar() {
    final int arg1 = ...
    final int arg2 = ...
    final int arg3 = ...
    return new Callable<Baz>() {
      @Override
      public Baz call() {
        return new Baz(arg1, arg2, arg3);
      }
    };
  }
}

在我看来，这实际上可能并没有按预期方式工作，因为内部类通常会保留对其封闭对象的引用。我不想在这里引用封闭类，因为我希望在Callable仍可访问的同时收集封闭对象。

另一方面，检测到实际上从未引用过封闭实例应该很简单，因此Java编译器可能很聪明，在这种情况下不包含引用。

那么…即使匿名内部类的实例从未真正使用过封闭实例引用，该实例仍将保留对其封闭实例的引用吗？

Answer 1

是的，即使从未真正使用匿名内部类的实例，也保留对其封闭实例的引用。这段代码：

public class Outer {
  public Runnable getRunnable() {
    return new Runnable() {
      public void run() {
        System.out.println("hello");
      }
    };
  }
}

使用编译时，会javac生成两个类文件，Outer.class和 Outer$1.class。使用javap -cyield
分解后者，即匿名内部类：

Compiled from "Outer.java"
class Outer$1 extends java.lang.Object implements java.lang.Runnable{
final Outer this$0;

Outer$1(Outer);
  Code:
   0:   aload_0
   1:   aload_1
   2:   putfield        #1; //Field this$0:LOuter;
   5:   aload_0
   6:   invokespecial   #2; //Method java/lang/Object."<init>":()V
   9:   return

public void run();
  Code:
   0:   getstatic       #3; //Field java/lang/System.out:Ljava/io/PrintStream;
   3:   ldc     #4; //String hello
   5:   invokevirtual   #5; //Method java/io/PrintStream.println:(Ljava/lang/String;)V
   8:   return

}

该putfield行显示构造函数将对封闭实例的引用存储在this$0（类型为Outer）的字段中，即使此字段不再使用。

如果尝试使用匿名内部类创建小的可能长期存在的对象，这将是不幸的，因为它们将保留（可能很大）封闭的实例。解决方法是改用静态类（或顶级类）的实例。不幸的是，这更加冗长。