为何匿名内部类参数必须为final类型

1)  从程序设计语言的理论上:局部内部类(即:定义在方法中的内部类),因为自己就是在方法内部(可出如今形式参数定义处或者方法体处),于是访问方法中的局部变量(形式参数或局部变量)是天经地义的.是很天然的

2)  为何JAVA中要加上一条限制:只能访问final型的局部变量?

3)  JAVA语言的编译程序的设计者固然全实现:局部内部类能访问方法中的全部的局部变量(由于:从理论上这是很天然的要求),可是:编译技术是没法实现的或代价极高.

4)  困难在何处?到底难在哪儿?
     局部变量的生命周期与局部内部类的对象的生命周期的不一致性!

5)  设方法f被调用,从而在它的调用栈中生成了变量i,此时产生了一个局部内部类对象inner_object,它访问了该局部变量i .当方法f()运行结束后,局部变量i就已死亡了,不存在了.但:局部内部类对象inner_object还可能   一直存在(只能没有人再引用该对象时,它才会死亡),它不会随着方法f()运行结束死亡.这时:出现了一个"荒唐"结果:局部内部类对象 inner_object要访问一个已不存在的局部变量i!

6)  如何才能实现?当变量是final时,经过将final局部变量"复制"一份,复制品直接做为局部内部中的数据成员.这样:当局部内部类访问局部变量 时,其实真正访问的是这个局部变量的"复制品"(即:这个复制品就表明了那个局部变量).所以:当运行栈中的真正的局部变量死亡时,局部内部类对象仍能够 访问局部变量(其实访问的是"复制品"),给人的感受:好像是局部变量的"生命期"延长了.

那么:核心的问题是:怎么才能使得:访问"复制品"与访问真正的原始的局部变量,其语义效果是同样的呢?
当变量是final时,如果基本数据类型,因为其值不变,于是:其复制品与原始的量是同样.语义效果相同.(若:不是final,就没法保证:复制品与原始变量保持一致了,由于:在方法中改的是原始变量,而局部内部类中改的是复制品)

当 变量是final时,如果引用类型,因为其引用值不变(即:永远指向同一个对象),于是:其复制品与原始的引用变量同样,永远指向同一个对象(因为是 final,从而保证:只能指向这个对象,再不能指向其它对象),达到:局部内部类中访问的复制品与方法代码中访问的原始对象,永远都是同一个即:语义效 果是同样的.不然:当方法中改原始变量,而局部内部类中改复制品时,就没法保证:复制品与原始变量保持一致了(所以:它们本来就应该是同一个变量.)

一句话:这个规定是一种迫不得已.也说明:程序设计语言的设计是受到实现技术的限制的.这就是一例. 由于:我就看到很多人都持这种观点:设计与想法是最重要的,实现的技术是可有可无的,只要你做出设计与规定,都能实现.

如今咱们来看,若是我要实现一个在一个方法中匿名调用ABSClass的例子：
 public static void test(final String s){
     //或final String s = "axman";
  ABSClass c = new ABSClass(){
   public void m(){
      int x = s.hashCode();

 

      System.out.println(x);

   }
  };
  //其它代码.
 }

 

 从代码上看，在一个方法内部定义的内部类的方 法访问外部方法内局部变量或方法参数，是很是天然的事，但内部类编译的时候如何获取这个变量，由于内部类除了它的生命周期是在方法内部，其它的方面它就是 一个普通类。那么它外面的那个局部变量或方法参数怎么被内部类访问？编译器在实现时其实是这样的：

  public static void test(final String s){
     //或final String s = "axman";

  class OuterClass$1 extends ABSClass{ 

   private final String s;
   public OuterClass$1(String s){
      this.s = s;   
   }
   public void m(){
      int x = s.hashCode();

      System.out.println(x);

   }
  };

  ABSClass c = new OuterClass$1(s);
  //其它代码.
 }

即外部类的变量被做为构造方法的参数传给了内部类的私有成员.
假如没有final,那么:
 public static void test(String s){
     //或String s = "axman";
  ABSClass c = new ABSClass(){
   public void m(){
     s = "other";
   }
  };
  System.out.println(s);
 }
 就会编译成:
  public static void test(String s){
     //或String s = "axman";

  class OuterClass$1 extends ABSClass{

 

   private String s;
   public OuterClass$1(String s){
      this.s = s;   
   }
   public void m(){
     s = "other";

   }
  };

   ABSClass c = new OuterClass$1 (s);

  }

 

 内部类的s从新指向"other"并不影响test的参数或外部定义的那个s.同理若是外部的s从新赋值内部类的s也不会跟着改变。
 而你看到的
  public static void test(String s){
     //或String s = "axman";
  ABSClass c = new ABSClass(){
   public void m(){
     s = "other";
   }
  };
  System.out.println(s);
 }

 

 在语法上是一个s,在内部类中被改变了,但结果打印的出来的你认为是同一的s却仍是原来的"axman",
 你能接收这样的结果吗?
 因此final从语法上约束了实际上两个不一样变量的一致性(表现为同一变量).

 

 

 

另外：java内部类能够访问外部类的private 变量，外部类也能够访问内部类的private