C# 泛型接口的抗變和協(xié)變

來源：本站原創(chuàng)|時間：2020-01-10|欄目：C#教程|點擊：次

1, 泛型接口的協(xié)變

如果泛型類型用out關鍵字標注，泛型接口就是協(xié)變的。這也意味著返回類型只能是T。

泛型接口的抗變

如果泛型類型用in關鍵字標注，泛型接口就是抗變的。這樣，接口只能把泛型類型T用作其方法的輸入，即方法的參數(shù)。

這是泛型接口的抗變和協(xié)變的定義，那我們下面來用代碼說明，直接上代碼，

/// <summary>
 /// 泛型接口
 /// </summary>
 /// <typeparam name="T"></typeparam>
 public interface IDisplay< T >
 {
  void Show(T item);
 }
 /// <summary>
 /// 實現(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, 上面定義了接口和實現(xiàn)了接口，接下來我們來測試實現(xiàn)了接口的類，上代碼

class Program
 {
  static void Main(string[] args)
  {
   // 用子類實例化泛型類(簡稱子類對象)
   IDisplay<SubClass> sub1 = new ShapDisplay<SubClass>();

   // 用父類實例化泛型類(簡稱父類對象)
   IDisplay<ParentClass> par1 = new ShapDisplay<ParentClass>();

   // 用父類類型接收子類對象(子類對象→父類類型)協(xié)變
   IDisplay<ParentClass> parent = sub1;

   // 用子類類型接收父類對象(父類對象→子類類型)抗變
   IDisplay<SubClass> sub = par1;

   Console.ReadKey();
  }
 }

我們會發(fā)現(xiàn)代碼行12和15會報錯，編譯不過，為什么呢？

原因很簡單，因為我們在最上面是這樣定義接口的時候，沒有加out也沒有加in,即泛型接口默認不會支持抗變和協(xié)變，所以編譯會報錯。

好，那我們接下來給泛型接口修改一下，如下代碼

/// <summary>
 /// 泛型接口
 /// </summary>
 /// <typeparam name="T"></typeparam>
 public interface IDisplay<out T>
 {
  void Show(T item);
 }

泛型前面加上out之后，會發(fā)現(xiàn)接口中的Show會報錯，這又是為何呢？

根據(jù)泛型接口的協(xié)變，如果泛型類型用out關鍵字標注，這意味著返回類型只能是T。也就是說方法的返回類型應該是T，而我們Show方法中，方法的參數(shù)是T，所以不符合規(guī)定，報錯。

那我們再來修改代碼，如下

/// <summary>
 /// 泛型接口
 /// </summary>
 /// <typeparam name="T"></typeparam>
 public interface IDisplay<in T>
 {
  void Show(T item);
 }

接口完全沒問題，但是，囧，main方法中12行依然報錯，wtf?

因為泛型類型是用in來標注的，這表示該泛型只支持抗變，12行代碼是協(xié)變，所以會報錯。

到此，泛型接口的抗變和協(xié)變也就解釋完畢，總結如下3點，

①泛型接口，如果泛型類型前沒有關鍵字out或者in來標注，則該泛型接口不支持抗變和協(xié)變，即只能是什么對象指向什么類型。

②如果泛型接口，泛型類型前有關鍵字out標注，則表示其方法的輸出為T類型，也就是方法的返回值。同時該泛型接口支持協(xié)變，即，可以用父類的類型指向子類的對象。

③如果泛型接口，泛型類型前面有關鍵字in標注，則表示其方法的輸入為T類型，也就是方法的參數(shù)。該泛型接口支持抗變，也就是可以用子類的類型指向父類的對象。

以上就是本文的全部內容，希望本文的內容對大家的學習或者工作能帶來一定的幫助，同時也希望多多支持我們！

上一篇：C#導入導出Excel數(shù)據(jù)的兩種方法

欄目：C#教程

下一篇：C#使用iTextSharp添加PDF水印

本文標題：C# 泛型接口的抗變和協(xié)變

本文地址：http://mengdiqiu.com.cn/a1/C_jiaocheng/5822.html

更多C#教程

欧美大屁股bbbbxxxx,狼人大香伊蕉国产www亚洲,男ji大巴进入女人的视频小说,男人把ji大巴放进女人免费视频,免费情侣作爱视频

C#教程

C# 泛型接口的抗變和協(xié)變

您可能感興趣的文章

閱讀排行

本欄相關

隨機閱讀