C# 泛型接口的抗变和协变

 更新时间:2017年03月30日 10:09:21   作者:醉秋风  
本篇文章主要介绍了C#中泛型接口的抗变和协变的相关知识。具有很好的参考价值,下面跟着小编一起来看下吧

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类型,也就是方法的参数。该泛型接口支持抗变,也就是可以用子类的类型指向父类的对象。

以上就是本文的全部内容,希望本文的内容对大家的学习或者工作能带来一定的帮助,同时也希望多多支持脚本之家!

相关文章

  • C#删除字符串中重复字符的方法

    C#删除字符串中重复字符的方法

    这篇文章主要介绍了C#删除字符串中重复字符的方法,涉及C#针对字符串的遍历及移除等操作的技巧,非常具有实用价值,需要的朋友可以参考下
    2015-02-02
  • C#使用stackalloc分配堆栈内存和非托管类型详解

    C#使用stackalloc分配堆栈内存和非托管类型详解

    这篇文章主要为大家介绍了C#使用stackalloc分配堆栈内存和非托管类型详解,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪<BR>
    2022-12-12
  • C#实现获取机器码的示例详解

    C#实现获取机器码的示例详解

    这篇文章主要为大家详细介绍了如何利用C#实现获取机器码的功能,文中的示例代码讲解详细,对我们学习C#有一定的帮助,感兴趣的小伙伴可以跟随小编一起了解一下
    2022-12-12
  • C#异步编程详解

    C#异步编程详解

    本文主要介绍异步编程中Task、Async和Await的基础知识。具有很好的参考价值,下面跟着小编一起来看下吧
    2017-02-02
  • C#数组初始化简析

    C#数组初始化简析

    C#数组与其它C系列语言有着很多的不同,以前接触的时候理解出现很大的偏差。尤其是对多维数组的认识,本文将详细介绍C#数组初始化,需要的朋友可以参考下
    2012-11-11
  • 如何用.NETCore操作RabbitMQ

    如何用.NETCore操作RabbitMQ

    这篇文章主要介绍了如何用.NETCore操作RabbitMQ,对中间件感兴趣的同学,可以参考下
    2021-05-05
  • C#实现3D效果完整实例

    C#实现3D效果完整实例

    这篇文章主要介绍了C#实现3D效果的方法,结合完整实例形式分析了C#实现文字3D显示效果的具体步骤与相关操作技巧,需要的朋友可以参考下
    2016-08-08
  • C#使用DevExpress中的XtraCharts控件实现图表

    C#使用DevExpress中的XtraCharts控件实现图表

    这篇文章介绍了C#使用DevExpress中的XtraCharts控件实现图表的方法,文中通过示例代码介绍的非常详细。对大家的学习或工作具有一定的参考借鉴价值,需要的朋友可以参考下
    2022-05-05
  • C# 设计模式系列教程-装饰模式

    C# 设计模式系列教程-装饰模式

    每个装饰对象只关心自己的功能,不需要关心如何被添加到对象链当中。它是由Decorator的SetComponent方法来实现的,因而它们的职责是单一的。
    2016-06-06
  • C#获取任务栏显示进程的方法

    C#获取任务栏显示进程的方法

    这篇文章主要介绍了C#获取任务栏显示进程的方法,涉及C#针对进程操作的相关技巧,具有一定参考借鉴价值,需要的朋友可以参考下
    2015-08-08

最新评论