局部内部类访问它所在方法的局部变量时,要求该局部变量必须声明为final的原因

时间:2023-12-21 13:15:44

  这是java的一条规则。那么为什么会有这条规则呢?要想弄懂这个问题,就需要弄懂局部内部类对象和局部变量的生命周期谁更长的问题。

首先,看一段代码,以没有将变量声明为final的代码作为例子,代码如下:

 class Outer{

     Object obj;
public void outerMethod() { //局部变量
int x = 5;
//定义在方法中的内部类称为局部内部类
class Inner{ public String toString() {
System.out.println(x);//访问了局部变量x
          return null; 
}
}
//创建内部类实例
Inner in = new Inner();
in.toString();
//将内部类实例的引用赋值给obj
obj = in;
}
}
public class HelloDemo { public static void main(String[] argr) {
Outer out = new Outer();
out.outerMethod();
  
   }
}

  如上面的第7行代码所示,变量x没有被声明为final,如果是这样的话,当执行完第26行的outMethod()方法后,outMethod()方法将出栈,出栈后outMethod()方法里面定义的所有变量(x 和 in)都死亡了,(但是此时内部类的对象还活着,直到它不再被使用才会被回收,也就是说此内部类对象的生命周期比局部变量的生命周期长),并且在变量 in 死亡之前,in 的值赋值给了成员变量obj(第19行代码),这时obj 指向了内部类的对象,如果此时在27行执行一条代码: out.obj.toString();那么这条代码将会访问到局部变量 x,但是此时 x 已经死亡了,内部类对象已经访问不到 x 了,因此这是相互矛盾的。所以上面的代码实际上并不能编译通过。(在jdk8.0能编译通过,那是因为它检测到局部内部类访问了 x,会默认给 x 的前面加上隐式的final,如果在第8行加上一句代码:x = 4;编译器将会报错,因为final不允许 x 的值改变)

  如果局部变量 x 被声明为final后(在第七行的int前加上final),x 就代表了一个常量,那么第15行的代码实际上就变成了 System.out.println(5);,这时内部类相当于访问了一个数字5。这是没任何问题的,因此局部内部类访问它所在方法的局部变量时,要求该局部变量必须声明为final。究其根本原因,是局部内部类对象的生命周期比局部变量的生命周期长。

2018-05-11  22:10:16