分析

1、内部类(不论是否是匿名内部类)可访问外部类的变量(包括外部类的类变量、实例变量、外部类方法的局部变量等)、方法:可修改变量值、调用方法等。内部类定义时的位置有两种:

在外部类的方法内:此时该内部类只能是匿名内部类(语法上不支持在方法内定义非匿名类)。此时内部类可访问上述所有变量。

不在外部类的方法内:此时该内部类可以是匿名内部类也可以不是匿名内部类。此时内部类无法访问外部类各方法的局部变量。

2、若在外部类的方法内定义类(只能是匿名内部类),则该内部类的实例的生命周期有可能超过局部变量的生命周期(此场景即所谓的闭包,在javascript等很多语言中都有)。典型的是回调函数的场景,示例:

  1. private Animator createAnimatorView(final View view, final int position) {
  2. MyAnimator animator = new MyAnimator();
  3. animator.addListener(new AnimatorListener() {
  4. @Override
  5. public void onAnimationEnd(Animator arg0) {
  6. Log.d(TAG, "position=" + position);
  7. }
  8. });
  9. return animator;
  10. }//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.

示例:

  1. //正确
  2. Callable<String> helloCallable(String name) {
  3. String hello = "Hello";
  4. return () -> (hello + ", " + name);
  5. }
  6.  
  7. //错误
  8. int sum = 0;
  9. list.forEach(e -> { sum += e.size(); }); // ERROR

以下为旧摘

=================

  大部分时候,类被定义成一个独立的程序单元。在某些情况下,也会把一个类放在另一个类的内部定义,这个定义在其他类内部的类就被称为内部类,包含内部类的类也被称为外部类。

  1. class Outer
  2. {
  3. private int a;
  4. public class Inner
  5. {
  6. private int a;
  7. public void method(int a)
  8. {
  9. a++;      //局部变量
  10. this.a++;   //Inner类成员变量
  11. Outer.this.a++; //Outer类成员变量
  12. }
  13. }
  14. }

  一般做法是在Outer中写一个返回Inner类对象的方法

  1. public Inner getInner()
    {
  2. return new Inner();
  3. }

  在其他类中使用内部类:

  1. Outer outer = new Outer();
  2. Outer.Inner inner = outer.getInner();
  3. //或者Outer.Inner inner = outer.new Inner();

  static内部类的使用:

  1. 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修饰的更多相关文章

  1. 内部类访问局部变量为什么必须要用final修饰

    内部类访问局部变量为什么必须要用final修饰 看了大概五六篇博客, 讲的内容都差不多, 讲的内容也都很对, 但我觉得有些跑题了 略叙一下 String s = "hello"; ...

  2. [多问几个为什么]为什么匿名内部类中引用的局部变量和参数需要final而成员字段不用?(转)

    昨天有一个比较爱思考的同事和我提起一个问题:为什么匿名内部类使用的局部变量和参数需要final修饰,而外部类的成员变量则不用?对这个问题我一直作为默认的语法了,木有仔细想过为什么(在分析完后有点印象在 ...

  3. Java匿名内部类访问外部

    匿名内部类访问外部局部变量必须是final修饰的,Java 1.8 会默认为其加上final 例子如下: public void send(String topicName, T obj) { Str ...

  4. JAVA匿名内部类(Anonymous Classes)

    1.前言 匿名内部类在我们JAVA程序员的日常工作中经常要用到,但是很多时候也只是照本宣科地用,虽然也在用,但往往忽略了以下几点:为什么能这么用?匿名内部类的语法是怎样的?有哪些限制?因此,最近,我在 ...

  5. Java 非访问修饰符

    除了访问性修饰符,我们还有非访问性修饰符.这里主要说明static与final修饰符,其他修饰符以后用到再说. 一.static修饰符 static修饰符是用来修饰方法与变量. 1.创建StaticT ...

  6. 为什么匿名内部类参数必须为final类型(转载)

    为什么匿名内部类参数必须为final类型转自于:http://feiyeguohai.iteye.com/blog/1500108 1)  从程序设计语言的理论上:局部内部类(即:定义在方法中的内部类 ...

  7. 0025 Java学习笔记-面向对象-final修饰符、不可变类

    final关键字可以用于何处 修饰类:该类不可被继承 修饰变量:该变量一经初始化就不能被重新赋值,即使该值跟初始化的值相同或者指向同一个对象,也不可以 类变量: 实例变量: 形参: 注意可以修饰形参 ...

  8. Java中final修饰符深入研究

    一.开篇 本博客来自:http://www.cnblogs.com/yuananyun/ final修饰符是Java中比较简单常用的修饰符,同时也是一个被"误解"较多的修饰符.对很 ...

  9. Java final修饰符

    final的定义: 在英文层面上,final的意思是"最后的","最终的"意思,在Java中也同样表示出此种含义. final的运用对象: final适用于修饰 ...

随机推荐

  1. php7+apache2.4 (Windows7下)安装

    条件: ( 电脑必须win7 sp1, .netframework4 ) 一.下载php7和apache2.4 首先下载php7的windows压缩包,到这里下载http://windows.php. ...

  2. php分享十五:php的命令行操作

    一:像命令行传参数方法: 1: 使用$argc $argv 用法: /usr/local/php/bin/php ./getopt.php 123  456 2:使用getopt函数() http:/ ...

  3. 一些新东西学习 - Texture3D,Texture2DArray

    Texture3D Texture3D需要先在脚本中创建3D材质,然后赋予shader. 需要DX11支持,和材质采样一样,3D维度上可以被repleat和插值 参考文章:http://blog.cs ...

  4. ASP.NET MVC做的微信WEBAPP中调用微信JSSDK扫一扫

    今天做一个项目,是在微信上用的,微信WEB APP,里面用到了调用手机摄像头扫一扫二维码的功能,记得以前某个项目里写有的,但是找不到之前那个项目源码了,想复制粘贴也复制不了了,只好对着微信的那个开发文 ...

  5. 深入理解Linux内核-内核同步

    内核基本的同步机制: 抢占内核的主要特点:一个在内核态运行的进程,可能在执行内核函数期间被另外一个进程取代. 内核抢占:Linux 2.6允许用户在编译内核的时候配置十分启用 进程临界区:每个进程中访 ...

  6. 利用es-checker检测当前node对ES6的支持情况

    ode.js发展非常快,对es6特性的支持也越来越良心,但node.js版本很多,各版本对es6的支持度都不一样,为了能清晰的了解各版本对es6特性的支持,需要有一个工具能提供比较清晰的支持说明,甚至 ...

  7. matlab问题集总

    每次更新一点,慢慢增加 nargin nargin是用来判断输入变量个数的函数,这样就可以针对不同的情况执行不同的功能.通常可以用他来设定一些默认值,如下面的函数. 例子,函数test1的功能是输出a ...

  8. SpringBoot热部署配置(基于Maven)

    热部署的意思是只要类中的代码被修改了,就能实时生效,而不用重启项目.spring-boot-devtools 是一个为开发者服务的一个模块,其中最重要的功能就是自动应用代码更改到最新的App上面去.原 ...

  9. CSS实现:标题两侧画线效果

    如图: html代码: <div class="detail-news"> <h5 class="detail-news-title"> ...

  10. 安装Python2.7出现configure: error: no acceptable C compiler found in $PATH错误

    安装Python2.7出现configure: error: no acceptable C compiler found in $PATH错误 安装步骤: 安装依赖 yum groupinstall ...