为什么局部内部类和匿名内部类只能访问 final 的局部变量?

最近在看内部类的时候,有一个疑惑: 局部内部类和匿名内部类只能访问 final 的局部变量,看了几篇博客,明白了很多。

首先,我们看一个局部内部类的例子:

实例


class OutClass {
        private int age = 12;
 
        public void outPrint(final int x) {
                class InClass {
                        public void InPrint() {
                                System.out.println(x);
                                System.out.println(age);
                        }
                }
                new InClass().InPrint();
        }
}

这里有一个外部类 OuterClass 和一个内部类 InClass,内部类访问了外部类的一个方法中的一个局部变量 x,在这里,x 必须是 final 的,否则会报错:

Cannot refer to a non-final variable x inside an inner class defined in a different method

下面来分析下这个问题:

追究其根本原因就是作用域中变量的生命周期导致的;

首先需要知道的一点是: 内部类和外部类是处于同一个级别的,内部类不会因为定义在方法中就会随着方法的执行完毕就被销毁。

这里就会产生问题:当外部类的方法结束时,局部变量就会被销毁了,但是内部类对象可能还存在(只有没有人再引用它时,才会死亡)。这里就出现了一个矛盾:内部类对象访问了一个不存在的变量。为了解决这个问题,就将局部变量复制了一份作为内部类的成员变量,这样当局部变量死亡后,内部类仍可以访问它,实际访问的是局部变量的"copy"。这样就好像延长了局部变量的生命周期。我们可以通过反编译生成的 .class 文件来实验:

在命令行窗口中先执行命令 javac OutClass.java 进行编译,会得到两个文件: OutClass$1InClass.class、OutClass.class:

20211122232721986111600

javap 是 Java class 文件分解器,可以反编译,也可以查看java编译器生成的字节码。

这里我们可以再执行命令 javap -privateOutClass$1InClass 进行反编译, -private 表示显示所有类和成员,执行后会得到如下结果:

20211122232722244495901

可见方法中的局部变量实际上确实会复制为内部类的成员变量使用。

问题又出现了:将局部变量复制为内部类的成员变量时,必须保证这两个变量是一样的,也就是如果我们在内部类中修改了成员变量,方法中的局部变量也得跟着改变,怎么解决问题呢?

就将局部变量设置为final,对它初始化后,我就不让你再去修改这个变量,就保证了内部类的成员变量和方法的局部变量的一致性。这实际上也是一种妥协。

若变量是final时:

  • 若是基本类型,其值是不能改变的,就保证了copy与原始的局部变量的值是一样的;

  • 若是引用类型,其引用是不能改变的,保证了copy与原始的变量引用的是同一个对象。

这就使得局部变量与内部类内建立的拷贝保持一致。

原文链接:https://blog.csdn.net/sf_climber/article/details/78326984
计算机