【0】README

0.1） 本文描述+源代碼均 轉自 core java volume 1， 旨在理解 java泛型程序設計 的 約束與局限性 的知識；

---

【1】 不能用基本類型實例化類型參數

1.1）不能用類型參數代替基本類型， 因此，沒有 Pair 只有 Pair；
1.2）其原因是：類型擦除， 擦除之后， Pair類含有 Object類型的域， 而Object 不能存儲double 值；

---

【2】運行時類型查詢只適用于原始類型

2.1）虛擬機中的對象總有一個特定的非泛型類型。因此，所有的類型查詢只產生原始類型。

• 2.1.1）如， if( a instanceof Pair) // ERROR ， 而 if( a instanceof Pair) // ERROR，
• 2.1.2）或強制類型轉換：

Pair<String> p = (Pair<String> ) a； // warning -- can only test that a is a Pair

• Attention）要注意這個風險， 無論何時使用instanceof 或涉及泛型類型的強制類型轉換表達式都會看到一個編譯器警告；
• 2.1.3）同樣的道理， getClass 方法總是返回原始類型， 如 （所以， 推薦用下面的方法來比較兩個對象是否是同一個類下的實例）

Pair<String> strPair = ...; Pair<Employee> employeePair = ...; if(strPair.getClass == employeePair.getClass() ) // they are equal == true

• 它們比較的結果是 true， 這是因為兩次調用 getClass 都將返回Pair.class

---

【3】不能創建參數化類型的數組

3.1）不能實例化參數化類型的數組， 如：

Pair<String>[] table = new Pair<String>[10]; //ERROR

• 3.1.1）這有什么問題呢？ 擦除之后， table 的類型是 Pair[]， 把它轉換為 Object[]： Object[] objarry =table;
• 3.1.2）數組會記住他的原始類型： 如果存儲其他類型的元素， 就會拋出一個 ArrayStoreException 異常；

objarray[0] = "hello"; // ERROR- component type is Pair not str;

• 3.1.3）不過對于泛型類型， 擦除會使得這種機制無效。 看以下賦值：

objarray[0] = new Pair<Employee>(); 能夠通過數字存儲檢查， 不過仍然會導致一個類型錯誤。

Conclusion）

• C1） 綜上， 出于以上原因， 不允許創建參數化類型的數組；

• C2）需要說明的是， 只是不允許創建這些數組， 而聲明類型為 Pair[] 的變量是合法的， 不過不能用 new Pair[10] 初始化這個變量而已；
  Annotation）

• A1）可以聲明通配類型的數組， 然后進行類型轉換：

Pair<String>[] table = (Pair<String>[])new Pair<?>[10]；

• A2）結果將是不安全的。 如果在 table[0] 中存儲一個 Pair《Employee》， 然后 對 table[0].getFirst() 調用一個 String 方法， 會得到一個 ClassCastException 異常；

Hint） 如果需要收集 參數化類型對象，只有一種安全有效的方法：

使用 ArrayList：ArrayList<Pair<String>>；

總結

以上是生活随笔為你收集整理的java泛型程序设计——约束与局限性的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。