C#中协变抗变之我见

来源：互联网发布：mysql truncate 锁表编辑：程序博客网时间：2024/04/19 08:06

在.NET4.0中，新加入了协变与抗变的内容，最近查了一下MSDN，对它有了一个大概的理解，希望能够帮助到和我一样的菜鸟。

协变：

协变非常类似于普通的多态性的分配，它是针对成员的返回值类型，定义时使用关键字out，假定您有一个名为 Base 的基类和一个名为Derived 的派生类：

IEnumerable<Derived> d = new List<Derived>();
IEnumerable<Base> b = d;

这就是一个简单的协变的应用，它主要是从派生类到基类的一个转化。

抗变（逆变）：

      抗变主要是在传递类型参数的时候使用的，定义时使用关键字in，这样做有利于保证参数传递的安全性和效率。还是上边的例子：
     IDisplay<Base> bd=new ShapeDisplay();
     IDisplay<Derived> dd=bd;

这是一个简单的抗变的例子，它主要是从基类到派生类的转换。

下边是一个协变抗变综合在一块的例子：

using System;using System.Collections;using System.Collections.Generic;namespace xiebian{public class Shape{public double Width{get;set;}public double Height{get;set;}public override string ToString(){return String.Format("Width:{0}, Height:{1}",Width,Height);}}public class Rectangle:Shape{}public interface IIndex<out T>{T this[int index]{get;}int Count{get;}}public class RectangleCollection:IIndex<Rectangle>{private Rectangle[] data=new Rectangle[3]{new Rectangle{Height=1,Width=5},new Rectangle{Height=2,Width=6},new Rectangle{Height=5,Width=7}};public static RectangleCollection GetRectangles(){return new RectangleCollection();}public Rectangle this[int index]{get{if(index<0||index>data.Length)throw new ArgumentOutOfRangeException("index");return data[index];}}public int Count{get{return data.Length;}}}public interface IDisplay<in T>{void Show(T item);}public class ShapeDisplay:IDisplay<Shape>{public void Show(Shape s){Console.WriteLine("{0} Width:{1} ,Height:{2}",s.GetType().Name,s.Width,s.Height);}}class Program{public static void Main(){IIndex<Rectangle> rectangles=RectangleCollection.GetRectangles();IIndex<Shape> shapes=rectangles;//这里用的是协变，它是针对成员的返回值类型，从派生类到基类的转换。

for(int i=0;i<shapes.Count;i++)Console.WriteLine(shapes[i]);IDisplay<Shape> shapedisplay=new ShapeDisplay();IDisplay<Rectangle> rectangledisplay=shapedisplay;//这里用的是抗变，它是针对传递的参数类型，从基类到派生类的转换。

//当然，前提是保证程序能够正常的运行，即：IDisplay(Shape s)not IDisplay(Rectangle s)（需要的是基类即可完成的任务）rectangledisplay.Show(rectangles[0]);}}}

结果：