如果非final字段的值可能更改，如何在匿名類類中使用它？

Question

我之前問過這個問題，但我沒有得到一個合適的答案。

非最終字段如何在匿名類類中使用，如果它們的值可以更改？

class Foo{ 
    private int i; 
    void bar(){ 
     i = 10 
     Runnable runnable = new Runnable(){ 
      public void run(){ 
       System.out.println(i); //works fine 
      }//end method run 
     }//end Runnable 
    }//end method bar 
}//end class Foo 

如果這是一個匿名類內部使用的局部變量必須final使編譯器內聯匿名類代碼一樣，裏面它們的值：

前：

public class Access1 { 
    public void f() { 
    final int i = 3; 
    Runnable runnable = new Runnable() { 
     public void run() { 
      System.out.println(i); 
     }//end method run 
    };//end anonymous class 
    }//end method f 
}//end class Access1 

後：

public class Access1 { 
    public Access1() {}//end constructor 

    public void f() { 
     Access1$1 access1$1 = new Access1$1(this); 
    }//end method f 
}//end class Access1 

而且

class Access1$1 implements Runnable { 
    Access1$1(Access1 access1) { 
     this$0 = access1; 
    }//end constructor 

    public void run() { 
     System.out.println(3); 
    }//end method run 
    private final Access1 this$0; 
}//end class Access1$1 

然後如何編譯內嵌非最終字段的值？

Answer 1

方法調用的局部變量（必須是內部類可訪問的final）與實例的私有數據成員之間存在很大差異。

內部類可以訪問包含的實例，也可以訪問該實例的所有成員final。他們沒有必要是最終的，因爲他們被引用（在你的情況下）Foo.this。因此，當訪問您的i會員時，內部類正在訪問Foo.this.i，只是如果沒有它的話，引用是明確的，那麼Foo.this（如this）可以隱含。

但匿名類的代碼不能以這種方式訪問​​局部變量，因爲它們當然不是包含類的實例成員。相反，編譯器做了一件非常有趣的事情：它爲每個final局部變量創建一個匿名類的實例成員，並且在創建匿名類的實例時，它使用局部變量的值初始化這些成員。

讓我們看它做的：

public class InnerEx { 
    public static final void main(String[] args) { 
     new InnerEx().test("hi"); 
    } 

    private void test(String arg) { 
     final String localVar = arg; 

     Runnable r = new Runnable() { 
      public void run() { 
       System.out.println(localVar); 
      } 
     }; 
     r.run(); 
    } 
} 

在編譯時，我們得到InnerEx.class和InnerEx$1.class。如果我們反編譯InnerEx$1.class，我們看到：

class InnerEx$1 implements java.lang.Runnable { 
    final java.lang.String val$localVar; 

    final InnerEx this$0; 

    InnerEx$1(InnerEx, java.lang.String); 
    Code: 
     0: aload_0  
     1: aload_1  
     2: putfield  #1     // Field this$0:LInnerEx; 
     5: aload_0  
     6: aload_2  
     7: putfield  #2     // Field val$localVar:Ljava/lang/String; 
     10: aload_0  
     11: invokespecial #3     // Method java/lang/Object."<init>":()V 
     14: return   

    public void run(); 
    Code: 
     0: getstatic  #4     // Field java/lang/System.out:Ljava/io/PrintStream; 
     3: aload_0  
     4: getfield  #2     // Field val$localVar:Ljava/lang/String; 
     7: invokevirtual #5     // Method java/io/PrintStream.println:(Ljava/lang/String;)V 
     10: return   
} 

注意的實例成員稱爲val$localVar，這是創建以代替在調用InnerEx#test局部變量的實例成員。