[转载]c#4.0——泛型委托的协变、逆变Demo

[转载]c#4.0——泛型委托的协变、逆变Demo – Roy Ming – 博客园.

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

在 .NET Framework 4 和 Visual Studio 2010 中，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 void CovarianceDelegate<out T>();
           //逆变委托
           private delegate void ContravarianceDelegate<in T>();
   
           private static string colorInfo;
           public void CoreMethod()
           {
               //协变
               CovarianceDelegate<IColor> a1 = ColorMethod;
               Invoke(a1);
               CovarianceDelegate<Red> a2= RedMethod;
               Invoke(a2);
               a1 = a2;
               Invoke(a1);
   
               //逆变
               ContravarianceDelegate<Red> b1 = RedMethod;
               Invoke(b1);
               ContravarianceDelegate<IColor> b2 = BlueMethod;
               Invoke(b2);
               b1 = b2;
               Invoke(b1);
   
           }
   
           private void Invoke(dynamic invokeObj)
           {
               Console.WriteLine("invokeObj类型为：" + invokeObj.GetType().Name);
               invokeObj.Invoke();
           }
   
           public void RedMethod()
           {
               colorInfo = "我现在是红色";
               Console.WriteLine(colorInfo);
           }
   
           public void BlueMethod()
           {
               colorInfo = "我现在是蓝色";
               Console.WriteLine(colorInfo);
           }
   
           public void ColorMethod()
           {
               colorInfo = "我现在是无色";
               Console.WriteLine(colorInfo);
           }
       }

4. 运行结果