1, 泛型接口的協變
如果泛型類型用out關鍵字標注，泛型接口就是協變的。這也意味著返回類型只能是T。
泛型接口的抗變
如果泛型類型用in關鍵字標注，泛型接口就是抗變的。這樣，接口只能把泛型類型T用作其方法的輸入，即方法的參數。
這是泛型接口的抗變和協變的定義，那我們下面來用代碼說明，直接上代碼，
/// <summary> /// 泛型接口 /// </summary> /// <typeparam name="T"></typeparam> public interface IDisplay< T > { void Show(T item); } /// <summary> /// 實現泛型接口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, 上面定義了接口和實現了接口，接下來我們來測試實現了接口的類，上代碼
class Program { static void Main(string[] args) { // 用子類實例化泛型類(簡稱子類對象) IDisplay<SubClass> sub1 = new ShapDisplay<SubClass>(); // 用父類實例化泛型類(簡稱父類對象) IDisplay<ParentClass> par1 = new ShapDisplay<ParentClass>(); // 用父類類型接收子類對象(子類對象→父類類型)協變 IDisplay<ParentClass> parent = sub1; // 用子類類型接收父類對象(父類對象→子類類型)抗變 IDisplay<SubClass> sub = par1; Console.ReadKey(); } }我們會發現代碼行12和15會報錯，編譯不過，為什么呢？
原因很簡單，因為我們在最上面是這樣定義接口的時候，沒有加out也沒有加in,即泛型接口默認不會支持抗變和協變，所以編譯會報錯。
好，那我們接下來給泛型接口修改一下，如下代碼
/// <summary> /// 泛型接口 /// </summary> /// <typeparam name="T"></typeparam> public interface IDisplay<out T> { void Show(T item); }泛型前面加上out之后，會發現接口中的Show會報錯，這又是為何呢？
根據泛型接口的協變，如果泛型類型用out關鍵字標注，這意味著返回類型只能是T。也就是說方法的返回類型應該是T，而我們Show方法中，方法的參數是T，所以不符合規定，報錯。
那我們再來修改代碼，如下
/// <summary> /// 泛型接口 /// </summary> /// <typeparam name="T"></typeparam> public interface IDisplay<in T> { void Show(T item); }接口完全沒問題，但是，囧，main方法中12行依然報錯，wtf?
因為泛型類型是用in來標注的，這表示該泛型只支持抗變，12行代碼是協變，所以會報錯。
到此，泛型接口的抗變和協變也就解釋完畢，總結如下3點，
①泛型接口，如果泛型類型前沒有關鍵字out或者in來標注，則該泛型接口不支持抗變和協變，即只能是什么對象指向什么類型。
②如果泛型接口，泛型類型前有關鍵字out標注，則表示其方法的輸出為T類型，也就是方法的返回值。同時該泛型接口支持協變，即，可以用父類的類型指向子類的對象。
③如果泛型接口，泛型類型前面有關鍵字in標注，則表示其方法的輸入為T類型，也就是方法的參數。該泛型接口支持抗變，也就是可以用子類的類型指向父類的對象。
以上就是本文的全部內容，希望本文的內容對大家的學習或者工作能帶來一定的幫助，同時也希望多多支持VEVB武林網！
新聞熱點
疑難解答
