Java泛型之協變、逆變、extends與super選擇方法
要了解協變與逆變，首先要引入：
根據Liskov替換原則，如果C是P的子類，則P可以代替C，即P p = new C();
C繼承於P，記做為C < P
什麼是不變
##如果F是不變，當C <= P 時，那麼F(C) 和F(P) 沒有任何繼承關係除例如Integer是Number的子類，根據Liskov替換原則
Number number = new Integer(1); //correct
List<Number> list = new ArrayList<Integer>(1); //error
# List和List 不存在任何繼承關係
如果F是協變的，當C <= P 時，那麼F(C) <= F(P)
#Java 提供了一個extends將不變轉為協變，例如：
List<? extends Number> list = new ArrayList<Integer>(1); //corrent
List可以看作為ArrayList的父類別
??extend Number 可以看作為一個型別範圍，表示Number的某一個子類別
Number[] numbers = new Integer[3];
如果F是逆變的，當C <= P 時，那麼F(C) >= F(P)
Java 提供了一個super來將不變轉為協變，例如：
List<? super Number> list = new ArrayList<Object>(1); //corrent
List可以看身為 ArrayList
首先，我們來看看Collection.add的實作：
public interface List<E> extends Collection<E> { boolean add(E e); }下面程式碼將會報錯？ ? extends Number與Integer類型不符
List<? extends Number> list = new ArrayList<Integer>(); // correct list.add(Integer.valueOf(1)); //error
E自動變成了
? extends Number不是Integer的父類別。這裡要將 List是ArrayList的父類別區分開。
? extends Number可以看作為一個類型範圍中某一個類型，表示Number的某一個子類，但又沒明確是哪個子類，可能是Float，可能是Short ，也可能是Integer的子類別（Integer被final修飾，不可能有子類，這裡只是一種假設情況），它只確定了它的上界為Number，並沒有確定下界（有可能存在 ?extends Number< Integer），因此 #? extends Number不是Integer的父類別
# 將上面程式碼稍做修改就正確了：
List<? super Number> list = new ArrayList<Object>(); // correct list.add(Integer.valueOf(1)); //correct
List是ArrayList
? super Number是Integer的父類，原因是：? super Number表示Number的某一個父類，可能是Serializable也可能是 Object 但不管是哪個，Number的父類別一定是Integer的父類，因此第二行也正確
java.util.Collections的copy方法(JDK1.7)給了我們答案：
public static <T> void copy(List<? super T> dest, List<? extends T> src) {
int srcSize = src.size();
if (srcSize > dest.size())
throw new IndexOutOfBoundsException("Source does not fit in dest");
if (srcSize < COPY_THRESHOLD ||
(src instanceof RandomAccess && dest instanceof RandomAccess)) {
for (int i=0; i<srcSize; i++)
dest.set(i, src.get(i));
} else {
ListIterator<? super T> di=dest.listIterator();
ListIterator<? extends T> si=src.listIterator();
for (int i=0; i<srcSize; i++) {
di.next();
di.set(si.next());
}
}
}- 要從泛型類別取資料時，用extends；
- 要寫資料到泛型類別時，用super；
- 既要取又要寫，就不用通配符（即extends與super都不用）
private static <E> E getFirst(List<? extends E> list){
return list.get(0);
}
private static <E> void setFirst(List<? super E> list, E firstElement){
list.add(firstElement);
}
public static void main(String[] args) {
List<Integer> list = new ArrayList<Integer>();
setFirst(list, 1);
Number number = getFirst(list);
}以上是Java泛型之協變、逆變、extends與super選擇方法的詳細內容。更多資訊請關注PHP中文網其他相關文章！
熱AI工具
Undresser.AI Undress
人工智慧驅動的應用程序，用於創建逼真的裸體照片
AI Clothes Remover
用於從照片中去除衣服的線上人工智慧工具。
Undress AI Tool
免費脫衣圖片
Clothoff.io
AI脫衣器
Video Face Swap
使用我們完全免費的人工智慧換臉工具，輕鬆在任何影片中換臉！
熱門文章
熱工具
記事本++7.3.1
好用且免費的程式碼編輯器
SublimeText3漢化版
中文版，非常好用
禪工作室 13.0.1
強大的PHP整合開發環境
Dreamweaver CS6
視覺化網頁開發工具
SublimeText3 Mac版
神級程式碼編輯軟體(SublimeText3)
突破或從Java 8流返回？
Feb 07, 2025 pm 12:09 PM
Java 8引入了Stream API，提供了一種強大且表達力豐富的處理數據集合的方式。然而，使用Stream時，一個常見問題是：如何從forEach操作中中斷或返回？ 傳統循環允許提前中斷或返回，但Stream的forEach方法並不直接支持這種方式。本文將解釋原因，並探討在Stream處理系統中實現提前終止的替代方法。 延伸閱讀： Java Stream API改進 理解Stream forEach forEach方法是一個終端操作，它對Stream中的每個元素執行一個操作。它的設計意圖是處
PHP：網絡開發的關鍵語言
Apr 13, 2025 am 12:08 AM
PHP是一種廣泛應用於服務器端的腳本語言，特別適合web開發。 1.PHP可以嵌入HTML，處理HTTP請求和響應，支持多種數據庫。 2.PHP用於生成動態網頁內容，處理表單數據，訪問數據庫等，具有強大的社區支持和開源資源。 3.PHP是解釋型語言，執行過程包括詞法分析、語法分析、編譯和執行。 4.PHP可以與MySQL結合用於用戶註冊系統等高級應用。 5.調試PHP時，可使用error_reporting()和var_dump()等函數。 6.優化PHP代碼可通過緩存機制、優化數據庫查詢和使用內置函數。 7
PHP與Python：了解差異
Apr 11, 2025 am 12:15 AM
PHP和Python各有優勢，選擇應基於項目需求。 1.PHP適合web開發，語法簡單，執行效率高。 2.Python適用於數據科學和機器學習，語法簡潔，庫豐富。
Java程序查找膠囊的體積
Feb 07, 2025 am 11:37 AM
膠囊是一種三維幾何圖形，由一個圓柱體和兩端各一個半球體組成。膠囊的體積可以通過將圓柱體的體積和兩端半球體的體積相加來計算。本教程將討論如何使用不同的方法在Java中計算給定膠囊的體積。 膠囊體積公式 膠囊體積的公式如下： 膠囊體積 = 圓柱體體積 兩個半球體體積 其中， r: 半球體的半徑。 h: 圓柱體的高度（不包括半球體）。 例子 1 輸入 半徑 = 5 單位 高度 = 10 單位 輸出 體積 = 1570.8 立方單位 解釋 使用公式計算體積： 體積 = π × r2 × h (4
PHP與其他語言：比較
Apr 13, 2025 am 12:19 AM
PHP適合web開發，特別是在快速開發和處理動態內容方面表現出色，但不擅長數據科學和企業級應用。與Python相比，PHP在web開發中更具優勢，但在數據科學領域不如Python；與Java相比，PHP在企業級應用中表現較差，但在web開發中更靈活；與JavaScript相比，PHP在後端開發中更簡潔，但在前端開發中不如JavaScript。
PHP與Python：核心功能
Apr 13, 2025 am 12:16 AM
PHP和Python各有優勢，適合不同場景。 1.PHP適用於web開發，提供內置web服務器和豐富函數庫。 2.Python適合數據科學和機器學習，語法簡潔且有強大標準庫。選擇時應根據項目需求決定。
創造未來：零基礎的 Java 編程
Oct 13, 2024 pm 01:32 PM
Java是熱門程式語言，適合初學者和經驗豐富的開發者學習。本教學從基礎概念出發，逐步深入解說進階主題。安裝Java開發工具包後，可透過建立簡單的「Hello,World!」程式來實踐程式設計。理解程式碼後，使用命令提示字元編譯並執行程序，控制台上將輸出「Hello,World!」。學習Java開啟了程式設計之旅，隨著掌握程度加深，可創建更複雜的應用程式。
