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

匿名内部类局部变量为何要加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$0， paramTest ，这个this$0 是外部类的引用，而paramTest 是须要接收刚刚传入的test局部变量的，而且咱们知道java是值传递的，因此test局部变量的引用的值被“拷贝了一份”指向了同一个地址。

继续看listen方法，咱们能够看到this.val$test ，不知道是否是反编译工具的问题，在构造函数中应该是有

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

因此这种现象能够解决第一问和第二问了，函数退出test引用被销毁。而在匿名内部类的实现类里，拷贝的引用生命周期和匿名内部类实现类对应的对象的生命周期同样长。并且由于对应的对象存在强引用（拷贝的引用），因此不会被gc。

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