java lambda 表达式的局部变量为什么必须是final修饰？

我是个假程序员

已于 2022-02-25 16:15:06 修改

阅读量1.1k

点赞数 3

分类专栏： java 文章标签： java

于 2022-02-25 16:02:51 首次发布

原文链接：https://blog.csdn.net/zhangjingao/article/details/122732331 https://blog.csdn.net/qq_40419564/article/details/112569172

版权

java 专栏收录该内容

30 篇文章 2 订阅

订阅专栏

以下内容是转载至两位大佬的：

结论

lambda对于实例变量、静态变量不限制。
对于局部变量限制,必须是final类型, 即使没有声明为final类型, 后续这个变量也不可以被改变, 如果是引用类型的属性的值,或者是list这种的增删可以,但重新赋值整个对象也不行.

原因

局部变量有一个特点, 存在于局部变量表中, 属于线程私有, 不共享. 随着作用域的结束, 可能会被内存回收。
lambda是匿名内部类, 如果和主线程运行时使用了不同的线程, 那么很有可能在主线程结束后, 局部变量已经销毁, 或者发生了更改, 那么就会导致实际使用和真实的是不一致的。
我理解正因为如此, 实例变量或者静态变量存放在堆中, 线程共享, 因此不受这个限制.

原文链接：https://blog.csdn.net/zhangjingao/article/details/122732331

—————————————————————————————————————————————

现象
在这里插入图片描述

在编写Lambda表达式的时候，有时会引用Lambda表达式以外的变量。

Lambda 表达式引用的局部变量必须是最终变量或实际上的最终变量，也就是说局部变量在被创建后不得被重新赋值。

分析
那么为什么呢？我看了网上的许多文章，写的都比较模糊，例如：

它所能访问到的外部类中的各种变量都只是一份拷贝，因此为了防止你误以为能够直接修改外部类的变量，做了这样的设定。

我看的云里雾里，直到我看了这篇文章，【小家java】使用lambda表达式传参是否有性能问题？，里面剖析了Lambda表达式这个语法糖的原理，之后我写了一个Test去验证：

import java.util.function.Consumer;

public class LambdaTest {

    Object instanceObj = new Object();

    private void test() {
        // 用于直接引用
        Object localObj1 = new Object();
        // 用于传参
        Object localObj2 = new Object();
        Consumer consumer = (x) -> {
            System.out.println(x);
            System.out.println(localObj1);
            System.out.println(instanceObj);
        };
        consumer.accept(localObj2);
    }
}

之后编译该类，反编译字节码：

javac src/LambdaTest.java
javap -p src/LambdaTest.class
输出：
Compiled from "LambdaTest.java"
public class LambdaTest {
  java.lang.Object instanceObj;
  public LambdaTest();
  private void test();
  private void lambda$test$0(java.lang.Object, java.lang.Object);
}

由此可看出，Lambda表达式是一个语法糖，会被编译生成为当前类的一个私有方法，Lambda表达式内直接引用局部变量本质是一种隐式传参，编译时会自动将引用的局部变量放到参数列表中（Lambda方法多了个参数），而引用的实例变量并不需要放到参数列表，因为方法内可以直接引用。
—————————————————————————————————————————————
那么造成直接引用的局部变量需要final修饰的原因应该和这种隐式传参有关，所以这里需要再提一下Java方法的传参机制，详见之前发过的Java对象空间占用如何计算？