Java泛型中逆變和協(xié)變的概念

本篇內(nèi)容主要講解“Java泛型中逆變和協(xié)變的概念”，感興趣的朋友不妨來(lái)看看。本文介紹的方法操作簡(jiǎn)單快捷，實(shí)用性強(qiáng)。下面就讓小編來(lái)帶大家學(xué)習(xí)“Java泛型中逆變和協(xié)變的概念”吧!

目前成都創(chuàng)新互聯(lián)已為千余家的企業(yè)提供了網(wǎng)站建設(shè)、域名、雅安服務(wù)器托管、網(wǎng)站運(yùn)營(yíng)、企業(yè)網(wǎng)站設(shè)計(jì)、瀘水網(wǎng)站維護(hù)等服務(wù)，公司將堅(jiān)持客戶(hù)導(dǎo)向、應(yīng)用為本的策略，正道將秉承"和諧、參與、激情"的文化，與客戶(hù)和合作伙伴齊心協(xié)力一起成長(zhǎng)，共同發(fā)展。

正文

OK，今天5分鐘短文就讓咱們聊一聊逆變和協(xié)變這倆個(gè)概念。

1、基礎(chǔ)概念

其實(shí)它們倆的概念很好理解。接下來(lái)讓我們仔細(xì)讀一遍下邊的這一段話：

逆變與協(xié)變用來(lái)描述類(lèi)型轉(zhuǎn)換后的繼承關(guān)系。如果A、B表示類(lèi)型，f(...)表示類(lèi)型轉(zhuǎn)換，≤表示繼承關(guān)系(比如，A≤B表示A是B的子類(lèi))

如果f(...)是逆變的，那么當(dāng)A≤B時(shí)則f(B)≤f(A)成立

如果f(...)是協(xié)變的，那么當(dāng)A≤B時(shí)則f(A)≤f(B)成立

額外補(bǔ)充一條：如果f(...)是不變的，那么當(dāng)A≤B時(shí)則f(B)與f(A)沒(méi)有任何關(guān)系

2、代碼場(chǎng)景

如果大家充分理解了上邊的話，其實(shí)就能想到咱們?nèi)粘４a中的例子：數(shù)組就是一種協(xié)變;泛型是不變的。上代碼：

public class A extends B {}  public class B {}     public void test() {  B[] arrs = new A[66];  List<B> list = new ArrayList<A>();  }

這段代碼是編不過(guò)的：

因?yàn)閿?shù)組是協(xié)變的，所以 A[]是 B[]的子類(lèi);而泛型不是，所以 List并不是 List的子類(lèi)。

3、通配符的意義

因?yàn)檫@個(gè)原因的存在，所以才有了通配符。

3.1、協(xié)變-上限通配符

代碼改成這個(gè)樣子就可以正常編譯了：

通配符的存在，讓泛型產(chǎn)生了協(xié)變，讓 List可以變成 List的子類(lèi)。不過(guò)我猜經(jīng)驗(yàn)豐富的同學(xué)已經(jīng)知道，這樣搞“沒(méi)什么卵用”，因?yàn)椋?/strong>

我們發(fā)現(xiàn)，這樣搞完。對(duì)于 list變量來(lái)說(shuō)，我們只能 get()不能  add()!一時(shí)接受不了?其實(shí)這里也很好理解，協(xié)變之后對(duì)于list來(lái)說(shuō)，我可以指向很多 List的子類(lèi)。

假設(shè)此時(shí)我們可以隨意 add()，那么對(duì)于運(yùn)行期來(lái)說(shuō)簡(jiǎn)直是災(zāi)難：因?yàn)槲铱梢噪S意的 add(newA());add(newC())。如果這種情況存在那么我  get()的時(shí)候，是不是只能把它當(dāng)做 B來(lái)使用，因?yàn)檫@里有可能有 A也有可能有 C...

這樣搞完全沒(méi)有意義...因此也就有了下邊的內(nèi)容：逆變-下限通配符

3.2、逆變-下限通配符

直接上代碼：

public class A extends B {}  public class B {}  public class C extends B {}  public class D extends A {}     public void test2(List<? super A> list){  list.add(new A());  list.add(new B());  list.add(new C());  list.add(new D());  }

此時(shí)我們會(huì)發(fā)現(xiàn)：我們可以 add()， A及其子類(lèi)。而這種實(shí)現(xiàn)就脫胎于咱們逆變這個(gè)概念。

到此，相信大家對(duì)“Java泛型中逆變和協(xié)變的概念”有了更深的了解，不妨來(lái)實(shí)際操作一番吧！這里是創(chuàng)新互聯(lián)網(wǎng)站，更多相關(guān)內(nèi)容可以進(jìn)入相關(guān)頻道進(jìn)行查詢(xún)，關(guān)注我們，繼續(xù)學(xué)習(xí)！