要了解協變與逆變,首先要引入:
根據Liskov替換原則,如果C是P的子類,則P可以代替C,即P p = new C();
C繼承於P,記做為C
什麼是不變
##如果F是不變,當C除例如Integer是Number的子類,根據Liskov替換原則
Number number = new Integer(1); //correct但是如果這樣寫就會報錯
List<Number> list = new ArrayList<Integer>(1); //error雖然Number和Integer存在繼承關係:Integer # List
和
List 不存在任何繼承關係
什麼是協變
如果F是協變的,當C
#Java 提供了一個extends將不變轉為協變,例如:
List<? extends Number> list = new ArrayList<Integer>(1); //corrent此時的
List extends Number>可以看作為
ArrayList的父類別
??extend Number 可以看作為一個型別範圍,表示Number的某一個子類別
Number[] numbers = new Integer[3];什麼是逆變
如果F是逆變的,當C = F(P)
Java 提供了一個super來將不變轉為協變,例如:
List<? super Number> list = new ArrayList<Object>(1); //corrent此時的
List super Number>可以看身為
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首先在呼叫add方法時,泛型
E自動變成了
extends Number>
? extends Number不是
Integer的父類別。這裡要將
List extends Number>是
ArrayList的父類別區分開。
? extends Number可以看作為一個類型範圍中某一個類型,表示Number的某一個子類,但又沒明確是哪個子類,可能是Float,可能是Short ,也可能是Integer的子類別(Integer被final修飾,不可能有子類,這裡只是一種假設情況),它只確定了它的上界為Number,並沒有確定下界(有可能存在
?extends NumberInteger<code>),因此
#? extends Number不是
Integer的父類別
# 將上面程式碼稍做修改就正確了:
List<? super Number> list = new ArrayList<Object>(); // correct list.add(Integer.valueOf(1)); //correct首先因為逆變,
List super Number>是
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中文網其他相關文章!

JavadevelovermentIrelyPlatForm-DeTueTososeVeralFactors.1)JVMVariationsAffectPerformanceNandBehaviorAcroSsdifferentos.2)Nativelibrariesviajnijniiniininiinniinindrododerplatefform.3)

Java代碼在不同平台上運行時會有性能差異。 1)JVM的實現和優化策略不同,如OracleJDK和OpenJDK。 2)操作系統的特性,如內存管理和線程調度,也會影響性能。 3)可以通過選擇合適的JVM、調整JVM參數和代碼優化來提升性能。

Java'splatFormentenceHaslimitations不包括PerformanceOverhead,versionCompatibilityIsissues,挑戰WithnativelibraryIntegration,Platform-SpecificFeatures,andjvminstallation/jvminstallation/jvmintenance/jeartenance.therefactorscomplicatorscomplicatethe“ writeOnce”

PlatformIndependendecealLowsProgramStormonanyPlograwsStormanyPlatFormWithOutModification,而LileCross-PlatFormDevelopmentRequiredquiresMomePlatform-specificAdjustments.platFormIndependence,EneblesuniveByjava,EnablesuniversUniversAleversalexecutionbutmayCotutionButMayComproMisePerformance.cross.cross.cross-platformd

JITcompilationinJavaenhancesperformancewhilemaintainingplatformindependence.1)Itdynamicallytranslatesbytecodeintonativemachinecodeatruntime,optimizingfrequentlyusedcode.2)TheJVMremainsplatform-independent,allowingthesameJavaapplicationtorunondifferen

javaispopularforcross-platformdesktopapplicationsduetoits“ writeonce,runany where”哲學。 1)itusesbytiesebyTecodeThatrunsonAnyJvm-備用Platform.2)librarieslikeslikeslikeswingingandjavafxhelpcreatenative-lookingenative-lookinguisis.3)

在Java中編寫平台特定代碼的原因包括訪問特定操作系統功能、與特定硬件交互和優化性能。 1)使用JNA或JNI訪問Windows註冊表;2)通過JNI與Linux特定硬件驅動程序交互;3)通過JNI使用Metal優化macOS上的遊戲性能。儘管如此,編寫平台特定代碼會影響代碼的可移植性、增加複雜性、可能帶來性能開銷和安全風險。

Java將通過雲原生應用、多平台部署和跨語言互操作進一步提昇平台獨立性。 1)雲原生應用將使用GraalVM和Quarkus提升啟動速度。 2)Java將擴展到嵌入式設備、移動設備和量子計算機。 3)通過GraalVM,Java將與Python、JavaScript等語言無縫集成,增強跨語言互操作性。


熱AI工具

Undresser.AI Undress
人工智慧驅動的應用程序,用於創建逼真的裸體照片

AI Clothes Remover
用於從照片中去除衣服的線上人工智慧工具。

Undress AI Tool
免費脫衣圖片

Clothoff.io
AI脫衣器

Video Face Swap
使用我們完全免費的人工智慧換臉工具,輕鬆在任何影片中換臉!

熱門文章

熱工具

mPDF
mPDF是一個PHP庫,可以從UTF-8編碼的HTML產生PDF檔案。原作者Ian Back編寫mPDF以從他的網站上「即時」輸出PDF文件,並處理不同的語言。與原始腳本如HTML2FPDF相比,它的速度較慢,並且在使用Unicode字體時產生的檔案較大,但支援CSS樣式等,並進行了大量增強。支援幾乎所有語言,包括RTL(阿拉伯語和希伯來語)和CJK(中日韓)。支援嵌套的區塊級元素(如P、DIV),

SecLists
SecLists是最終安全測試人員的伙伴。它是一個包含各種類型清單的集合,這些清單在安全評估過程中經常使用,而且都在一個地方。 SecLists透過方便地提供安全測試人員可能需要的所有列表,幫助提高安全測試的效率和生產力。清單類型包括使用者名稱、密碼、URL、模糊測試有效載荷、敏感資料模式、Web shell等等。測試人員只需將此儲存庫拉到新的測試機上,他就可以存取所需的每種類型的清單。

VSCode Windows 64位元 下載
微軟推出的免費、功能強大的一款IDE編輯器

SublimeText3漢化版
中文版,非常好用

WebStorm Mac版
好用的JavaScript開發工具