MSDN:委托与接口，协变与逆变

委托和接口都允许类设计器分离类型声明和实现。给定的接口可由任何类或结构继承和实现；可以为任何类中的方法创建委托，前提是该方法符合委托的方法签名。接口引用或委托可由不了解实现该接口或委托方法的类的对象使用。既然存在这些相似性，那么类设计器何时应使用委托，何时又该使用接口呢？

在以下情况中使用委托：

·                 当使用事件设计模式时。

·                 当封装静态方法可取时。

·                 当调用方不需要访问实现该方法的对象中的其他属性、方法或接口时。

·                 需要方便的组合。

·                 当类可能需要该方法的多个实现时。

在以下情况中使用接口：

·                 当存在一组可能被调用的相关方法时。

·                 当类只需要方法的单个实现时。

·                 当使用接口的类想要将该接口强制转换为其他接口或类类型时。

·                 当正在实现的方法链接到类的类型或标识时：例如比较方法。

使用单一方法接口而不使用委托的一个很好的示例是 IComparable 或 IComparable。IComparable 声明 CompareTo 方法，该方法返回一个整数，以指定相同类型的两个对象之间的小于、等于或大于关系。IComparable 可用作排序算法的基础，虽然将委托比较方法用作排序算法的基础是有效的，但是并不理想。因为进行比较的能力属于类，而比较算法不会在运行时改变，所以单一方法接口是理想的。

将委托方法与委托签名匹配时，协变和逆变提供了一定程度的灵活性。协变允许将带有派生返回类型的方法用作委托，逆变允许将带有派生参数的方法用作委托。这使委托方法的创建变得更为灵活，并能够处理多个特定的类或事件。

 

 

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

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

class Mammals

{

}

 

class Dogs : Mammals

{

}

 

class Program

{

    // Define the delegate.

    public delegate Mammals HandlerMethod();

 

    public static Mammals FirstHandler()

    {

        return null;

    }

 

    public static Dogs SecondHandler()

    {

        return null;

    }

 

    static void Main()

    {

        HandlerMethod handler1 = FirstHandler;

 

        // Covariance allows this delegate.

        HandlerMethod handler2 = SecondHandler;

    }

}

逆变

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

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

class Mammals

{

}

 

class Dogs : Mammals

{

}

 

class Program

{

    public delegate void HandlerMethod(Dogs sampleDog);

 

    public static void FirstHandler(Mammals elephant)

    {

    }

 

    public static void SecondHandler(Dogs sheepDog)

    {

    }

 

    static void Main(string[] args)

    {

        // Contravariance permits this delegate.

        HandlerMethod handler1 = FirstHandler;

 

        HandlerMethod handler2 = SecondHandler;

    }

}