摘要:是協(xié)變的,當(dāng)時(shí),成立如數(shù)組,當(dāng)然,泛型也可以通過(guò)通配符來(lái)實(shí)現(xiàn)協(xié)變與逆變是逆變的,當(dāng)時(shí),成立是不變的,當(dāng)時(shí)上述兩個(gè)式子均不成立,即與相互之間沒(méi)有繼承關(guān)系。
逆變 與 協(xié)變 用來(lái) 描述類型轉(zhuǎn)換(type transformation)后的繼承 關(guān)系,其定義:如果 X、Y 表示類型,f(?) 表示類型轉(zhuǎn)換,≤ 表示繼承關(guān)系(比如,A≤B 表示 A 是由 B 派生出來(lái)的子類)。
f(?) 是協(xié)變(Covariant)的,當(dāng) X≤Y 時(shí),f(X)≤f(Y) 成立;如數(shù)組,當(dāng)然,泛型也可以通過(guò)通配符(extends、super)來(lái)實(shí)現(xiàn)協(xié)變與逆變
f(?) 是逆變(Contravariant)的,當(dāng) X≤Y 時(shí),f(Y)≤f(X) 成立
f(?) 是不變(Invariant)的,當(dāng) X≤Y 時(shí)上述兩個(gè)式子均不成立,即 f(X) 與 f(Y) 相互之間沒(méi)有繼承關(guān)系。如泛型
文章版權(quán)歸作者所有,未經(jīng)允許請(qǐng)勿轉(zhuǎn)載,若此文章存在違規(guī)行為,您可以聯(lián)系管理員刪除。
轉(zhuǎn)載請(qǐng)注明本文地址:http://specialneedsforspecialkids.com/yun/66779.html
摘要:代碼使用泛型類中不依賴于類型參數(shù)的方法。委托依賴于動(dòng)態(tài)綁定,因?yàn)樗蠼o定的方法調(diào)用可以在運(yùn)行時(shí)調(diào)用不同的代碼段。委托捕獲操作并將其發(fā)送給另一個(gè)對(duì)象。委托可以被看作是在對(duì)象層次上的復(fù)用機(jī)制,而繼承是類層次上的復(fù)用機(jī)制。 大綱 設(shè)計(jì)可復(fù)用的類 繼承和重寫 重載(Overloading) 參數(shù)多態(tài)和泛型編程 行為子類型與Liskov替換原則 組合與委托 設(shè)計(jì)可復(fù)用庫(kù)與框架 API和庫(kù)...
摘要:第一節(jié)函數(shù)式范式什么是函數(shù)式編程函數(shù)式編程英語(yǔ)或稱函數(shù)程序設(shè)計(jì),又稱泛函編程,是一種編程范型,它將電腦運(yùn)算視為數(shù)學(xué)上的函數(shù)計(jì)算,并且避免使用程序狀態(tài)以及易變對(duì)象。 第一節(jié) 函數(shù)式范式 1. 什么是函數(shù)式編程 函數(shù)式編程(英語(yǔ):functional programming)或稱函數(shù)程序設(shè)計(jì),又稱泛函編程,是一種編程范型,它將電腦運(yùn)算視為數(shù)學(xué)上的函數(shù)計(jì)算,并且避免使用程序狀態(tài)以及易變對(duì)...
摘要:在改進(jìn)前使用數(shù)組的一個(gè)缺點(diǎn)是必須聲明數(shù)組的大小,所以棧有確定的容量。待解決的問(wèn)題建立一個(gè)能夠增長(zhǎng)或者縮短到任意大小的棧。下邊的圖是觀察時(shí)間開銷的另一種方式,表示了入棧操作需要訪問(wèn)數(shù)組的次數(shù)。 前言 上一篇:算法分析下一篇:基本排序 本篇內(nèi)容主要是棧,隊(duì)列 (和包)的基本數(shù)據(jù)類型和數(shù)據(jù)結(jié)構(gòu)文章里頭所有的對(duì)數(shù)函數(shù)都是以 2 為底關(guān)于性能分析,可能還是需要一些數(shù)學(xué)知識(shí),有時(shí)間可以回一下在很多...
簡(jiǎn)介 前兩篇文章介紹了泛型的基本用法、類型擦除以及泛型數(shù)組。在泛型的使用中,還有個(gè)重要的東西叫通配符,本文介紹通配符的使用。 這個(gè)系列的另外兩篇文章: Java 泛型總結(jié)(一):基本用法與類型擦除 Java 泛型總結(jié)(二):泛型與數(shù)組 數(shù)組的協(xié)變 在了解通配符之前,先來(lái)了解一下數(shù)組。Java 中的數(shù)組是協(xié)變的,什么意思?看下面的例子: class Fruit {} class Apple ex...
摘要:電池變流器或電池逆變器的功能,應(yīng)用領(lǐng)域是哪些電池逆變器是一種特殊的逆變器,由電池作為其電源,配合其中的電池充電器為電池充電,若有過(guò)多的電力,會(huì)回灌到交流電源端。 1、逆變器的概念:有源逆變和無(wú)源逆變的區(qū)別是什么? ????????當(dāng)交流側(cè)接在點(diǎn)網(wǎng)上,即交流側(cè)接有電源時(shí),稱為有源逆變;當(dāng)交流側(cè)...
閱讀 2086·2021-10-08 10:21
閱讀 2480·2021-09-29 09:34
閱讀 3500·2021-09-22 15:51
閱讀 4939·2021-09-22 15:46
閱讀 2319·2021-08-09 13:42
閱讀 3440·2019-08-30 15:52
閱讀 2728·2019-08-29 17:13
閱讀 1559·2019-08-29 11:30