【0】README

0.1） 本文描述+源代碼均 轉(zhuǎn)自 core java volume 1， 旨在理解 java泛型程序設(shè)計 的 泛型類型的繼承原則 的知識；

---

【1】泛型類型的繼承原則相關(guān)

1.1）考慮一個類 Employee 和一個Employee子類 Manger ， 問： Pair 是 Pair 的一個子類嗎？答案是： “不是的”；
1.2）看個荔枝：（下面的代碼將不能編譯）

Manager[] m1 = ...; Pair<Employee> results = ArrayAlg.minmax(m1); // ERROR minmax 方法返回 Pair<Manager> ，而不是 Pair<Employee> ,并且這樣的賦值是不合法的；

Annotation）

• A1）可以將一個 Manger[] 數(shù)組賦給一個 Employee[] 的 數(shù)組；

Manager[] m1 = {ceo , cfo}; Employee[] e1 = m1; //OK

• 然而， 數(shù)組帶有特別的保護， 如果試圖將一個 低級別的雇員存儲到 e1[0], 那么虛擬機會 拋出 ArrayStoreException 異常；
• A2）永遠可以將參數(shù)化類型轉(zhuǎn)換為一個原始類型： 如， Pair《Employee》 是原始類型 Pair 的一個子類型；

Pair< Manger> m1 = new Pair<>(ceo, cfo); Pair m2 = m1; //OK r2.setFirst(new File("...")) // only a compile-time warning

• 當使用 getFirst 獲得外來對象并賦給 Manager變量時， 與通常一樣， 會拋出 ClassCastExcetpion 異常。
• A3）最后泛型類可以擴展或 實現(xiàn) 其他的泛型類： 如， ArrayList《T》 類實現(xiàn) List《T》 接口。 這意味著， 一個 ArrayList《Manager》 可以被轉(zhuǎn)換為一個 List《Manager》。 但是， 如前面所見， 一個 ArrayList《Manager》 不是一個 ArrayList《Employee》或 List《Employee》；
• 下圖展示了它們的聯(lián)系：
  

總結(jié)

以上是生活随笔為你收集整理的java泛型程序设计——泛型类型的继承原则的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。