Java數(shù)組協(xié)變與范型不變性的案例?這個(gè)問題可能是我們?nèi)粘W(xué)習(xí)或工作經(jīng)常見到的。希望通過這個(gè)問題能讓你收獲頗深。下面是小編給大家?guī)淼膮⒖純?nèi)容,讓我們一起來看看吧!
成都創(chuàng)新互聯(lián)公司堅(jiān)持“要么做到,要么別承諾”的工作理念,服務(wù)領(lǐng)域包括:成都網(wǎng)站建設(shè)、成都網(wǎng)站制作、企業(yè)官網(wǎng)、英文網(wǎng)站、手機(jī)端網(wǎng)站、網(wǎng)站推廣等服務(wù),滿足客戶于互聯(lián)網(wǎng)時(shí)代的新榮網(wǎng)站設(shè)計(jì)、移動(dòng)媒體設(shè)計(jì)的需求,幫助企業(yè)找到有效的互聯(lián)網(wǎng)解決方案。努力成為您成熟可靠的網(wǎng)絡(luò)建設(shè)合作伙伴!變性是OOP語言不變的大坑,Java的數(shù)組協(xié)變就是其中的一口老坑。因?yàn)樽罱鹊搅耍阕鲆粋€(gè)記錄。順便也提一下范型的變性。
解釋數(shù)組協(xié)變之前,先明確三個(gè)相關(guān)的概念,協(xié)變、不變和逆變。
一、協(xié)變、不變、逆變
假設(shè),我為一家餐館寫了這樣一段代碼
class Soup<T> { public void add(T t) {} } class Vegetable { } class Carrot extends Vegetable { }
有一個(gè)范型類Soup<T>,表示用食材T做的湯,它的方法add(T t)表示向湯中添加食材T。類Vegetable表示蔬菜,類Carrot表示胡蘿卜。當(dāng)然,Carrot是Vegetable的子類。
那么問題來了,Soup<Vegetable>和Soup<Carrot>之間是什么關(guān)系呢?
第一反應(yīng),Soup<Carrot>應(yīng)該是Soup<Vegetable>的子類,因?yàn)楹}卜湯顯然是一種蔬菜湯。如果真是這樣,那就看看下面的代碼。其中Tomato表示西紅柿,是Vegetable的另一個(gè)子類
Soup<Vegetable> soup = new Soup<Carrot>(); soup.add(new Tomato());
第一句沒問題,Soup<Carrot>是Soup<Vegetable>的子類,所以可以將Soup<Carrot>的實(shí)例賦給變量soup。第二句也沒問題,因?yàn)閟oup聲明為Soup<Vegetable>類型,它的add方法接收一個(gè)Vegetable類型的參數(shù),而Tomato是Vegetable,類型正確。
但是,兩句放在一起卻有了問題。soup的實(shí)際類型是Soup<Carrot>,而我們給它的add方法傳遞了一個(gè)Tomato的實(shí)例!換言之,我們?cè)谟梦骷t柿做胡蘿卜湯,肯定做不出來。所以,把Soup<Carrot>視為Soup<Vegetable>的子類在邏輯上雖然是通順的,在使用過程中卻是有缺陷的。
那么,Soup<Carrot>和Soup<Vegetable>究竟應(yīng)該是什么關(guān)系呢?不同的語言有不同的理解和實(shí)現(xiàn)??偨Y(jié)起來,有三種情況。
(1)如果Soup<Carrot>是Soup<Vegetable>的子類,則稱泛型Soup<T>是協(xié)變的
(2)如果Soup<Carrot>和Soup<Vegetable>是無關(guān)的兩個(gè)類,則稱泛型Soup<T>是不變的
(3)如果Soup<Carrot>是Soup<Vegetable>的父類,則稱泛型Soup<T>是逆變的。(不過逆變不常見)
理解了協(xié)變、不變和逆變的概念,再看Java的實(shí)現(xiàn)。Java的一般泛型是不變的,也就是說Soup<Vegetable>和Soup<Carrot>是毫無關(guān)系的兩個(gè)類,不能將一個(gè)類的實(shí)例賦值給另一個(gè)類的變量。所以,上面那段用西紅柿做胡蘿卜湯的代碼,其實(shí)根本無法通過編譯。
二、數(shù)組協(xié)變
Java中,數(shù)組是基本類型,不是泛型,不存在Array<T>這樣的東西。但它和泛型很像,都是用另一個(gè)類型構(gòu)建的類型。所以,數(shù)組也是要考慮變性的。
與泛型的不變性不同,Java的數(shù)組是協(xié)變的。也就是說,Carrot[]是Vegetable[]的子類。而上一節(jié)中的例子已經(jīng)表明,協(xié)變有時(shí)會(huì)引發(fā)問題。比如下面這段代碼
Vegetable[] vegetables = new Carrot[10]; vegetables[0] = new Tomato(); // 運(yùn)行期錯(cuò)誤
因?yàn)閿?shù)組是協(xié)變的,編譯器允許把Carrot[10]賦值給Vegetable[]類型的變量,所以這段代碼可以順利通過編譯。只有在運(yùn)行期,JVM真的試圖往一堆胡蘿卜中插入一個(gè)西紅柿的時(shí)候,才發(fā)現(xiàn)大事不好。所以,上面的代碼在運(yùn)行期會(huì)拋出一個(gè)java.lang.ArrayStoreException類型的異常。
數(shù)組協(xié)變性,是Java的著名歷史包袱之一。使用數(shù)組時(shí),千萬要小心!
如果把例子中的數(shù)組替換為List,情況就不同了。就像這樣
ArrayList<Vegetable> vegetables = new ArrayList<Carrot>(); // 編譯期錯(cuò)誤 vegetables.add(new Tomato());
ArrayList是一個(gè)泛型類,它是不變的。所以,ArrayList<Carrot>和ArrayList<Vegetable>之間并無繼承關(guān)系,這段代碼在編譯期就會(huì)報(bào)錯(cuò)。
兩段代碼雖然都會(huì)報(bào)錯(cuò),但通常情況下,編譯期錯(cuò)誤總比運(yùn)行期錯(cuò)誤好處理一些。
三、當(dāng)泛型也想要協(xié)變、逆變
泛型是不變的,但某些場(chǎng)景里我們還是希望它能協(xié)變起來。比如,有一個(gè)天天喝蔬菜湯減肥的小姐姐
class Girl { public void drink(Soup<Vegetable> soup) {} }
我們希望drink方法可以接受各種不同的蔬菜湯,包括Soup<Carrot>和Soup<Tomato>。但受到不變性的限制,它們無法作為drink的參數(shù)。
要實(shí)現(xiàn)這一點(diǎn),應(yīng)該采用一種類似于協(xié)變性的寫法
public void drink(Soup<? extends Vegetable> soup) {}
意思是,參數(shù)soup的類型是泛型類Soup<T>,而T是Vegetable的子類(也包括Vegetable自己)。這時(shí),小姐姐終于可以愉快地喝上胡蘿卜湯和西紅柿湯了。
但是,這種方法有一個(gè)限制。編譯器只知道泛型參數(shù)是Vegetable的子類,卻不知道它具體是什么。所以,所有非null的泛型類型參數(shù)均被視為不安全的。說起來很拗口,其實(shí)很簡(jiǎn)單。直接上代碼
public void drink(Soup<? extends Vegetable> soup) { soup.add(new Tomato()); // 錯(cuò)誤 soup.add(null); // 正確}
方法內(nèi)的第一句會(huì)在編譯期報(bào)錯(cuò)。因?yàn)榫幾g器只知道add方法的參數(shù)是Vegetable的子類,卻不知道它具體是Carrot、Tomato、或者其他的什么類型。這時(shí),傳遞一個(gè)具體類型的實(shí)例一律被視為不安全的。即使soup真的是Soup<Tomato>類型也不行,因?yàn)閟oup的具體類型信息是在運(yùn)行期才能知道的,編譯期并不知道。
但是方法內(nèi)的第二句是正確的。因?yàn)閰?shù)是null,它可以是任何合法的類型。編譯器認(rèn)為它是安全的。
同樣,也有一種類似于逆變的方法
public void drink(Soup<? super Vegetable> soup) {}
這時(shí),Soup<T>中的T必須是Vegetable的父類。
這種情況就不存在上面的限制了,下面的代碼毫無問題
public void drink(Soup<? super Vegetable> soup) { soup.add(new Tomato()); }
Tomato是Vegetable的子類,自然也是Vegetable父類的子類。所以,編譯期就可以確定類型是安全的。
感謝各位的閱讀!看完上述內(nèi)容,你們對(duì)Java數(shù)組協(xié)變與范型不變性的案例大概了解了嗎?希望文章內(nèi)容對(duì)大家有所幫助。如果想了解更多相關(guān)文章內(nèi)容,歡迎關(guān)注創(chuàng)新互聯(lián)行業(yè)資訊頻道。
文章題目:Java數(shù)組協(xié)變與范型不變性的案例-創(chuàng)新互聯(lián)
本文路徑:http://muchs.cn/article12/ddhcgc.html
成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián),為您提供網(wǎng)站設(shè)計(jì)公司、自適應(yīng)網(wǎng)站、品牌網(wǎng)站建設(shè)、外貿(mào)建站、營銷型網(wǎng)站建設(shè)、域名注冊(cè)
聲明:本網(wǎng)站發(fā)布的內(nèi)容(圖片、視頻和文字)以用戶投稿、用戶轉(zhuǎn)載內(nèi)容為主,如果涉及侵權(quán)請(qǐng)盡快告知,我們將會(huì)在第一時(shí)間刪除。文章觀點(diǎn)不代表本網(wǎng)站立場(chǎng),如需處理請(qǐng)聯(lián)系客服。電話:028-86922220;郵箱:631063699@qq.com。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載,或轉(zhuǎn)載時(shí)需注明來源: 創(chuàng)新互聯(lián)
猜你還喜歡下面的內(nèi)容