为什么内部类调用的外部变量必须是final修饰的?

感谢原文:https://blog.csdn.net/u010393325/article/details/80643636

因为生命周期的原因。方法中的局部变量,方法结束后这个变量就要释放掉,final保证这个变量始终指向一个对象。首先,内部类和外部类其实是处于同一个级别,内部类不会因为定义在方法中就会随着方法的执行完毕而跟随者被销毁。问题就来了,如果外部类的方法中的变量不定义final,那么当外部类方法执行完毕的时候,这个局部变量肯定也就被GC了,然而内部类的某个方法还没有执行完,这个时候他所引用的外部变量已经找不到了。如果定义为final,java会将这个变量复制一份作为成员变量内置于内部类中,这样的话,由于final所修饰的值始终无法改变,所以这个变量所指向的内存区域就不会变。 为了解决:

局部变量的生命周期与局部内部类的对象的生命周期的不一致性问题

编程时,在线程中使用局部变量时候经常编译器会提示:局部变量必须声明为final

package test;
 
public class ThreadTest {
	
	public void function(String a) {
		
		new Thread(){
			@Override
			public void run() {
				System.out.println(a);
			}
		}.start();
	}
	
	
	public static void main(String[] args) {
		new ThreadTest().function("a");
		
	}
}

上图中由于方法function中的形参a没有声明为final,编译抛出异常:Cannot refer to the non-final local variable a defined in an enclosing scope

其实原因就是一个规则:java内部类访问局部变量时局部变量必须声明为final。

public class ThreadTest {
	
	public void function(String a) {
		a="b";
		new Thread(){
			@Override
			public void run() {
				System.out.println(a);
			}
		}.start();
	}
	
	
	public static void main(String[] args) {
		new ThreadTest().function("a");
		
	}
}

在a="b"这一行报错:Local variable a defined in an enclosing scope must be final or effectively final
也就是说规则没有改变,只是java1.8的编译变得更加智能了而已,在局部变量没有重新赋值的情况下,它默认局部变量为final型,认为你只是忘记加final声明了而已。如果你重新给局部变量改变了值或引用,那就无法默认为final了,所以报错


补充:
对局部变量有要求具体如下:

(1)内部类里面使用外部类的局部变量时,其实就是内部类的对象在使用它,内部类对象生命周期中都可能调用它, 而内部类试图访问外部方法中的局部变量时,外部方法的局部变量很可能已经不存在了,那么就得延续其生命, 拷贝到内部类中,而拷贝会带来不一致性,从而需要使用final声明保证一致性。说白了,内部类会自动拷贝外部变量 的引用,为了避免:

外部方法修改引用,而导致内部类得到的引用值不一致
内部类修改引用,而导致外部方法 的参数值在修改前和修改后不一致。于是就用 final 来让该引用不可改变。

(2)内部类通常都含有回调,引用那个匿名内部类的函数执行完了就没了,所以内部类中引用外面的局部变量需要 是final的,这样在回调的时候才能找到那个变量,而如果是外部类的成员变量就不需要是final的,因为内部类本身 都会含有一个外部类的引用(外部类.this),所以回调的时候一定可以访问到

原文链接:https://www.jianshu.com/p/3fe608b865bb

posted @ 2019-05-20 20:22  超级小白龙  阅读(497)  评论(1编辑  收藏  举报