C# 泛型接口的抗變和協(xié)變
1, 泛型接口的協(xié)變
如果泛型類型用out關(guān)鍵字標(biāo)注,泛型接口就是協(xié)變的。這也意味著返回類型只能是T。
泛型接口的抗變
如果泛型類型用in關(guān)鍵字標(biāo)注,泛型接口就是抗變的。這樣,接口只能把泛型類型T用作其方法的輸入,即方法的參數(shù)。
這是泛型接口的抗變和協(xié)變的定義,那我們下面來用代碼說明,直接上代碼,
/// <summary> /// 泛型接口 /// </summary> /// <typeparam name="T"></typeparam> public interface IDisplay< T > { void Show(T item); } /// <summary> /// 實(shí)現(xiàn)泛型接口IDisaplay /// </summary> /// <typeparam name="T"></typeparam> public class ShapDisplay<T> : IDisplay<T> { public void Show(T item) { Console.WriteLine("測試成功!"); } } /// <summary> /// 父類 /// </summary> public class ParentClass { } /// <summary> /// 子類 /// </summary> public class SubClass : ParentClass { }
2, 上面定義了接口和實(shí)現(xiàn)了接口,接下來我們來測試實(shí)現(xiàn)了接口的類,上代碼
class Program { static void Main(string[] args) { // 用子類實(shí)例化泛型類(簡稱子類對象) IDisplay<SubClass> sub1 = new ShapDisplay<SubClass>(); // 用父類實(shí)例化泛型類(簡稱父類對象) IDisplay<ParentClass> par1 = new ShapDisplay<ParentClass>(); // 用父類類型接收子類對象(子類對象→父類類型)協(xié)變 IDisplay<ParentClass> parent = sub1; // 用子類類型接收父類對象(父類對象→子類類型)抗變 IDisplay<SubClass> sub = par1; Console.ReadKey(); } }
我們會發(fā)現(xiàn)代碼行12和15會報錯,編譯不過,為什么呢?
原因很簡單,因?yàn)槲覀冊谧钌厦媸沁@樣定義接口的時候,沒有加out也沒有加in,即泛型接口默認(rèn)不會支持抗變和協(xié)變,所以編譯會報錯。
好,那我們接下來給泛型接口修改一下,如下代碼
/// <summary> /// 泛型接口 /// </summary> /// <typeparam name="T"></typeparam> public interface IDisplay<out T> { void Show(T item); }
泛型前面加上out之后,會發(fā)現(xiàn)接口中的Show會報錯,這又是為何呢?
根據(jù)泛型接口的協(xié)變,如果泛型類型用out關(guān)鍵字標(biāo)注,這意味著返回類型只能是T。也就是說方法的返回類型應(yīng)該是T,而我們Show方法中,方法的參數(shù)是T,所以不符合規(guī)定,報錯。
那我們再來修改代碼,如下
/// <summary> /// 泛型接口 /// </summary> /// <typeparam name="T"></typeparam> public interface IDisplay<in T> { void Show(T item); }
接口完全沒問題,但是,囧,main方法中12行依然報錯,wtf?
因?yàn)榉盒皖愋褪怯胕n來標(biāo)注的,這表示該泛型只支持抗變,12行代碼是協(xié)變,所以會報錯。
到此,泛型接口的抗變和協(xié)變也就解釋完畢,總結(jié)如下3點(diǎn),
①泛型接口,如果泛型類型前沒有關(guān)鍵字out或者in來標(biāo)注,則該泛型接口不支持抗變和協(xié)變,即只能是什么對象指向什么類型。
②如果泛型接口,泛型類型前有關(guān)鍵字out標(biāo)注,則表示其方法的輸出為T類型,也就是方法的返回值。同時該泛型接口支持協(xié)變,即,可以用父類的類型指向子類的對象。
③如果泛型接口,泛型類型前面有關(guān)鍵字in標(biāo)注,則表示其方法的輸入為T類型,也就是方法的參數(shù)。該泛型接口支持抗變,也就是可以用子類的類型指向父類的對象。
以上就是本文的全部內(nèi)容,希望本文的內(nèi)容對大家的學(xué)習(xí)或者工作能帶來一定的幫助,同時也希望多多支持腳本之家!
相關(guān)文章
C# OpenCvSharp實(shí)現(xiàn)通過特征點(diǎn)匹配圖片
這篇文章主要為大家詳細(xì)介紹了C#如何結(jié)合OpenCVSharp4實(shí)現(xiàn)通過特征點(diǎn)匹配圖片,文中的示例代碼簡潔易懂,具有一定的學(xué)習(xí)價值,需要的小伙伴可以參考下2023-11-11C#使用百度Ueditor富文本框?qū)崿F(xiàn)上傳文件
這篇文章主要為大家詳細(xì)介紹了C#如何使用百度Ueditor富文本框?qū)崿F(xiàn)上傳文件(圖片,視頻等),文中的示例代碼講解詳細(xì),感興趣的可以了解一下2022-07-07HttpWebRequest出錯.Section=ResponseHeader Detail=CR
HttpWebRequest出錯.Section=ResponseHeader Detail=CR...2007-03-03C#實(shí)現(xiàn)簡單學(xué)生信息管理系統(tǒng)
這篇文章主要為大家詳細(xì)介紹了C#實(shí)現(xiàn)簡單學(xué)生信息管理系統(tǒng),具有一定的參考價值,感興趣的小伙伴們可以參考一下2019-06-06在.NET?WebService中跨域CORS問題的解決方案
在現(xiàn)代的Web應(yīng)用程序開發(fā)中,跨域資源共享(Cross-Origin?Resource?Sharing,?CORS)問題是開發(fā)者經(jīng)常遇到的一個挑戰(zhàn),在這篇博客中,我們將深入探討如何在?.NET?WebService?中解決CORS問題,幫助開發(fā)者順利實(shí)現(xiàn)跨域請求,需要的朋友可以參考下2024-05-05