Java8：Effectively final

序言

Java8之前的局部内部类和匿名内部类访问的局部变量必须由 final 修饰，以保证内部类和外部类的数据一致性.

这个数据一致性比较模糊,再清楚点讲就是:局部内部类和匿名内部类,如果可以传递非Final的变量,那如果在内部类中对该对象进行了操作的同时,外部又对该属性进行了操作,就会造成数据的不一致性或者说不能保证数据的安全性cuiyaonan2000@163.com

这里主要说明下Java8引入lambda之后,针对局部内部类和匿名内部类的影响cuiyaonan2000@163.com

首先看下lambda针对作用域的说明

同时针对JDK8我们可以访问外部部变量,但是有个前提即:

lambda 表达式的局部变量可以不用声明为 final，但是必须不可被后面的代码修改（即隐性的具有 final 的语义） -----这个所谓的隐形final语义就是Effectively final  cuiyaonan2000@163.com

参考资料:

1. Java8新特性：Effectively final
2. Java Lambda 表达式 | 菜鸟教程
3. 为什么Java Lambda 表达式使用的本地变量必须为final? - hao5ang的个人空间 - OSCHINA - 中文开源技术交流社区

Effectively final

一个非 final 的局部变量或方法参数，其值在初始化后就从未更改，那么该变量就是 effectively final

主要是解决的问题是:我们在 Lambda 编程中每一个被使用到的局部变量就不需要显示的定义为final了,这样子节省了我们的工作量(另:只能是JDK8以后才引入了Effectively Final)

Capturing Lambdas

Lambda 表达式可以使用在 lambda 外部范围中定义的变量。我们将这些 lambdas 称为 Capturing lambdas。

它们可以捕获静态变量 (static variables)、成员变量 (instance variables) 和局部变量 (local variables)，但只有局部变量必须是 final 或 effectively final 的。

为什么成员变量可以不用是effectively final的因为原因在于:变量是在什么位置存储的!!!

本地变量存储在栈中，成员变量存储在堆中。我们处理堆内存时，编译器可以保证我们处理的是最新值.(此处应该指的单线程场景)

示例

package nan.yao.cui.test;


import java.util.Collections;
import java.util.function.Consumer;

/**
 * @Author: cuiyaonan2000@163.com
 * @Description: todo
 * @Date: Created at 2022-6-6  9:38
 */
public class Test01{

    public String name;

    public static int age =11;

    public static void main(String[] args) throws Exception {
        Test01 test = new Test01();

        String theClass ="123";
        Consumer consumer = a->{
            //直接应用局部变量
            System.out.println(theClass);

            //直接应用成员成员变量
            System.out.println(test.name);

            //直接应用静态属性
            System.out.println(Test01.age);
        };
        test.name="成员变量的值可以改变";
        Test01.age = 18;

        // notation please
//        theClass = "局部变量的值不能改变?,否则23行编译不通过";
    }

}