Welcome

首页 / 软件开发 / .NET编程技术 / Visual Studio 2010:泛型委托的协变、逆变Demo

Visual Studio 2010:泛型委托的协变、逆变Demo2010-11-10 博客园 Roy Ming在语言中,“协变”是指能够使用与原始指定的派生类型相比,派生程度 更大的类型。“逆变”则是指能够使用派生程度更小的类型。在 .NET Framework 4 和 Visual Studio 2010 中,C# 和 Visual Basic 都支持在泛型接口和委托中 使用协变和逆变,并允许隐式转换泛型类型参数。

如果泛型接口或委托的泛型参数声明为协变或逆变,则将该泛型接口或委托称 为“变体”。C# 和 Visual Basic 都允许您创建自己的变体接口和委托。在匹配 方法签名和委托类型方面,非泛型委托也支持协变和逆变。这样,您不仅可以为 委托指派具有匹配签名的方法,而且可以指派这样的方法:它们返回与委托类型 指定的派生类型相比,派生程度更大的类型(协变),或者接受相比之下,派生 程度更小的类型的参数(逆变)。

实例

首先定义一个接口IColor及两个派生类

public interface IColor { }
public class Red : IColor { }
public class Blue : IColor { }

定义ColorDemo类用来写展示协变与逆变的逻辑

public class ColorDemo{}

编写具体实现

public class ColorDemo
{
//协变委托
private delegate T CovarianceDelegate<out T> ();
//逆变委托
private delegate void ContravarianceDelegate<in T>(T color);
private static string colorInfo;
public void CoreMethod()
{
//协变
CovarianceDelegate<IColor> a1 = ColorMethod;
a1.Invoke();
CovarianceDelegate<Red> a2 = RedMethod;
a2.Invoke();
a1 = a2;
a1.Invoke();
//逆变
ContravarianceDelegate<Blue> b1 = BlueMethod;
b1.Invoke(new Blue());
ContravarianceDelegate<IColor> b2 = ColorMethod;
b2.Invoke(new Red());
b1 = b2;
b1.Invoke(new Blue());
}
private void Invoke(dynamic invokeObj)
{
Console.WriteLine("invokeObj类型为:" + invokeObj.GetType().Name);
invokeObj.Invoke();
}
private IColor ColorMethod()
{
colorInfo = "无色";
Console.WriteLine(colorInfo);
return null;
}
private void ColorMethod(IColor color)
{
colorInfo = "无色";
Console.WriteLine(colorInfo);
}
private Red RedMethod()
{
colorInfo = "红色";
Console.WriteLine(colorInfo);
return new Red();
}
private void BlueMethod(Blue blue)
{
colorInfo = "蓝色";
Console.WriteLine(colorInfo);
}
}

运行结果

static void Main(string[] args)
{
ColorDemo colorDemo =new ColorDemo();
colorDemo.CoreMethod();
Console.ReadLine();
}