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

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

赞 (0)

相关推荐

  • 深入解析C#中的泛型类与泛型接口

    泛型类 泛型类封装不是特定于具体数据类型的操作.泛型类最常用于集合,如链接列表.哈希表.堆栈.队列.树等.像从集合中添加和移除项这样的操作都以大体上相同的方式执行,与所存储数据的类型无关. 对于大多数需要集合类的方案,推荐的方法是使用 .NET Framework 类库中所提供的类. 一般情况下,创建泛型类的过程为:从一个现有的具体类开始,逐一将每个类型更改为类型参数,直至达到通用化和可用性的最佳平衡.创建您自己的泛型类时,需要特别注意以下事项: 将哪些类型通用化为类型参数. 通常,能够参数化的

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

    1, 泛型接口的协变 如果泛型类型用out关键字标注,泛型接口就是协变的.这也意味着返回类型只能是T. 泛型接口的抗变 如果泛型类型用in关键字标注,泛型接口就是抗变的.这样,接口只能把泛型类型T用作其方法的输入,即方法的参数. 这是泛型接口的抗变和协变的定义,那我们下面来用代码说明,直接上代码, /// <summary> /// 泛型接口 /// </summary> /// <typeparam name="T"></typeparam&

  • 详解.NET 4.0中的泛型协变（covariant）和反变（contravariant）

    随Visual Studio 2010 CTP亮相的C#4和VB10,虽然在支持语言新特性方面走了相当不一样的两条路:C#着重增加后期绑定和与动态语言相容的若干特性,VB10着重简化语言和提高抽象能力:但是两者都增加了一项功能:泛型类型的协变(covariant)和反变(contravariant).许多人对其了解可能仅限于增加的in/out关键字,而对其诸多特性有所不知.下面我们就对此进行一些详细的解释,帮助大家正确使用该特性. 背景知识:协变和反变 很多人可能不不能很好地理解这些来自于物理和

  • 详细介绍C# 泛型

    在C#开发中,必不可少的要用到泛型.泛型是.NET2.0版本就有的,它广泛应用于C#框架中容器的使用中.下面我们来详细介绍一下. 一.泛型的主要优势 1.性能更高. 2.类型更安全. 3.代码更多的重用和扩展性. 二.泛型的基本使用 泛型的一个主要优点是性能,我们来看下面的例子: static void Main(string[] args) { //不是泛型的集合类 ArrayList list = new ArrayList(); //添加一个值类型 装箱操作 list.Add(12); /

  • C#泛型接口的协变和逆变

    1.什么是协变.逆变? 假设:TSub是TParent的子类.协变:如果一个泛型接口IFoo<T>,IFoo<TSub>可以转换为IFoo<TParent>的话,我们称这个过程为协变,IFoo支持对参数T的协变.逆变:如果一个泛型接口IFoo<T>,IFoo<TParent>可以转换为IFoo<TSub>的话,我们称这个过程为逆变,IFoo支持对参数T的逆变. 2.为什么要有协变.逆变? 通常只有具备继承关系的对象才可以发生隐式类型转

  • 基于.Net中的协变与逆变的深入分析

    关于协变和逆变要从面向对象继承说起.继承关系是指子类和父类之间的关系:子类从父类继承所以子类的实例也就是父类的实例.比如说Animal是父类,Dog是从Animal继承的子类:如果一个对象的类型是Dog,那么他必然是Animal.协变逆变正是利用继承关系 对不同参数类型或返回值类型 的委托或者泛型接口之间做转变.我承认这句话很绕,如果你也觉得绕不妨往下看看.如果一个方法要接受Dog参数,那么另一个接受Animal参数的方法肯定也可以接受这个方法的参数,这是Animal向Dog方向的转变是逆变.如

  • C#逆变与协变详解

    C#逆变与协变详解

    该文章中使用了较多的 委托delegate和Lambda表达式,如果你并不熟悉这些,请查看我的文章<委托与匿名委托>.<匿名委托与Lambda表达式>以便帮你建立完整的知识体系. 在C#从诞生到发展壮大的过程中,新知识点不断引入.逆变与协变并不是C#独创的,属于后续引入.在Java中同样存在逆变与协变,后续我还会写一篇Java逆变协变的文章,有兴趣的朋友可以关注一下. 逆变与协变,听起来很抽象.高深,其实很简单.看下面的代码: class Person { } class Stud

  • C#4.0新特性之协变与逆变实例分析

    本文实例讲述了C#4.0新特性的协变与逆变,有助于大家进一步掌握C#4.0程序设计.具体分析如下: 一.C#3.0以前的协变与逆变 如果你是第一次听说这个两个词,别担心,他们其实很常见.C#4.0中的协变与逆变(Covariance and contravariance)有了进一步的完善,主要是两种运行时的(隐式)泛型类型参数转换.简单来讲,所谓协变(Covariance)是指把类型从"小"升到"大",比如从子类升级到父类:逆变则是指从"大"变到

  • c#协变和逆变实例分析

    本文实例讲述了c#协变和逆变的原理及应用.分享给大家供大家参考.具体如下: 由子类向父类方向转变是协变,用out关键字标识,由父类向子类方向转变是逆变,用in关键字 协变和逆变的应用   一. 数组的协变 复制代码 代码如下: Animal[] animalArray = new Dog[]{}; 说明:声明的数组数据类型是Animal,而实际上赋值时给的是Dog数组:每一个Dog对象都可以安全的转变为Animal.Dog向Animal方法转变是沿着继承链向上转变的所以是协变   二． 委托中的

  • C#中的协变与逆变深入讲解

    什么是协变与逆变 MSDN的解释: https://msdn.microsoft.com/zh-cn/library/dd799517.aspx 协变和逆变都是术语,前者指能够使用比原始指定的派生类型的派生程度更小(不太具体的)的类型,后者指能够使用比原始指定的派生类型的派生程度更大(更具体的)的类型. 泛型类型参数支持协变和逆变,可在分配和使用泛型类型方面提供更大的灵活性. 一开始我总是分不清协变和逆变,因为MSDN的解释实在是严谨有余而易读不足. 其实从中文的字面上来理解这两个概念就挺容易的

  • 一篇文章看懂C#中的协变、逆变

    一篇文章看懂C#中的协变、逆变

    1. 基本概念 官方:协变和逆变都是术语,前者指能够使用比原始指定的派生类型的派生程度更大(更具体的)的类型,后者指能够使用比原始指定的派生类型的派生程度更小(不太具体的)的类型.[MSDN] 公式: 协变:IFoo<父类> = IFoo<子类>: 逆变:IBar<子类> =  IBar<父类>: 暂时不理解没关系,您接着往下看. 2. 协变(Covariance) 1) out关键字 对于泛型类型参数,out 关键字可指定类型参数是协变的. 可以在泛型接口

随机推荐