Java 協(xié)變、逆變與不變

hufeng 發(fā)布于2019-08-14 17:44 / 892人閱讀

摘要：是協(xié)變的，當時，成立如數(shù)組，當然，泛型也可以通過通配符來實現(xiàn)協(xié)變與逆變是逆變的，當時，成立是不變的，當時上述兩個式子均不成立，即與相互之間沒有繼承關(guān)系。

逆變與 協(xié)變 用來 描述類型轉(zhuǎn)換（type transformation）后的繼承 關(guān)系，其定義：如果 X、Y 表示類型，f(?) 表示類型轉(zhuǎn)換，≤ 表示繼承關(guān)系（比如，A≤B 表示 A 是由 B 派生出來的子類）。

f(?) 是協(xié)變（Covariant）的，當 X≤Y 時，f(X)≤f(Y) 成立；如數(shù)組，當然，泛型也可以通過通配符（extends、super）來實現(xiàn)協(xié)變與逆變

f(?) 是逆變（Contravariant）的，當 X≤Y 時，f(Y)≤f(X) 成立

f(?) 是不變（Invariant）的，當 X≤Y 時上述兩個式子均不成立，即 f(X) 與 f(Y) 相互之間沒有繼承關(guān)系。如泛型

GPU云服務(wù)器云服務(wù)器 java 擦除協(xié)變 java 數(shù)組是協(xié)變逆變不變形

文章版權(quán)歸作者所有，未經(jīng)允許請勿轉(zhuǎn)載,若此文章存在違規(guī)行為，您可以聯(lián)系管理員刪除。

轉(zhuǎn)載請注明本文地址：http://systransis.cn/yun/66779.html

相關(guān)文章

第5章：可復(fù)用性的軟件構(gòu)建方法 5.2面向復(fù)用的構(gòu)造

摘要：代碼使用泛型類中不依賴于類型參數(shù)的方法。委托依賴于動態(tài)綁定，因為它要求給定的方法調(diào)用可以在運行時調(diào)用不同的代碼段。委托捕獲操作并將其發(fā)送給另一個對象。委托可以被看作是在對象層次上的復(fù)用機制，而繼承是類層次上的復(fù)用機制。大綱設(shè)計可復(fù)用的類繼承和重寫重載（Overloading）參數(shù)多態(tài)和泛型編程行為子類型與Liskov替換原則組合與委托設(shè)計可復(fù)用庫與框架 API和庫...

DevTalking 2019-08-16 12:35 評論0 收藏0
函數(shù)范式入門(什么是函數(shù)式編程)

摘要：第一節(jié)函數(shù)式范式什么是函數(shù)式編程函數(shù)式編程英語或稱函數(shù)程序設(shè)計，又稱泛函編程，是一種編程范型，它將電腦運算視為數(shù)學(xué)上的函數(shù)計算，并且避免使用程序狀態(tài)以及易變對象。第一節(jié) 函數(shù)式范式 1. 什么是函數(shù)式編程函數(shù)式編程（英語：functional programming）或稱函數(shù)程序設(shè)計，又稱泛函編程，是一種編程范型，它將電腦運算視為數(shù)學(xué)上的函數(shù)計算，并且避免使用程序狀態(tài)以及易變對...

StonePanda 2019-08-16 13:45 評論0 收藏0
棧和隊列 - Algorithms, Part I, week 2 STACKS AND QUEUE

摘要：在改進前使用數(shù)組的一個缺點是必須聲明數(shù)組的大小，所以棧有確定的容量。待解決的問題建立一個能夠增長或者縮短到任意大小的棧。下邊的圖是觀察時間開銷的另一種方式，表示了入棧操作需要訪問數(shù)組的次數(shù)。前言上一篇：算法分析下一篇：基本排序本篇內(nèi)容主要是棧，隊列 (和包)的基本數(shù)據(jù)類型和數(shù)據(jù)結(jié)構(gòu)文章里頭所有的對數(shù)函數(shù)都是以 2 為底關(guān)于性能分析，可能還是需要一些數(shù)學(xué)知識，有時間可以回一下在很多...

Stardustsky 2019-08-16 15:44 評論0 收藏0
Java 泛型總結(jié)（三）：通配符的使用

簡介前兩篇文章介紹了泛型的基本用法、類型擦除以及泛型數(shù)組。在泛型的使用中，還有個重要的東西叫通配符，本文介紹通配符的使用。這個系列的另外兩篇文章： Java 泛型總結(jié)（一）：基本用法與類型擦除 Java 泛型總結(jié)（二）：泛型與數(shù)組數(shù)組的協(xié)變在了解通配符之前，先來了解一下數(shù)組。Java 中的數(shù)組是協(xié)變的，什么意思？看下面的例子： class Fruit {} class Apple ex...

itvincent 2019-08-14 15:45 評論0 收藏0
關(guān)于AD/DC變換器的幾個問題

摘要：電池變流器或電池逆變器的功能，應(yīng)用領(lǐng)域是哪些電池逆變器是一種特殊的逆變器，由電池作為其電源，配合其中的電池充電器為電池充電，若有過多的電力，會回灌到交流電源端。 1、逆變器的概念：有源逆變和無源逆變的區(qū)別是什么？ ????????當交流側(cè)接在點網(wǎng)上，即交流側(cè)接有電源時，稱為有源逆變；當交流側(cè)...

DoINsiSt 2021-09-24 09:47 評論0 收藏0