lambda表达式使用局部变量final问题

目录
  1. 1. Lambda表达式规则
  2. 2. 为什么局部变量有这些限制?
  3. 3. 解决方法
    1. 3.1. 方案一 使用常量且只能存放一个元素的数组
    2. 3.2. 方案二 使用AutomicReference

在使用lambda表达式的时候,经常会遇到一个问题,那就是在lambda表达式内部修改局部变量的的值时候,编译器会报错,说变量类型必须为final才可以使用,也就是说不让我们修改,这是为什么呢?

Lambda可以没有限制地捕获(也就是在其主体中引用)实例变量和静态变量。但局部变量必须显式声明为final, 或事实上是final。换句话说,Lambda表达式只能捕获指派给它们的局部变量一次。 例如,下面的代码无法编译,因为name变量被赋值两次:

1
2
3
4
5
6
7
8
9
String name = "aaa";
UserDo userDo = new UserDo();
Optional.of(userDo).ifPresent(
user -> {
// 报错:Variable used in lambda expression should be final or effectively final.
System.out.println(name);
}
);
name = "bbb"; // 注释掉这一行就不报错了

Lambda表达式规则

  • 只能引用标记了 final 的外层局部变量,这就是说不能在 lambda 内部修改定义在域外的局部变量,否则会编译错误。
  • 局部变量可以不用声明为 final,但是必须不可被后面的代码修改(即隐性的具有 final 的语义)
  • 不允许声明一个与局部变量同名的参数或者局部变量。

根据lanbda表达式规则可知:lambda表达式内部引用的局部变量是隐式的final

所以无论Lambda表达式引用的局部变量无论是否声明final,均具有final特性!表达式内仅允许对变量引用(引用内部修改除外,比如list增删),禁止修改!

为什么局部变量有这些限制?

第一,实例变量和局部变量背后的实现有一个关键不同。实例变量都存储在堆中,堆是线程共享的。而局部变量则保存在栈上。如果Lambda可以直接访问局部变量,而且Lambda是在一个线程中使用的,则使用Lambda的线程,可能会在分配该变量的线程将这个变量收回之后,去访问该变量。因此,Java为避免这个问题,在访问自由局部变量时,实际上是在访问它的副本,而不是访问原始变量。为了保证局部变量和lambda中复制品 的数据一致性,就必须要这个限制。

第二,这一限制不鼓励你使用改变外部变量的典型命令式编程模式(这种模式会阻碍Java8很容易做到的并行处理)。

解决方法

方案一 使用常量且只能存放一个元素的数组

1
2
3
4
5
6
7
8
UserDo userDo = new UserDo();
final String[] names = {"aaa"};
Optional.of(userDo).ifPresent(
user -> {
System.out.println(names[0]);
}
);
names[0] = "bbb";

方案二 使用AutomicReference

由于在lambda表达式中对变量的操作都是基于原变量的副本,这才导致不能改变原变量的值。所以,我们可以推出可以使用原子引用AutomicReference来提供一种对原子变量的对象的引用机制。

1
2
3
4
5
6
7
8
UserDo userDo = new UserDo();
AtomicReference<String> name = new AtomicReference<>("aaa");
Optional.of(userDo).ifPresent(
user -> {
System.out.println(name.get());
}
);
name.set("bbb");