为什么Java匿名内部类访问的外部局部变量或参数需要被final修饰
分析
1、内部类(不论是否是匿名内部类)可访问外部类的变量(包括外部类的类变量、实例变量、外部类方法的局部变量等)、方法:可修改变量值、调用方法等。内部类定义时的位置有两种:
在外部类的方法内:此时该内部类只能是匿名内部类(语法上不支持在方法内定义非匿名类)。此时内部类可访问上述所有变量。
不在外部类的方法内:此时该内部类可以是匿名内部类也可以不是匿名内部类。此时内部类无法访问外部类各方法的局部变量。
2、若在外部类的方法内定义类(只能是匿名内部类),则该内部类的实例的生命周期有可能超过局部变量的生命周期(此场景即所谓的闭包,在javascript等很多语言中都有)。典型的是回调函数的场景,示例:
private Animator createAnimatorView(final View view, final int position) {
MyAnimator animator = new MyAnimator();
animator.addListener(new AnimatorListener() {
@Override
public void onAnimationEnd(Animator arg0) {
Log.d(TAG, "position=" + position);
}
});
return animator;
}//onAnimationEnd事件可能在createAnimatorView方法结束后很久才触发,触发时用到了方法中的局部变量position
方法执行完后局部变量销毁了,但内部类可能仍要访问该局部变量,这时就会出错,怎么办?
Java解决方法是将局部变量复制一份到内部类,这样方法执行完后匿名内部类里仍可使用该变量。但这种实现方式还需要确保在程序员看来他们是同一个,即值始终一样,怎么做到?
法1:同步。当匿名内部类内对复制值做修改时同步回局部变量、在方法内的匿名内部类之后修改局部变量时复制值也跟着改,这种实现上困难且麻烦。
法2:不用同步,直接将局部变量声明为final的以使其不可变。Java就是用此法。
结论
1、要求用final的场景:只有 被方法内的匿名内部类访问的方法内的局部变量(方法参数、方法内的变量)才需要加final。非匿名内部类、方法外的匿名内部类访问变量时没有该要求。
局部变量不一定须加final,只有 是局部变量、被匿名内部类访问到 的变量才必须加final
匿名内部类访问到的变量不一定须加final,只有访问的变量是局部变量才必须加final
2、要求用final的原因:匿名内部类在方法内时,匿名内部类对象生命周期可能超过方法内的局部变量的生命周期;为了延续生命周期Java复制了局部变量到匿名内部类,之后需要保证复制值与原始值始终一致;保证一致的方式是将局部变量声明为final使其不可变。
其他
Java 8开始,如果局部变量声明并初始化后没有被修改过,则此时该变量也会被当成是final的(称为effictively final),故此时也可被匿名内部类(或Lambda表达式)访问。
Informally, a local variable is effectively final if its initial value is never changed -- in other words, declaring it
final
would not cause a compilation failure.
示例:
//正确
Callable<String> helloCallable(String name) {
String hello = "Hello";
return () -> (hello + ", " + name);
} //错误
int sum = 0;
list.forEach(e -> { sum += e.size(); }); // ERROR
以下为旧摘
=================
大部分时候,类被定义成一个独立的程序单元。在某些情况下,也会把一个类放在另一个类的内部定义,这个定义在其他类内部的类就被称为内部类,包含内部类的类也被称为外部类。

class Outer
{
private int a;
public class Inner
{
private int a;
public void method(int a)
{
a++; //局部变量
this.a++; //Inner类成员变量
Outer.this.a++; //Outer类成员变量
}
}
}

一般做法是在Outer中写一个返回Inner类对象的方法
public Inner getInner()
{
return new Inner();
}
在其他类中使用内部类:
Outer outer = new Outer();
Outer.Inner inner = outer.getInner();
//或者Outer.Inner inner = outer.new Inner();
static内部类的使用:
Outer.Inner inner = new Outer.Inner();
匿名内部类不能访问外部类方法中的局部变量(包括方法参数、方法内的变量),除非变量被声明为final类型
1. 这里所说的“匿名内部类”主要是指在其外部类的成员方法内定义,同时完成实例化的类,若其访问该成员方法中的局部变量,局部变量必须要被final修饰。
2. 原因是编译程序实现上的困难:内部类对象的生命周期会超过局部变量的生命周期。局部变量的生命周期:当该方法被调用时,该方法中的局部变量在栈中被创建,当方法调用结束时,退栈,这些局部变量全部死亡。而内部类对象生命周期与其它类一样:自创建一个匿名内部类对象,系统为该对象分配内存,直到没有引用变量指向分配给该对象的内存,它才会死亡(被JVM垃圾回收)。所以完全可能出现的一种情况是:成员方法已调用结束,局部变量已死亡,但匿名内部类的对象仍然活着。
3. 如果匿名内部类的对象访问了同一个方法中的局部变量,就要求只要匿名内部类对象还活着,那么栈中的那些它要所访问的局部变量就不能“死亡”。
4. 解决方法:匿名内部类对象可以访问同一个方法中被定义为final类型的局部变量。定义为final后,编译程序的实现方法:对于匿名内部类对象要访问的所有final类型局部变量,都拷贝成为该对象中的一个数据成员。这样,即使栈中局部变量已死亡,但被定义为final类型的局部变量的值永远不变,因而匿名内部类对象在局部变量死亡后,照样可以访问final类型的局部变量,因为它自己拷贝了一份,且与原局部变量的值始终一致。
最后,Java 8更加智能:如果局部变量被方法内的匿名内部类访问,那么该局部变量相当于自动使用了final修饰。此外,Java 8的λ表达式也与此类似只能访问final外部变量但不要求用final修饰,不过,变量同样不能被重新赋值。
参考资料:
https://www.cnblogs.com/bootdo/p/10844032.html
http://www.cnblogs.com/eniac12/p/5240100.html
https://mp.weixin.qq.com/s/-2dGPhjbY7TKtR3Un31Kig(Java λ表达式)
为什么Java匿名内部类访问的外部局部变量或参数需要被final修饰的更多相关文章
- 内部类访问局部变量为什么必须要用final修饰
内部类访问局部变量为什么必须要用final修饰 看了大概五六篇博客, 讲的内容都差不多, 讲的内容也都很对, 但我觉得有些跑题了 略叙一下 String s = "hello"; ...
- [多问几个为什么]为什么匿名内部类中引用的局部变量和参数需要final而成员字段不用?(转)
昨天有一个比较爱思考的同事和我提起一个问题:为什么匿名内部类使用的局部变量和参数需要final修饰,而外部类的成员变量则不用?对这个问题我一直作为默认的语法了,木有仔细想过为什么(在分析完后有点印象在 ...
- Java匿名内部类访问外部
匿名内部类访问外部局部变量必须是final修饰的,Java 1.8 会默认为其加上final 例子如下: public void send(String topicName, T obj) { Str ...
- JAVA匿名内部类(Anonymous Classes)
1.前言 匿名内部类在我们JAVA程序员的日常工作中经常要用到,但是很多时候也只是照本宣科地用,虽然也在用,但往往忽略了以下几点:为什么能这么用?匿名内部类的语法是怎样的?有哪些限制?因此,最近,我在 ...
- Java 非访问修饰符
除了访问性修饰符,我们还有非访问性修饰符.这里主要说明static与final修饰符,其他修饰符以后用到再说. 一.static修饰符 static修饰符是用来修饰方法与变量. 1.创建StaticT ...
- 为什么匿名内部类参数必须为final类型(转载)
为什么匿名内部类参数必须为final类型转自于:http://feiyeguohai.iteye.com/blog/1500108 1) 从程序设计语言的理论上:局部内部类(即:定义在方法中的内部类 ...
- 0025 Java学习笔记-面向对象-final修饰符、不可变类
final关键字可以用于何处 修饰类:该类不可被继承 修饰变量:该变量一经初始化就不能被重新赋值,即使该值跟初始化的值相同或者指向同一个对象,也不可以 类变量: 实例变量: 形参: 注意可以修饰形参 ...
- Java中final修饰符深入研究
一.开篇 本博客来自:http://www.cnblogs.com/yuananyun/ final修饰符是Java中比较简单常用的修饰符,同时也是一个被"误解"较多的修饰符.对很 ...
- Java final修饰符
final的定义: 在英文层面上,final的意思是"最后的","最终的"意思,在Java中也同样表示出此种含义. final的运用对象: final适用于修饰 ...
随机推荐
- haproxy文章
http://ximenfeibing.blog.51cto.com/8809812/1663387
- JDK1.6新特性,基础类库篇,Jar与Zip增强
1. API改变 增加了两个实现类 java.util.zip.DeflaterInputStream: 此类为解压缩 "deflate" 压缩格式的数据实现流过滤器.它还用作其他 ...
- .net4.5使用async和await异步编程实例
关于异步编程的简单理解: 在.NET4.5中新增了异步编程的新特性async和await,使得异步编程更为简单.通过特性可以将这项复杂的工作交给编译器来完成了.之前传统的方式来实现异步编程较为复杂,这 ...
- 【Unity】12.2 导航网格寻路简单示例
开发环境:Win10.Unity5.3.4.C#.VS2015 创建日期:2016-05-09 一.简介 本节通过一个简单例子,演示如何利用静态对象实现导航网格,并让某个动态物体利用导航网格自动寻路, ...
- Linux设备驱动开发详解
Linux设备驱动开发详解 http://download.csdn.net/detail/wuyouzi067/9581380
- python类里面使用装饰器
参考:http://m.blog.csdn.net/blog/wklken/8118942 def on(name, *args_of_on, **kwargs_of_on): def handle_ ...
- sql2005分页储存过程和C#分页类
1.sql2005分页储存过程 --sql2005,qq524365501 create Procedure up_page2005 ), -- 表名称 ), -- 列 ), -- 主键,用于统计总数 ...
- MyBatis SqlSessionFactory的几种常见创建方式
原文链接:https://blog.csdn.net/jimolangge123/article/details/49228255 MyBatis框架主要是围绕着SqlSessionFactory这个 ...
- LeetCode: 【L4】N-Queens 解题报告
[L4]N-Queens 解题报告 N-Queens Total Accepted: 16418 Total Submissions: 63309 My Submissions The n-queen ...
- OpenCV探索之路(十七):Mat和IplImage访问像素的方法总结
在opencv的编程中,遍历访问图像元素是经常遇到的操作,掌握其方法非常重要,无论是Mat类的像素访问,还是IplImage结构体的访问的方法,都必须扎实掌握,毕竟,图像处理本质上就是对像素的各种操作 ...