匿名内部类局部变量final问题

365 阅读2分钟

匿名内部类局部变量为什么要加final?

先来看一段代码:

/**
 * Author: wang bo
 * Date:2019/1/30
 * Description:
 */
public class FinalTest {

    private ArrayList list = new ArrayList();

    public void f1() {

        final Test test = new Test();
        list.add(new Listener() {
            @Override
            public Test listen() {
                Test t = test;
                return t;
            }
        });
    }
    private interface Listener {
        Test listen();
    }

    class Test {
    }
}

可以看到想在匿名内部类里面return t,外面的test必须加上final修饰符。这是为什么呢?这是java的语言基础,网上这个问题也被讨论烂了,各种说法都有,所以一开始我被弄的稀里糊涂,请教了公司前辈后,再加上自己的理解,算是弄懂了吧。

抛出疑问

1.如果f1()函数结束出栈,test会被回收吗?

2.如果被回收,那么test引用指向的对象会被gc掉吗?


我们先来看看这段代码用JD-GUI反编译后的结果:

一共有4个文件:

FinalTest$1.class 这是虚拟机为匿名内部类创建的实现类

FinalTest$Listener.class 这是FinalTest的内部接口

FinalTest$Test.class 这是内部类Test

FinalTest.class 这是FinalTest


要理解这个问题重要的是FinalTest$1.class, 和 FinalTest.class 俩个文件。

先抛出答案:

1.如果f1()函数结束出栈,test引用会被回收吗?

2.如果被回收,那么test引用指向的对象会被gc掉吗?不会

FinalTest.class


public class FinalTest
{
  private ArrayList list = new ArrayList();
  
  public void f1()
  {
    final Test test = new Test();
    this.list.add(new Listener()
    {
      public FinalTest.Test listen()
      {
        FinalTest.Test t = test;
        return t;
      }
    });
  }
  
  class Test
  {
    Test() {}
  }
  
  private static abstract interface Listener
  {
    public abstract FinalTest.Test listen();
  }
}

可以看到反编译后test 还是被final修饰的。再来看看FinalTest$1.class。


class FinalTest$1
  implements FinalTest.Listener
{
  FinalTest$1(FinalTest this$0, FinalTest.Test paramTest) {}
  
  public FinalTest.Test listen()
  {
    FinalTest.Test t = this.val$test;
    return t;
  }
}

这个反编译后的结果就是关键,可以看到匿名内部类的实现类的构造函数的参数是 this$0paramTest ,这个this$0 是外部类的引用,而paramTest 是需要接收刚刚传入的test局部变量的,并且我们知道java是值传递的,所以test局部变量的引用的值被“拷贝了一份”指向了同一个地址。

继续看listen方法,我们可以看到this.val$test ,不知道是不是反编译工具的问题,在构造函数中应该是有

this.val$test = paramTest 这样的语句在的。

所以这种现象可以解决第一问和第二问了,函数退出test引用被销毁。而在匿名内部类的实现类里,拷贝的引用生命周期和匿名内部类实现类对应的对象的生命周期一样长。而且因为对应的对象存在强引用(拷贝的引用),所以不会被gc。

所以为了解决数据一致性的问题,java要保证匿名内部类的里面拷贝的引用和局部变量的引用指向的是同一个对象,所以局部变量要加final,保证了拷贝的引用和它指向的是同一个对象。