7.1.8 委托中的协变和抗变

<c#高级编程>

7.1.8  协变和抗变

委托调用的方法不需要与委托声明定义的类型相同。因此可能出现协变和抗变。

1. 返回类型协变

方法的返回类型可以派生于委托定义的类型。在下面的示例中，委托MyDelegate定义为返回DelegateReturn类型。赋予委托实例d1的方法返回DelegateReturn2类型，DelegateReturn2派生自DelegateReturn，因此满足了委托的需求。这称为返回类型协变。

public class DelegateReturn
{
}

public class DelegateReturn2 : DelegateReturn
{
}


public delegate DelegateReturn MyDelegate1();

class Program
{
static void Main()
{
MyDelegate1 d1 = Method1;
d1();
}


static DelegateReturn2 Method1()
{
DelegateReturn2 d2 = new DelegateReturn2();
return d2;
}
} 

 

2. 参数类型抗变

术语"参数类型抗变"表示，委托定义的参数可能不同于委托调用的方法。这里是返回类型不同，因为方法使用的参数类型可能派生自委托定义的类型。在下面的示例代码中，委托使用的参数类型是DelegateParam2，而赋予委托实例d2的方法使用的参数类型是DelegateParam，
DelegateParam是DelegateParam2的基类。

public class DelegateParam
{
}
public class DelegateParam2 : DelegateParam
{
}

public delegate void MyDelegate2(DelegateParam2 p);

class Program
{
static void Main()
{
MyDelegate2 d2 = Method2;
DelegateParam2 p = new DelegateParam2();
d2(p);
}

static void Method2(DelegateParam p)
{
}
}