Java基礎-內部類-為什么局部和匿名內部類只能訪問局部final變量

 

先看下面這段代碼：

public class Test {
    public static void main(String[] args)  {
         
    }
     
    public void test(final int b) {
        final int a = 10;
        new Thread(){
            public void run() {
                System.out.println(a);
                System.out.println(b);
            };
        }.start();
    }
}

　　這段代碼會被編譯成兩個class文件：Test.class和Test1.class。默認情況下，編譯器會為匿名內部類和局部內部類起名為Outterx.class（x為正整數）。

　　根據上圖可知，test方法中的匿名內部類的名字被起為 Test$1。

　  上段代碼中，如果把變量a和b前面的任一個final去掉，這段代碼都編譯不過。我們先考慮這樣一個問題：

　　當test方法執行完畢之后，變量a的生命周期就結束了，而此時Thread對象的生命周期很可能還沒有結束，那么在Thread的run方法中繼續訪問變量a就變成不可能了，但是又要實現這樣的效果，怎么辦呢？Java采用了 復制  的手段來解決這個問題。將這段代碼的字節碼反編譯可以得到下面的內容：

我們看到在run方法中有一條指令：

bipush 10

　　這條指令表示將操作數10壓棧，表示使用的是一個本地局部變量。這個過程是在編譯期間由編譯器默認進行，如果這個變量的值在編譯期間可以確定，則編譯器默認會在匿名內部類（局部內部類）的常量池中添加一個內容相等的字面量或直接將相應的字節碼嵌入到執行字節碼中。這樣一來，匿名內部類使用的變量是另一個局部變量，只不過值和方法中局部變量的值相等，因此和方法中的局部變量完全獨立開。

　　

　　下面再看一個例子：

public class Test {
    public static void main(String[] args)  {
         
    }
     
    public void test(final int a) {
        new Thread(){
            public void run() {
                System.out.println(a);
            };
        }.start();
    }
}

　　反編譯得到：

 

　我們看到匿名內部類Test$1的構造器含有兩個參數，一個是指向外部類對象的引用，一個是int型變量，很顯然，這里是將變量test方法中的形參a以參數的形式傳進來對匿名內部類中的拷貝（變量a的拷貝）進行賦值初始化。

　　也就說如果局部變量的值在編譯期間就可以確定，則直接在匿名內部里面創建一個拷貝。如果局部變量的值無法在編譯期間確定，則通過構造器傳參的方式來對拷貝進行初始化賦值。

　　從上面可以看出，在run方法中訪問的變量a根本就不是test方法中的局部變量a。這樣一來就解決了前面所說的 生命周期不一致的問題。但是新的問題又來了，既然在run方法中訪問的變量a和test方法中的變量a不是同一個變量，當在run方法中改變變量a的值的話，會出現什么情況？

　　對，會造成數據不一致性，這樣就達不到原本的意圖和要求。為了解決這個問題，java編譯器就限定必須將變量a限制為final變量，不允許對變量a進行更改（對於引用類型的變量，是不允許指向新的對象），這樣數據不一致性的問題就得以解決了。

　　到這里，想必大家應該清楚為何 方法中的局部變量和形參都必須用final進行限定了。