位置:首頁(yè) > 軟件操作教程 > 編程開發(fā) > C# > 問題詳情

C# 變體

提問人:劉團(tuán)圓發(fā)布時(shí)間:2020-12-08

    變體(variance)是協(xié)變(covariance)和抗變(contravariance)的統(tǒng)稱,這兩個(gè)概念在.NET4中引入。實(shí)際上,它們己經(jīng)存在了較長(zhǎng)時(shí)間了(在.NET 2.0中就可以使用),但在.NET 4之前很難實(shí)現(xiàn)它們,因?yàn)樗鼈冃枰ㄖ频木幾g過程。

    要掌握這些術(shù)語(yǔ)的含義,最簡(jiǎn)單的方式是把它們與多態(tài)性進(jìn)行比較。多態(tài)性允許把派生類型的對(duì)象放在基類型的變量中,例如:

Cow myCow = new Cow("BenM>

Animal myAnimal = myCow;

    其中把Cow類型的對(duì)象放在Animal類型的變量中,這是可行的,因?yàn)镃ow派生自Animal。

    但這不適用于接口,也就是說,下面的代碼不能工作:

IMethaneProducer<Cow> cowMethaneProducer = myCow;

IMethaneProducer<Animal> animalMethaneProducer = cowMethaneProducer;

    假定Cow支持IMethaneProducer<Cow>接口,第一行代碼就沒有問題。但是,第二行代碼預(yù)先假定兩個(gè)接口類型有某種關(guān)系,但實(shí)際上這種關(guān)系不存在,所以無(wú)法把一種類型轉(zhuǎn)換為另一種類型??梢栽诜盒徒涌诤头盒臀猩隙x變體類型參數(shù),以適合上述代碼演示的情形。

    為使上述代碼工作,IMethaneProducer<T>接口的類型參數(shù)T必須是協(xié)變的。有了協(xié)變的類型參數(shù),就可以在IMethaneProducer<Cow>和IMethaneProducer<Animal>之間建立繼承關(guān)系,這樣一種類型的變量就可以包含另一種類型的值,這與多態(tài)性類似(但稍復(fù)雜些)。

    為了完成對(duì)變體的介紹,需要看看變體的另一面:抗變。抗變和協(xié)變是類似的,但方向相反??棺儾荒芟駞f(xié)變那樣,把泛型接口值放在使用基類型的變量中,但可以把該接口放在使用派生類型的變量中,例如:

    IGrassMuncher<Cow> cowGrassMuncher = myCow;

    IGrassMuncher<SuperCow> superCowGrassMuncher = cowGrassMuncher;

初看起來似乎有點(diǎn)古怪,因?yàn)椴荒芡ㄟ^多態(tài)性完成相同的功能。但是這在一些情況下是一項(xiàng)有效的技術(shù)。

繼續(xù)查找其他問題的答案?

相關(guān)視頻回答
回復(fù)(0)
返回頂部