Java對象引用處理機制__Java

翻譯人員: 鐵錨

翻譯時間: 2013年11月13日

原文連結: How does Java handle aliasing?

什麼是Java的引用別名機制 Java的引用別名機制(原文為Aliasing,別名,即Java中的多態)意味著多個引用變數可以定位到同一個實際物理對象,而這些引用變數可以是不同的類型.
下面的代碼中,S類繼承P類, pp 和 ss 分別是P類型 和 S類型的兩個陣列變數名.

public class TestPolyMorphism {    public static class P{    public void print(String message){        System.out.println("P-->"+message);    }    }    public static class S extends P{    public void print(String message){        System.out.println("S-->"+message);    }    }    public static void main(String[] args) {    S[] ss = new S[10];    P[] pp = ss;    ss[0] = new S();    pp[0].print("你好");    // !!執行階段錯誤,不能將父類對象,賦給子類數組;    //pp[1] = new P();//java.lang.ArrayStoreException    }}

在記憶體中,pp和ss都指向了同樣的記憶體位址.(我們可以說,指標pp,指標ss;或者說pp引用,ss引用.)

圖1 pp和ss指向了同一個物理地址,在實際運行過程中,多態特性根據真實的物件類型決定調用父類還是子類的具體方法,而不是根據引用變數的類型.

Java 如何處理引用別名機制
如果將下列代碼拷貝到eclipse中,將不會有什麼編譯期錯誤:

package think;public class TestPolyMorphism {    public static class P{    public void print(String message){        System.out.println("P-->"+message);    }    }    public static class S extends P{    public void print(String message){        System.out.println("S-->"+message);    }    public void paint(String message){        System.out.println("S-->執行一些繪畫操作-->"+message);    }    }    public static void main(String[] args) {    S[] arr = new S[10];    P[] pp = arr;    arr[0] = new S();    pp[0].print("你好");    pp[1] = new P(); // !!執行階段錯誤,不能將父類對象,賦給子類數組;java.lang.ArrayStoreException    }}

但在運行期將會顯示如下錯誤:

Exception in thread "main" java.lang.ArrayStoreException: think.TestPolyMorphism$P    at think.TestPolyMorphism.main(TestPolyMorphism.java:22)

原因是Java在運行時才處理別名引用,在程式運行過程中,虛擬機器發現 數組pp的第一個元素是 SS類型的對象,而不是PP類型的。
因此,只有修改為正確的代碼,才可以正常運行:

S[] arr = new S[10];P[] pp = arr;pp[1] = new S();pp[1].print("你好");

輸出沒有錯誤:

S-->你好

相關文章:
1. Linux Process Programming – fork()
2.  圖說Java —— 理解Java機制最受歡迎的8幅圖
3. Why do we need Generic Types in Java?
4. Overriding and overloading in Java with examples