编译器说 Lambda 表达式中的变量必须是 final 的,我偏不信

简介: 编译器说 Lambda 表达式中的变量必须是 final 的,我偏不信

偶尔,我们需要在 Lambda 表达式中修改变量的值,但如果直接尝试修改的话,编译器不会视而不见听而不闻,它会警告我们说:“variable used in lambda expression should be final or effectively final”。




这个问题发生的原因是因为 Java 规范中是这样规定的:


Any local variable, formal parameter, or exception parameter used but not declared in a lambda expression

must either be declared final or be effectively final (§4.12.4),

or a compile-time error occurs where the use is attempted.

大致的意思就是说,Lambda 表达式中要用到的,但又未在 Lambda 表达式中声明的变量,必须声明为 final 或者是 effectively final,否则就会出现编译错误。


关于 final 和 effectively final 的区别,可能有些小伙伴不太清楚,这里多说两句。


final int a;
a = 1;
// a = 2;
// 由于 a 是 final 的,所以不能被重新赋值
int b;
b = 1;
// b 此后再未更改
// b 就是 effectively final
int c;
c = 1;
// c 先被赋值为 1,随后又被重新赋值为 2
c = 2;
// c 就不是 effectively final


明白了 final 和 effectively final 的区别后,我们了解到,如果把 limit 定义为 final,那就无法在 Lambda 表达式中修改变量的值。那有什么好的解决办法呢?既能让编译器不发出警告,又能修改变量的值。


思前想后,试来试去,我终于找到了 3 个可行的解决方案:


1)把 limit 变量声明为 static。


2)把 limit 变量声明为 AtomicInteger。


3)使用数组。


下面我们来详细地一一介绍下。


01、把 limit 变量声明为 static


要想把 limit 变量声明为 static,就必须将 limit 变量放在 main() 方法外部,因为 main() 方法本身是 static 的。完整的代码示例如下所示。


public class ModifyVariable2StaticInsideLambda {
    static int limit = 10;
    public static void main(String[] args) {
        Runnable r = () -> {
            limit = 5;
            for (int i = 0; i < limit; i++) {
                System.out.println(i);
            }
        };
        new Thread(r).start();
    }
}



来看一下程序输出的结果:


0

1

2

3

4

1

2

3

4

5

OK,该方案是可行的。


02、把 limit 变量声明为 AtomicInteger


AtomicInteger 可以确保 int 值的修改是原子性的,可以使用 set() 方法设置一个新的 int 值,get() 方法获取当前的 int 值。


public class ModifyVariable2AtomicInsideLambda {
    public static void main(String[] args) {
        final AtomicInteger limit = new AtomicInteger(10);
        Runnable r = () -> {
            limit.set(5);
            for (int i = 0; i < limit.get(); i++) {
                System.out.println(i);
            }
        };
        new Thread(r).start();
    }
}


来看一下程序输出的结果:


0

1

2

3

4

1

2

3

4

5

OK,该方案也是可行的。


03、使用数组


使用数组的方式略带一些欺骗的性质,在声明数组的时候设置为 final,但更改 int 的值时却修改的是数组的一个元素。


public class ModifyVariable2ArrayInsideLambda {
    public static void main(String[] args) {
        final int [] limits = {10};
        Runnable r = () -> {
            limits[0] = 5;
            for (int i = 0; i < limits[0]; i++) {
                System.out.println(i);
            }
        };
        new Thread(r).start();
    }
}



来看一下程序输出的结果:


0

1

2

3

4

1

2

3

4

5

OK,该方案也是可行的。


04、鸣谢


好了,亲爱的读者朋友,以上就是本文的全部内容了,是不是感觉挺有意思的,编译器告诉我们要用 final 修饰 Lambda 表达式外的变量,但我们却找到了其他的解决方案,还一找就是 3 个,是不是感觉技能包又升级了,有没有?伸出小手给自己点个赞👍吧。


相关文章
|
8月前
|
存储 C语言
变量和常量的例子
变量和常量的例子
54 1
|
Java 编译器 Kotlin
Kotlin 中变量,类型,表达式,函数详解
Kotlin 中变量,类型,表达式,函数详解
104 0
|
8月前
|
编译器 C++
C++:编译器对被const修饰变量的处理行为(替换)
C++:编译器对被const修饰变量的处理行为(替换)
55 0
|
8月前
|
JavaScript 前端开发 Java
23、匿名类的排序、Lambda 表达式、方法引用
23、匿名类的排序、Lambda 表达式、方法引用
45 0
|
8月前
|
分布式计算 Java 大数据
Scala:样例类、模式匹配、Option、偏函数、泛型(三)
Scala:样例类、模式匹配、Option、偏函数、泛型(三)
87 0
|
编译器
constexpr 和 常量表达式
常量表达式是指值不会改变并且在编译过程就能得到计算结果的表达式。 字面值属于常量表达式,用常量表达式初始化的const对象也是常量表达式。 那么是什么来就决定是不是常量表达式呢?一个对象是不是常量表达式主要看它的数据结构和初始值。
105 1
|
编译器 C++
C++11之常量表达式(const与constexpr的区别)
C++11之常量表达式(const与constexpr的区别)
170 0
|
JavaScript 前端开发 Java
第23篇:匿名类的排序、Lambda 表达式、方法引用
🔖 Lambda Expression 是 Java8 开始才有的语法 🔖 函数式接口(Functional Interface):只包含1个抽象方法的接口(可以包含多个默认方法和静态方法) 📕 可以在接口上加上@FunctionalInterface注解,表示它是一个函数式接口 🔖 当匿名类实现的是函数式接口的时候,可以使用 Lambda 表达式简化代码的书写(但是匿名类和 Lambda 在作用域上还是有点区别的)
245 0
|
Java 编译器
有奖问答】- 为什么 Lambda 表达式要用 final 关键字修饰变量?
有奖问答】- 为什么 Lambda 表达式要用 final 关键字修饰变量?
441 1
|
Java
【Java 泛型】泛型用法 ( 泛型编译期擦除 | 上界通配符 <? extends T> | 下界通配符 <? super T> )
【Java 泛型】泛型用法 ( 泛型编译期擦除 | 上界通配符 <? extends T> | 下界通配符 <? super T> )
181 0
【Java 泛型】泛型用法 ( 泛型编译期擦除 | 上界通配符 <? extends T> | 下界通配符 <? super T> )