我们在使用Java8 lambda表达式的时候时不时会遇到这样的编译报错:
这句话的意思是,lambda表达式中使用的变量应该是final或者有效的final
,为什么会有这种规定呢?
其实在 Java 8 之前,匿名类中如果要访问局部变量的话,那个局部变量必须显式的声明为 final
,如下代码在 Java 7 中是编译不过的:
@Test
public void demo() {
String version = "1.8";
foo(new Supplier() {
@Override
public String get() {
return version; // 编译报错 Variable 'version' is accessed from within inner class, needs to be declared final
}
});
}
private void foo(Supplier supplier) {
System.out.println(supplier.get());
}
Java 7 要求 version 这个局部变量必须是 final 类型的,否则在匿名类中不可引用。
我们知道,lambda表达式是由匿名内部类演变过来的
,他们的作用都是实现接口方法,于是类比匿名内部类,lambda表达式中使用的变量也需要是final类型。也就是说我们一开始图片中,i 这个变量需要声明为final类型,但是又发现个现象,如图:
i 这个变量赋值给了 finalI 变量,但是finalI并没有声明为final类型,然而代码却能够编译通过,这又是怎么回事?
其实是因为 Java 8 之后,在匿名类或 Lambda 表达式中访问的局部变量,如果不是 final 类型的话,编译器自动加上 final 修饰符。
前面一直说 lambda 表达式或者匿名内部类不能访问非 final 的局部变量,为什么呢?
其实这就要说到Jvm内存模型和线程了,因为实例变量存在堆中,而局部变量是在栈上分配,lambda 表达(匿名内部类) 会在另一个线程中执行。如果在线程中要直接访问一个局部变量,可能线程执行时该局部变量已经被销毁了,而 final 类型的局部变量在 Lambda 表达式(匿名类) 中其实是局部变量的一个拷贝。