C# 4.0 полное руководство - 2011

Делегаты становятся еще более гибкими средствами программирования благодаря двум свойствам:ковариантностииконтравариантности.Как правило, метод, передаваемый делегату,-должен иметь такой же возвращаемый тип и сигнатуру, как и делегат. Но в отношении производных типов это правило оказывается не таким строгим благодаря ковариантности и контравариантности. В частности, ковариантность позволяет присвоить делегату метод, возвращаемым типом которого служит класс, производный от класса, указываемого в возвращаемом типе делегата. А контравариантность позволяет присвоить делегату метод, типом параметра которого служит класс, являющийся базовым для класса, указываемого в объявлении делегата.

Ниже приведен пример, демонстрирующий ковариантность и контравариантность.

// Продемонстрировать ковариантность и контравариантность.

using System;

class X {

public int Val;

}

// Класс Y, производный от класса X. class Y : X { }

// Этот делегат возвращает объект класса X и // принимает объект класса Y в качестве аргумента, delegate X ChangeIt(Y obj);

class CoContraVariance {

// Этот метод возвращает объект класса X и // имеет объект класса X в качестве параметра, static X IncrA(X obj) {

X temp = new X ; temp.Val = obj.Val + 1; return •temp;

}

// Этот метод возвращает объект класса Y и // имеет объект класса Y в качестве параметра, static Y IncrB(Y obj) {

Y    temp = new Y; temp.Val = obj.Val + 1; return temp;

}

static void Main {

Y    Yob = new Y;

// В данном случае параметром метода IncrA является объект класса X,

// а параметром делегата Changelt — объект класса Y. Но благодаря // контравариантности следующая строка кода вполне допустима.

Changelt change = IncrA;

X Xob = change(Yob);

Console.WriteLine("Xob: " + Xob.Val);

// В этом случае возвращаемым типом метода IncrB служит объект класса Y, // а возвращаемым типом делегата Changelt — объект класса X. Но благодаря // ковариантности следующая строка кода оказывается вполне допустимой, change = IncrB;

Yob = (Y) change(Yob);

Console.WriteLine("Yob: " + Yob.Val);

}

}

Вот к какому результату приводит выполнение этого кода.

Xob: 1 Yob: 1

В данном примере классYявляется производным от классаX.А делегатChangeltобъявляется следующим образом.

delegate X Changelt(Y obj);

Делегат возвращает объект классаXи принимает в качестве параметра объект классаY.А методыIncrA иIncrB объявляются следующим образом.

static X IncrA(X obj) static Y IncrB(Y obj)