32

I'm working with some code where one object, "foo", is creating another object, "bar", and passing it a Callable. After this foo will return bar, and then I want foo to become unreachable (ie: available for garbage collection).

My initial thought was to just create the Callable anonymously. eg:

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);
      }
    };
  }
}

It occurred to me that this might not actually work as desired, however, as an inner class typically keeps a reference to its enclosing object. I don't want a reference to the enclosing class here, because I want the enclosing object to be collected while the Callable is still reachable.

On the other hand, detecting that the enclosing instance is never actually referred to should be pretty trivial, so perhaps the Java compiler is smart enough to not include a reference in that case.

So... will an instance of an anonymous inner class hold on to a reference to its enclosing instance even if it never actually uses the enclosing instance reference?

Mike Valenty
  • 8,941
  • 2
  • 30
  • 32
Laurence Gonsalves
  • 137,896
  • 35
  • 246
  • 299

3 Answers3

34

As of JDK 18, no. JDK 18 omits enclosing instance fields from inner classes that don't use it.

However, prior to JDK 18, yes, instances of anonymous inner classes hold on to a reference to their enclosing instances even if these references are never actually used. For example, this code:

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

...when compiled with javac, generates two class files: Outer.class and Outer$1.class. Disassembling the latter, the anonymous inner class, with javap -c yields:

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

}

The putfield line shows that a reference to the enclosing instance is being stored in the field this$0 (of type Outer) by the constructor even though this field is never used again.

This is unfortunate if you're attempting to create small potentially long-lived objects with anonymous inner classes as they'll hold onto the (potentially large) enclosing instance. A workaround is to use an instance of a static class (or a top-level class) instead. This is unfortunately more verbose.

Laurence Gonsalves
  • 137,896
  • 35
  • 246
  • 299
  • Definitely use a static class. It's not that verbose IMO. – Werner Lehmann Feb 20 '11 at 03:17
  • @deepc You need to add fields for each parameter, which is 1 line per parameter, and a constructor, which adds 2 lines plus 1 for each parameter. So for a simple 3-argument Runnable that's at least 8 more lines of code. The anonymous inner class syntax is already pretty verbose compared to a proper lambda expression syntax: a single method class has 4 lines of boilerplate you wouldn't need with lambda expressions. So a 3-parameter 1-line lambda expression in Java becomes 13 lines of code. How big would it have to be for you to consider it "that verbose"? – Laurence Gonsalves Feb 20 '11 at 05:23
  • you are right with your line "statistics". Maybe it is personal taste. But after all the `call()` method has to be in there as well. And now we have enough code to justify a separate class (not necessarily a top level class as you point out). To me the code looks cleaner this way. Even more so if that method is longer than a few lines. – Werner Lehmann Feb 23 '11 at 22:56
  • The question is if the compiler has to actually create that field, if it knows it is not used (and if the JIT has to retain the unseen putfield). – eckes Dec 17 '13 at 23:23
  • 1
    @eckes That is indeed a good question. I was quite disappointed when I saw that the field was still created even when not used, as this seems like a pretty trivial optimization to make. – Laurence Gonsalves Dec 18 '13 at 23:51
  • @LaurenceGonsalves according to the JLS the ref might be needed for some stuff in the synthetic constructor (if the parent type is a inner class) but I don't see an requirement to retain the field besides the constructor stack. – eckes Dec 19 '13 at 00:37
  • 3
    @eckes correct, and a decade later, starting with JDK 18, we finally got rid of obsolete outer object references, [JDK-8271717](https://bugs.openjdk.org/browse/JDK-8271717) – Holger Nov 01 '22 at 11:27
  • Thanks @Holger. I've updated the answer with this information. – Laurence Gonsalves Jan 07 '23 at 00:23
  • 2
    @LaurenceGonsalves if you are at updating it, it’s worth noting that lambda expressions do not have this problem mentioned in the last section, so you may replace anonymous inner classes with lambda expressions were feasible, to avoid unnecessary outer object references since Java 8. (That’s again a point not specified in the JLS but just the way, compilers implement it) – Holger Jan 07 '23 at 13:42
7

You can easily turn a nested anonymous-class into a "static" anonymous-class by introducing a static method in your class.

import java.util.ArrayList;


public class TestGC {
    public char[] mem = new char[5000000];
    public String str = "toto";

    public interface Node {
        public void print();
    }

    public Node createNestedNode() {
        final String str = this.str;
        return new Node() {
            public void print() {
                System.out.println(str);
            }
        };
    }

    public static Node createStaticNode(TestGC test) {
        final String str = test.str;
        return new Node() {
            public void print() {
                System.out.println(str);
            }
        };
    }

    public Node createStaticNode() {
        return createStaticNode(this);
    }

    public static void main(String... args) throws InterruptedException {
        ArrayList<Node> nodes = new ArrayList<Node>();
        for (int i=0; i<10; i++) {
            // Try once with createNestedNode(), then createStaticNode()
            nodes.add(new TestGC().createStaticNode());
            System.gc();
            //Thread.sleep(200);
            System.out.printf("Total mem: %d  Free mem: %d\n", Runtime.getRuntime().totalMemory(), Runtime.getRuntime().freeMemory());
        }
        for (Node node : nodes)
            node.print();
        nodes = null;
        System.gc();
        //Thread.sleep(200);
        System.out.printf("Total mem: %d  Free mem: %d\n", Runtime.getRuntime().totalMemory(), Runtime.getRuntime().freeMemory());
    }
}
Delphin
  • 109
  • 1
  • 5
  • This isn't quite an answer to the question, but is a good solution to how to write a "static anonymous-class" in a much less verbose way. Thanks! – Laurence Gonsalves Jan 30 '14 at 18:49
1

The static alternative (in this case) is not much larger (1 line):

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

BTW: if you use a Lambda in Java8 there will be no nested class generated. However I am not sure if the CallSite objects which get passed around in that case hold an reference to the outer instance (if not needed).

eckes
  • 10,103
  • 1
  • 59
  • 71