Java的局部內部類以及final類型的參數和變量
本文是Thinking In Java中其中一段的閱讀總結。如果定義一個匿名內部類,並且希望它使用一個在其外部定的對象,那麼編譯器會要求其參數引用是final 的。經研究,Java虛擬機的實現方式是,編譯器會探測局部內部類中是否有直接使用外部定義變量的情況,如果有訪問就會定義一個同類型的變量,然後在構造方法中用外部變量給自己定義的變量賦值。
AD:
Thinking In Java裏面的說法(唯一正確的說法): 如果定義一個匿名內部類,並且希望它使用一個在其外部定的對象,那麼編譯器會要求其參數引用是final 的。
- public class Tester {
- public static void main(String[] args) {
- A a = new A();
- C c = new C();
- c.shoutc(a.shout(5));
- }
- }
- ////////////////////////////////////////////////////////
- class A {
- public void shouta() {
- System.out.println("Hello A");
- }
- public A shout(final int arg) {
- class B extends A {
- public void shouta() {
- System.out.println("Hello B" + arg);
- }
- }
- return new B();
- }
- }
- ////////////////////////////////////////////////////////
- class C {
- void shoutc(A a) {
- a.shouta();
- }
- }
第5行c.shoutc(a.shout(5)),在a.shout(5)得到返回值後,a的shout()方法棧被清空了,即arg不存在了,而c.shoutc()卻又調用了a.shouta()去執行System.out.println("Hello B" + arg)。
再來看Java虛擬機是怎麼實現這個詭異的訪問的:有人認爲這種訪問之所以能完成,是因爲arg是final的,由於變量的生命週期,事實是這樣的嗎?方法棧都不存在了,變量即使存在,怎麼可能還被訪問到?試想下:一個方法能訪問另一個方法的定義的final局部變量嗎(不通過返回值)?
研究一下這個詭異的訪問執行的原理,用反射探測一下局部內部類 。編譯器會探測局部內部類中是否有直接使用外部定義變量的情況,如果有訪問就會定義一個同類型的變量,然後在構造方法中用外部變量給自己定義的變量賦值,而後局部內部類所使用的變量都是自己定義的變量,所以就可以訪問了。見下:
- class A$1$B
- {
- A$1$B(A, int);
- private final int var$arg;
- private final A this$0;
- }
A$1$B類型的對象會使用自定義的var$arg變量,而不是shout()方法中的final int arg變量,當然就可以訪問了。
那麼爲什麼外部變量要是final的呢?即使外部變量不是final,編譯器也可以如此處理:自己定義一個同類型的變量,然後在構造方法中賦值就行了。原因就是爲了讓我們能夠挺合邏輯的直接使用外部變量,而且看起來是在始終使用 外部的arg變量(而不是賦值以後的自己的字段)。
考慮出現這種情況:在局部內部類中使用外部變量arg,如果編譯器允許arg不是final的,那麼就可以對這個變量作變值操作(例如arg++),根據前面的分析,變值操作改變的是var$arg,而外部的變量arg並沒有變,仍然是5(var$arg纔是6)。因此爲了避免這樣如此不合邏輯的事情發生:你用了外部變量,又改變了變量的值,但那個變量卻沒有變化,自然的arg就被強行規定必須是final所修飾的,以確保讓兩個值永遠一樣,或所指向的對象永遠一樣(後者可能更重要)。
還有一點需要注意的是內部類與方法不是同時執行的,比如實現ActionListener,只有當事件發生的時候纔會執行,而這時方法已經結束了。