vs2010——泛型委托的协变、逆变

 

在编程语言中,“协变”是指能够使用与原始指定的派生类型相比,派生程度更大的类型。
“逆变”则是指能够使用派生程度更小的类型。

在 .NET Framework 4 和 Visual Studio 2010 中,C# 和 Visual Basic 都支持在泛型接口和委托中使用协变和逆变,并允许隐式转换泛型类型参数。

 

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

在匹配方法签名和委托类型方面,非泛型委托也支持协变和逆变。这样,您不仅可以为委托指派具有匹配签名的方法,而且可以指派这样的方法:它们返回与委托类型指定的派生类型相比,派生程度更大的类型(协变),或者接受相比之下,派生程度更小的类型的参数(逆变)。

实例

  1. 首先定义一个接口IColor及两个派生类
    public interface IColor { }

    public class Red : IColor { }

    public class Blue : IColor { } 
  2. 定义ColorDemo类用来写展示协变与逆变的逻辑
     
      public class ColorDemo{}
  3. 编写具体实现
    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 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);
    }

    }

     

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

     


posted @ 2010-06-22 00:49  曼阳  阅读(3428)  评论(14编辑  收藏  举报