一、背景描述

最近在使用Java8 lambda表达式的时候编辑品，会时不时遇到这样的编译报错（Variable used in lambda expression should be final or effectively final），如下图所示：

从字面上来理解这句话，意思是：*lambda表达式中使用的变量应该是final或者有效的final*，也就是说，lambda 表达式只能引用标记了 final 的外层局部变量，这就是说不能在 lambda 内部修改定义在域外的局部变量，否则会编译错误。

二、报错原因

在lambda表达式中对变量的操作都是基于原变量的副本，不会影响到原变量的值。

假定没有要求lambda表达式外部变量为final修饰，那么开发者会误以为外部变量的值能够在lambda表达式中被改变，而这实际是不可能的，所以要求外部变量为final是在编译期以强制手段确保用户不会在lambda表达式中做修改原变量值的操作。

为什么会有这种规定？

其实在 Java 8 之前，匿名类中如果要访问局部变量的话，那个局部变量必须显式的声明为 final，如下代码在 Java 7 中是编译不过的：下面把JDK切换为1.7，

再来看下代码，Variable 'jdkVersion' is accessed from within inner class, needs to be declared final，意思是：变量‘dkVersion’在匿名内部类中被访问，必须被声明为final类型的。

Java 7 要求 version 这个局部变量必须是 final 类型的，否则在匿名类中不可引用。

再把JDK切换为1.8。

我们知道，lambda表达式是由匿名内部类演变过来的，它们的作用都是实现接口方法，于是类比匿名内部类，lambda表达式中使用的变量也需要是final类型。也就是说我们一开始图片中，finalUserNameList 这个变量需要声明为final类型，但是又发现个现象，如图：

finalUserNameList 这个变量赋值给了 finalI 变量，但是finalI并没有声明为final类型，然而代码却能够编译通过，这是因为 Java 8 之后，在匿名类或 Lambda 表达式中访问的局部变量，如果不是 final 类型的话，编译器自动加上 final 修饰符，即Java8新特性：effectively final。

三、解决方案

将 Lambda 表达式中访问的局部变量定义为 final类型的即可，如上图所示。

四、拓展

前面一直说 Lambda 表达式或者匿名内部类不能访问非 final 的局部变量，这是为什么呢？

首先思考外部的局部变量finalI和匿名内部类里面的finalI是否是同一个变量？

我们知道，每个方法在执行的同时都会创建一个栈帧用于存储局部变量表、操作数栈、动态链接，方法出口等信息，每个方法从调用直至执行完成的过程，就对应着一个栈帧在虚拟机栈中入栈到出栈的过程（《深入理解Java虚拟机》第2.2.2节 Java虚拟机栈）。

就是说在执行方法的时候，局部变量会保存在栈中，方法结束局部变量也会出栈，随后会被垃圾回收掉，而此时，内部类对象可能还存在，如果内部类对象这时直接去访问局部变量的话就会出问题，因为外部局部变量已经被回收了，解决办法就是把匿名内部类要访问的局部变量复制一份作为内部类对象的成员变量，查阅资料或者通过反编译工具对代码进行反编译会发现，底层确实定义了一个新的变量，通过内部类构造函数将外部变量复制给内部类变量。

- 为何还需要用final修饰？

其实复制变量的方式会造成一个数据不一致的问题，在执行方法的时候局部变量的值改变了却无法通知匿名内部类的变量，随着程序的运行，就会导致程序运行的结果与预期不同，于是使用final修饰这个变量，使它成为一个常量，这样就保证了数据的一致性。

完结！

【Java异常】Variable used in lambda expression should be final or effectively final相关推荐

深入浅出理解 Variable used in lambda expression should be final or effectively final
翻译:lambda 表达式中使用的变量应该是 final 或者有效的 final 原因解析:lambda表达式(多用在线程领域),是由匿名内部类演变来的. 匿名内部类产生的对象一般存放在JVM的堆区域 ...
Java lambda expression
Lambda表达式匿名类的一个问题是,如果匿名类的实现非常简单,例如只包含一个方法的接口,那么匿名类的语法可能看起来不实用且不清楚.在这些情况下,您通常会尝试将功能作为参数传递给另一个方法,例如当有 ...
Java 8th 函数式编程：lambda 表达式
Lambda 表达式是 java 8th 给我们带来的几个重量级新特性之一,借用 lambda 表达式可以让我们的程序设计更加简洁.最近新的项目摒弃了 6th 版本,全面基于 8th 进行开发,本文将 ...
java nextintln_java – 从lambda表达式引用的局部变量必须是final或者有效的final
我有一个JavaFX 8程序(适用于JavaFXPorts交叉平台),它实际上是为了做我想做的事情,但却是一步之遥.程序读取文本文件,对行进行计数以建立随机范围,从该范围中选取一个随机数并读取该行以进 ...
编译器说 Lambda 表达式中的变量必须是 final 的，我偏不信 | 原力计划
作者 | 沉默王二来源 | CSDN博客专家出品 | CSDN(ID:CSDNnews) 偶尔,我们需要在 Lambda 表达式中修改变量的值,但如果直接尝试修改的话,编译器不会视而不见听而不闻, ...
java中的final关键字和effectively final
我们在给lamda传参数时,可能会出现如下情况: Variable used in lambda expression should be final or effectively final 一般情 ...
foreach无法给外部变量赋值（Local variable decimal defined in an enclosing scope must be final or effectively ）
报错信息如下: Local variable decimal defined in an enclosing scope must be final or effectively final 原因:在 ...
Java 8 - 02 Lambda Expression
文章目录 Pre Lambda 初探 lambda语法函数式接口函数描述符 Pre 上一节 Java 8 - 01 优雅编程 lambda 以及 @FunctionalInterface注解一点通 ...
java lambda函数_Java SE 8新功能介绍：使用Lambda Expression进行函数式编程
java lambda函数 " Java SE 8新功能浏览 "系列的这篇文章将深入了解Lambda表达式 . 我将向您展示Lambda表达式的几种不同用法. 它们都具有功能接口的 ...
Java SE 8新特性导览：使用Lambda Expression进行函数式编程
" Java SE 8新功能浏览 "系列的这篇文章将深入了解Lambda表达式 . 我将向您展示Lambda表达式的几种不同用法. 它们都具有功能接口的共同实现. 我将解释编译器如 ...

【Java异常】Variable used in lambda expression should be final or effectively final

一、背景描述

二、报错原因

三、解决方案

四、拓展

【Java异常】Variable used in lambda expression should be final or effectively final相关推荐

最新文章

热门文章