java中,方法中定义的类为什么不能访问方法中的局部变量解析.

3300阅读 0评论2016-07-11 xiaqian369
分类:Java

转载地址:
http://blog.csdn.net/zzp_403184692/article/details/8014235

  今天编写一个多线程程序,发现在方法内定义内部类时,如果内部类调用了方法中的变量,那么该变量必须申明为final类型,百思不得其解,后来想到应该是生命周期的原因,因为方法内定义的变量是局部变量,离开该方法,变量就失去了作用,也就会自动被消除,而内部类却不会离开它所在方法就失去作用,它有更广的生命周期,下面通过一个实例加以说明:

image


    如例中所示,在外部类Outer中声明了一个内部类TimerPrint,这个类中的方法引用了方法start中的一个局部变量testTxt

    逻辑上:因为该内部类出现在一个方法的内部,但实际编译时,内部类编译为Outer$1TimerPrint.class,这说明,外部类的这个方法和内部类是处于同一级别的。换句话说是非final变量和内部类的生命周期不一样!start被调用后,非final变量也会随之消失,就会出现内部类引用非法!

    实际做法:java编译器的行为是这样的(前提条件是该变量在内部类中被引用): 
    若定义为final,则java编译器则会在内部类TimerPrint内生成一个外部变量的拷贝,而且可以既可以保证内部类可以引用外部属性,又能保证值的唯一性。

       若不定义为final,则无法通过编译!(jdk1.6测试过)。因为编译器不会给非final变量进行拷贝,那么内部类引用的变量就是非法的!


下面看经过编译以后的字节码:

外部类编译后的字节码: 
image


内部类编译后的字节码: 
image



image


如果外部类中的变量d没有被内部类引用,则final为可选的,而且java编译器将不做特殊处理!!

加一个参数d 并且把它定义为非final类型,编译以后文件如下:

编译后的外部类class: 
image 

编译后的内部类class: 
image

由上可以看出,在方法内部定义内部类时,内部类如果调用了方法内的变量,则该变量必须被final修饰,否则就会因为在调用内部类时因为找不到所用的变量而报错!




另外, 我自己测试, 在JDK8.0编译的时候, 局部变量中并没有用final关键字修饰, 编译仍然没有报错.  但是一旦这个没有用final修饰的变量中途有过复制操作,则编译会报错:
    错误: 从内部类引用的本地变量必须是最终变量或实际上的最终变量
    
    具体原因如下: JDK 8 编译器更智能,它检测变量是否真地修改了,只要变量值未修改,加不加 final 没有关系,因此 JDK 8 是基本事情的结果做出判断,而JDK7及以前的编译器和 eclipse 都是基于“是否打算修改”而不管“是否真的修改了”。
   告诉大家真相,Java 对此部分并未修改,只是编译器更聪明。当这个变量确实没有修改时它知道加不加 final 都是正常的,当我们在代码中加上了 count = 9;  时编译器 JDK8 知道了这不是常量而是变量。因此可以说 JDK8编译更智能,它能预测你是否打算修改这个变量的值而不是根据你是否忘记了添加 final 修改符。

  所以, 在JDK7以前, 都必须加final关键字, JDK8不用加, 但是编译器也会更加智能的推测这个变量是不是final型的, 如果编译器判定这个不是final型的, 一样会报错.









上一篇:利用openssl来计算sha1, sha224, sha256, sha384, sha512
下一篇:三个实体型之间的多对多联系和两两之间的三个多对多联系有什么区别