【java】lambda表达式内变量为final 报错：Variable used in lambda expression should be final or effectively final

我们在使用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 表达式(匿名类) 中其实是局部变量的一个拷贝。