c#协变和抗变_C# 基础系列--泛型（抗变和协变）

泛型的抗变和协变是在.NET4.0中才增加， 这对之前的接口的一个不错的扩展。抗变和协变是指针对参数和返回值的类型转换。

看了下评论，抗变和协变 在 msdn的翻译是逆变和协变。我先是看C#高级编程第七版的中文版的，所以还是比较习惯抗变和协变。

抗变和协变的在msdn的解释

在 C# 和 Visual Basic 中，协变和逆变允许数组类型、委托类型和泛型类型参数进行隐式引用转换。 协变保留分配兼容性，逆变与之相反。

关键字的传送门：out

通过协变，可以使用与泛型参数指定的派生类型相比，派生程度更大的类型。 这样可以对委托类型和实现变体接口的类进行隐式转换。 引用类型支持协变和逆变，但值类型不支持。

通过逆变，可以使用与泛型参数指定的派生类型相比，派生程度更小的类型。 这样可以对委托类型和实现变体接口的类进行隐式转换。 引用类型支持泛型类型参数中的协变和逆变，但值类型不支持。

在.NET中 参数类型是协变，返回值是抗变。

不要废话了，先定义两个我们例子用的实体类---基类  RectangleBase  派生类--Rectangle

public class RectangleBase

{

public int ID { get; set; }

}

public class Rectangle : RectangleBase

{

public string Name { get; set; }

}

如果有个方法 public void Display(RectangleBase  r)  我们传入一个 Rectangle 的实体，那么就是一个参数类型的协变

如果有个方法public RectangleBase   GetRectangle()  我们这里 RectangleBase b = GetRectangle() 那么这就是方法返回类型的抗变。

在4.0之前，泛型接口是不拥有想上面类的便利性。很幸运，微软在 4.0对泛型接口扩展这写！

协变

如果泛型接口中有关键字 out的，那个这个泛型接口就是协变。这个就定义了这个接口只能返回类型只能是T。

我们先定义一个接口

public interface IIndex

{

T this[int index] { get; }

int Count { get; }

}

我们的实现类：

public class RectangleCollection : IIndex

{

List list = new List();

public Rectangle this[int index]

{

get

{

if (index < 0 || index > Count)

throw new ArgumentOutOfRangeException("index");

return list[index];

}

}

public int Count

{

get { return list.Count; }

}

public void　 Add(Rectangle value)

{

list.Add(value);

}

}

然后我们在控制台是这样：

var list = new RectangleCollection();

list.Add(new Rectangle { ID = 1, Name = "111" });

list.Add(new Rectangle { ID = 2, Name = "222" });

list.Add(new Rectangle { ID = 3, Name = "33" });

IIndex Bas = list;

for (int i = 0; i < Bas.Count; i++)

{

Console.WriteLine(Bas[i].ID);

}

Console.Read();

协变很简单吧。。。如果你吧关键字out 去掉后，编译器很快就会个告诉你  IIndex Bas = list; 错误。因为你没有告诉他 这个T是可以变的

抗变

如果泛型接口有关键字in ，那么表示这个泛型接口是可以抗变的。这样，接口也只能把泛型类型T用作方法的输入。

定义泛型抗变的 接口

public interface IDisplay(in T)

{

void Show(T item);

}

抗变类：

public class RectangleDisplay: IDisplay

{

public void Show(RectangBase item)

{

Console.WrileLine(item.ID);

}

}

这篇写的不是很好，因为我自己也不是吃的很透，今天在朋友的稍稍点拨下，算是有点 理解这个了。第一次接触这个东西到现在又一年多了，今天才理解点，惭愧惭愧。