文章目錄

• 簡介
• 泛型和協變
• 泛型在使用中會遇到的問題
• 類型擦除要注意的事項
• 總結

簡介

泛型是JDK 5引入的概念，泛型的引入主要是為了保證java中類型的安全性，有點像C++中的模板。

但是Java為了保證向下兼容性，它的泛型全部都是在編譯期間實現的。編譯器執行類型檢查和類型推斷，然后生成普通的非泛型的字節碼。這種就叫做類型擦除。編譯器在編譯的過程中執行類型檢查來保證類型安全，但是在隨后的字節碼生成之前將其擦除。

這樣就會帶來讓人困惑的結果。本文將會詳細講解泛型在java中的使用，以避免進入誤區。

泛型和協變

有關協變和逆變的詳細說明可以參考:

深入理解協變和逆變

這里我再總結一下，協變和逆變只有在類型聲明中的類型參數里才有意義，對參數化的方法沒有意義，因為該標記影響的是子類繼承行為，而方法沒有子類。

當然java中沒有顯示的表示參數類型是協變還是逆變。

協變意思是如果有兩個類 A<T> 和 A<C>, 其中C是T的子類，那么我們可以用A<C>來替代A<T>。

逆變就是相反的關系。

Java中數組就是協變的，比如Integer是Number的子類，那么Integer[]也是 Number[]的子類，我們可以在需要 Number[] 的時候傳入 Integer[]。

接下來我們考慮泛型的情況，List<Number> 是不是 List<Integer>的父類呢？很遺憾，并不是。

我們得出這樣一個結論：泛型不是協變的。

為什么呢？我們舉個例子：

List<Integer> integerList = new ArrayList<>();List<Number> numberList = integerList; // compile errornumberList.add(new Float(1.111));

假如integerList可以賦值給numberList，那么numberList可以添加任意Number類型，比如Float，這樣就違背了泛型的初衷，向Integer list中添加了Float。所以上面的操作是不被允許的。

剛剛我們講到Array是協變的，如果在Array中帶入泛型，則會發生編譯錯誤。比如new List<String>[10]是不合法的，但是 new List<?>[10]是可以的。因為在泛型中?表示的是未知類型。

List<?>[] list1 = new List<?>[10];List<String>[] list2 = new List<String>[10]; //compile error

泛型在使用中會遇到的問題

因為類型擦除的原因，List<String>和List<Integer>在運行是都會被當做成為List。所以我們在使用泛型時候的一些操作會遇到問題。

假如我們有一個泛型的類，類中有一個方法，方法的參數是泛型，我們想在這個方法中對泛型參數進行一個拷貝操作。

public class CustUser<T> {public void useT(T param){T copy = new T(param); // compile error} }

上面操作會編譯失敗，因為我們并不知道T是什么，也不知道T到底有沒有相應的構造函數。

直接clone T是沒有辦法了，如果我們想copy一個Set，set中的類型是未定義的該怎么做呢？

public void useTSet(Set<?> set){Set<?> copy1 = new HashSet<?>(set); // compile errorSet<?> copy2 = new HashSet<>(set);Set<?> copy3 = new HashSet<Object>(set); }

可以看到?是不能直接用于實例化的。但是我們可以用下面的兩種方式代替。

再看看Array的使用：

public void useArray(){T[] typeArray1= new T[20]; //compile errorT[] typeArray2=(T[]) new Object[20];T[] typeArray3 = (T[]) Array.newInstance(String.class, 20);}

同樣的，T是不能直接用于實例化的，但是我們可以用下面兩種方式代替。

類型擦除要注意的事項

因為類型擦除的原因，我們在接口實現中，實現同一個接口的兩個不同類型是無意義的：

public class someClass implements Comparable<Number>, Comparable<String> { ... } // no

因為在編譯過后的字節碼看來，兩個Comparable是一樣的。

同樣的，我們使用T來做類型強制轉換也是沒有意義的：

public <T> T cast(T t, Object o) { return (T) o; }

因為編譯器并不知道這個強制轉換是對還是錯。

總結

本文討論了泛型在java中使用中可能會存在的問題，希望大家能夠喜歡。

本文的例子https://github.com/ddean2009/learn-java-collections

更多精彩內容且看：

• 區塊鏈從入門到放棄系列教程-涵蓋密碼學,超級賬本,以太坊,Libra,比特幣等持續更新
• Spring Boot 2.X系列教程:七天從無到有掌握Spring Boot-持續更新
• Spring 5.X系列教程:滿足你對Spring5的一切想象-持續更新
• java程序員從小工到專家成神之路（2020版）-持續更新中,附詳細文章教程

本文作者：flydean程序那些事

本文鏈接：http://www.flydean.com/java-generics-in-deep/

本文來源：flydean的博客

歡迎關注我的公眾號:程序那些事，更多精彩等著您！

總結

以上是生活随笔為你收集整理的深入理解java的泛型的全部內容，希望文章能夠幫你解決所遇到的問題。

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