首先我们看一下匿名内部类的例子
public void test() {
int num = 5;
new Consumer<Integer>(){
@Override
public void accept(Integer integer) {
System.out.println(integer + num);
}
}.accept(6);
num = 4;
}
在这里会报一个错误
Variable "num" is accessde from within inner class,needs to be final or effectively final
主要原因是 num 需要声明为final类型,不能改变值。
public void test() {
final int num = 5;
new Consumer<Integer>(){
@Override
public void accept(Integer integer) {
System.out.println(integer + num);
}
}.accept(6);
}
这样就不会报错了,不过还要注意一点,在Java 8 之后,在内部类或 Lambda 表达式中访问的局部变量,如果不是 final 类型的话,编译器自动加上 final 修饰符,即 Java8 新特性:effectively final。所以在Java 8 之后我们不用声明 num 为 final 也是可以的。
下面来分析下这个问题:
追究其根本原因就是作用域中变量的生命周期导致的;
首先需要知道的一点是: 内部类和外部类是处于同一个级别的,内部类不会因为定义在方法中就会随着方法的执行完毕就被销毁。
这里就会产生问题:当外部类的方法结束时,局部变量就会被销毁了,但是内部类对象可能还存在(只有没有人再引用它时,才会死亡)。这里就出现了一个矛盾:内部类对象访问了一个不存在的变量。为了解决这个问题,就将局部变量复制了一份作为内部类的成员变量,这样当局部变量死亡后,内部类仍可以访问它,实际访问的是局部变量的"copy"。这样就好像延长了局部变量的生命周期。
我们可以通过反编译生成的 .class 文件来实验:
javac InnerClassTest
javap 是 Java class 文件分解器,可以反编译,也可以查看Java编译器生成的字节码。
javap -private InnerClassTest$1.class
-private 表示显示所有类和成员,执行后会得到如下结果:
class InnerClassTest$1 implements java.util.function.Consumer<java.lang.Integer> {
final int val$num;
final InnerClassTest this$0;
InnerClassTest$1(InnerClassTest, int);
public void accept(java.lang.Integer);
public void accept(java.lang.Object);
}
可见方法中的局部变量实际上确实会复制为内部类的成员变量使用。
问题又出现了:将局部变量复制为内部类的成员变量时,必须保证这两个变量是一样的,也就是如果我们在内部类中修改了成员变量,方法中的局部变量也得跟着改变,怎么解决问题呢?
就将局部变量设置为final,对它初始化后,我就不让你再去修改这个变量,就保证了内部类的成员变量和方法的局部变量的一致性。这实际上也是一种妥协。
若变量是final时:
-
若是基本类型,其值是不能改变的,就保证了copy与原始的局部变量的值是一样的;
-
若是引用类型,其引用是不能改变的,保证了copy与原始的变量引用的是同一个对象。
这就使得局部变量与内部类内建立的拷贝保持一致。