lambda里面赋值局部变量必须是final原因

本文解析了Java中Lambda表达式为何要求局部变量为final,以及在访问非final局部变量时的限制,并讨论了如何通过引用类型绕过这一限制。重点讲解了lambda表达式与函数式接口的关系和其在实战中的应用场景。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

public class LambdaTest {

    public static void main(String ... args){
        int portNumber = 1337;
        Runnable r = ()-> {
            portNumber = 1338;
            System.out.println(portNumber);
        };
        r.run();
    }
}

 

 

如上代码,lambda里面要访问局部变量会报如照片错误:

在介绍为什么会报错的原因之前,稍作先介绍什么Lambda表达式

 

一、什么是lambda表达式

在java8实战这本书中,将Lambda表达式解释为:可传递的匿名函数的一种方式:它没有名称,但他有参数列表、函数主体、返回类型,可能还有一个可以抛出的异常列表

二、在哪里使用Lambda表达式

1.函数式接口:只定义了一个抽象方法的接口
2.函数描述符:函数式接口的抽象方法的签名基本上就是Lambda表达式的签名,这个抽象方法叫做函数描述符

三、函数式接口可以干什么?

lambda表达式可以以内联的形式为接口的抽象方法提供实现,并把整个表达式作为函数式接口的实例即创建一个函数式接口的实例

四、为什么lambda里面要访问局部变量必须是final

现在再来解释为什么lambda里面要访问局部变量必须是final?

首先:lambda表示可以无限制捕获实例变量(即表达式主体中的引用)和静态变量

但是,局部变量必须是显示声明为final或事实上是final

那么这lambda里面要赋值局部变量必须是final有什么关系?

实例变量:存储在堆中

局部变量:则保存在栈上

lambda表达式以内联的形式创建一个函数式接口的实例,保存在堆中,而局部变量则保存在栈中,可能造成实例对象得生命周期很有可能超过局部变量得生命周期

1.局部变量声明周期:当该方法被调用时,该方法中的局部变量在栈中被创建。当方法调用结束时,退栈,这些局部变量全部死亡。而函数式接口实例对象生命周期和其他类对象一样:自创建一个实例对象,系统为该对象分配内存,直到没有引用变量指向分配给该对象得内存,它被JVM垃圾回收,所以完全可能出现的一种情况是:方法已调用结束,局部变量已死亡,但实例对象的对象仍然活着。

2.如果实例对象访问了同一个方法中得局部变量,就要求只要实例对象还活着,那么栈中的那些它要所访问的局部变量就不能死亡

因为创建一个函数式接口实例实际也是创建一个匿名内部类,这里是从匿名内部类的角度分析

以下是《java8实战》解释:

1.Lambda可以直接访问局部变量,而且Lambda是在一个线程中使用的,则使用Lambda的线程,可能会在分配该变量的线程将这个变量收回之后,去访问该变量。因此,Java在访问自由局部变量时,实际上是在访问它的副本,而不是访问原始变量。

2.这一限制不鼓励你使用改变外部变量的典型命令式编程模式

 

五、lambda里面要赋值局部变量而不使用final

则局部变量使用=》引用类型

属于个人理解,有不对的地方也请指出。

 

 

 

 

### lambda表达式中赋值变量的数据类型 在C++中,`lambda`表达式是一种匿名函数对象,其底层实现依赖于编译器生成的唯一类名[^1]。当定义一个`lambda`表达式时,它实际上会创建一个新的匿名类实例,并且该类实现了调用操作符(`operator()`)。这意味着每个`lambda`表达式的类型实际上是独一无二的。 对于`lambda`表达式中的局部变量捕获和参数传递,存在一些特定规则: #### 局部变量捕获 - 如果`lambda`表达式需要访问外部作用域中的变量,则这些变量必须满足“实质上是`final`”的要求,即它们在整个生命周期内不会发生更改[^5]。 - 这些被捕获的变量会被复制到`lambda`表达式的闭包环境中,或者通过引用的方式绑定到原始变量上(取决于捕获模式 `[=]` 或 `[&]`)。 #### 参数列表与隐式推导 - `lambda`表达式的参数类型可以显式指定或让编译器自动推断。例如,在不提供具体类型的场景下,编译器能够依据上下文来决定实际使用的数据类型[^2]。 以下是几个例子展示如何处理不同类型以及捕获机制: ```cpp #include <iostream> using namespace std; int main() { int x = 42; // 显式声明参数类型 auto explicitLambda = [](const int param) -> void { cout << param * 2 << endl; }; explicitLambda(x); // 隐式推导参数类型 auto implicitLambda = [&](auto value) { cout << value + x << endl; }; implicitLambda(7); return 0; } ``` 上述代码片段展示了两种不同风格的`lambda`定义方式及其应用情况。第一个`explicitLambda`强制指定了输入参数为整数;第二个则允许任意兼容加法运算的对象传入,并利用了对外围变量`x`的引用捕捉功能。 需要注意的是,尽管两者的逻辑看起来相似,但由于各自所属类别差异巨大——一个是独立实体,另一个关联至原生范围内的某个固定数值——所以即便两者行为一致也无法互相转换或比较。 最后强调一点关于Java平台上的区别对待:虽然同样支持`lambda`语法糖衣包裹下的简化版匿名内部类构建过程[^3][^4] ,但因应宿主语言特性的缘故,在那里讨论的主题更多集中在其接口适配能力而非细粒度控制层面的东西。 ### 结论 综上所述,`lambda`表达式所涉及的各种元素均遵循严格的规定以保障程序健壮性的同时也赋予开发者极大的灵活性去完成复杂任务需求。
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值