.Net 2.0 新功能：委托中的协变与逆变（Covariance and Contravariance in Delegates）

委托中的协变与逆变（Covariance and Contravariance in Delegates）

委托中的协变

1.       当委托方法的返回类型具有的派生程序比委托签名更大时，就称为协变委托方法。因为方法的返回类型比委托签名的返回类型更具体，所以可对其进行隐式转换，这样该方法就可用作委托。

2.       协变使得创建可被类和派生类同时使用的委托方法成为可能。

class Animals ...{ }

class Dogs : Animals ...{ }

class Program

...{

    public delegate Animals HandlerMethod();

    public static Animals FirstHandler() ...{ return null; }

    public static Dogs SecondHandler() ...{ return null; }

    static void Main()

    ...{

        HandlerMethod handler1 = FirstHandler;

        HandlerMethod handler2 = SecondHandler;

    }

}

委托中的逆变

3.       当委托方法签名具有一个或多个参数，并且这些参数的类型派生自方法参数的类型时，就称为逆变委托方法。因为委托方法签名参数比方法参数更具体，因此可在传递给处理程序方法时对他们隐式转换。

4.       这样逆变使得大量类使用的更通用的委托方法的创建变得更简单。

class Animals ...{ }

class Dogs : Animals ...{ }

class Program

...{

    public delegate void HandlerMethod(Dogs dog);

    public static void FirstHandler(Animals elephant) ...{ return null; }

    public static void SecondHandler(Dogs adog) ...{ return null; }

    static void Main(string[] arg)

    ...{

        HandlerMethod handler1 = FirstHandler;

        HandlerMethod handler2 = SecondHandler;

    }

}