一句话清晰总结协变(covariant)和逆变 (contravariant)

  看到过园子里面几篇协变和逆变的文章,但是总觉得写得不够清晰,文章这东西最重要的是要把自己想表达的观点表达出来,这个过程应该是把复杂的东西消化出来从而简单化,清晰化,而不是故弄玄虚,反其道而行之,下面我们言归正传啦。

  我们先来看一段MSDN原文给协变,逆变和变体下个定义:

A generic interface or delegate is called variant if its generic parameters are declared covariant or contravariant. Both C# and Visual Basic enable you to create your own variant interfaces and delegates.

  如果泛型接口或委托的泛型参数声明为协变或逆变,则将该泛型接口或委托称为“变体”。 C# 和 Visual Basic 都允许您创建自己的变体接口和委托。

  通俗解释:

  变体定义 - 带有协变或逆变参数的泛型接口或委托。也就是说协变和逆变主要关注点在泛型接口或委托。

  那什么又是协变和逆变呢?

  协变

  我们先来看下面一个来自MSDN的例子:

// 协变
IEnumerable<string> strings = new List<string>();
IEnumerable<object> objects = strings;
//大家看到了么一个声明为IEnumerable<string>的接口类型被赋给了一个更低级别的IEnumerable<object>.
//对,这就是协变。再来看一个例子:
class Base
{
public static void PrintBases(IEnumerable<Base> bases)
{
foreach(Base b in bases)
{
Console.WriteLine(b);
}

}
}

class Derived : Base
{
public static void Main()
{
List<Derived> dlist = new List<Derived>();
Derived.PrintBases(dlist);
     //由于IEnumerable<T>接口是协变的,所以PrintBases(IEnumerable<Base> bases)
//可以接收一个更加具体化的IEnumerable<Derived>作为其参数。
IEnumerable<Base> bIEnum = dlist;
}
}

NET技术一句话清晰总结协变(covariant)和逆变 (contravariant),转载需保留来源!

郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。