Эндрю Троелсен - ЯЗЫК ПРОГРАММИРОВАНИЯ С# 2005 И ПЛАТФОРМА .NET 2.0. 3-е издание

static void Main(string[] args) {

ObtainCarDelegate targetA = new ObtainCarDelegate(GetBasicCar);

Carс = targetA();

ObtainSportsCarDelegate targetB = new ObtainSportsCarDelegate(GetSportsCar);

SportsCarsc = targetB();

Console.ReadLine();

}

}

По законам классического наследования в идеале лучше иметь один тип делегата, который мог бы указывать на методы, возвращающие либо тип Car, либо тип SportsCar (в конце концов, тип SportsCar связан с Car отношением наследования). Ковариантность позволяет реализовать именно такую возможность, т.е. построить один делегат, способный указывать на методы, возвращающие типы класса, связанные классическим отношением наследования.

class Program {

// Определение делегата, способного возвращать

// как Car, так и SportsCar.

public delegate Car ObtainVehicalDelegate();

public static Car GetBasicCar() {return new Car();}

public static SportsCar GetSportsCar() { return new SportsCar();}

static void Main(string[] args) {

Console.WriteLine("***** Ковариантность делегатов *****\n");

ObtainVehicalDelegate targetA = new ObtainVehicalDelegate(GetBasicCar);

Car c = targetA();

// Такое присваивание возможно вследствие ковариантности.

ObtainVehicalDelegate targetB = new ObtainVehicalDelegate(GetSportsCar);

SportsCar sc = (SportsCar)targetB();

Console.ReadLine();

}

}

Обратите внимание на то, что тип делегата ObtainVehicalDelegate был определен для того, чтобы указывать на методы, возвращающие строго типизованный Car. Однако в условиях ковариантности мы получаем возможность указывать и на методы, возвращающие производные типы. Чтобы получить производный тип, нужно просто выполнить явное преобразование.

Замечание.Точно так же ковариантность обеспечивает возможность создания делегата, который позволит указать на множество методов, получающих объекты, связанные классическим отношением наследования. Более подробная информация имеется в документации .NET Framework 2.0 SDK.

Исходный код.Проект DelegateCovariance размещен в подкаталоге, соответствующем главе 8.

Делегаты оказываются очень интересными конструкциями с той точки зрения, что они предоставляют возможность реализовать двухстороннее взаимодействие между объектами в памяти. Однако, и вы с этим согласитесь, работа с делегата-ми напрямую предполагает ввод больших по объему шаблонных фрагментов программного кода (определение делегата, объявление членов-переменных, создание пользовательских методов регистрации и отмены регистрации).

Поскольку возможность обратного вызови объектов другим объектом является очень полезной, в C# предлагается специальное ключевое слово event, позволяющее минимизировать неудобства программиста, связанные с непосредственным применением делегатов. При обработке ключевого слова event компилятор автоматически создает для вас методы регистрации и отмены регистрации, а также члены-переменные, необходимые для вашего типа делегата. Ключевое слово event Можно назвать синтаксической "конфеткой", позволяющей экономить время при вводе программного кода.

Замечание.Даже при использовании в C# ключевого слова event вам все равно придется вручную определять связанные с делегатом типы.

Процесс определения события состоит из двух шагов. Во-первых, вы должны определить делегат, который будет содержать методы, вызываемые при наступлении соответствующего события. Затем вы объявляете события (используя ключевое слово C# event) в терминах соответствующего делегата. Определение типа, способного посылать события, имеет следующий шаблон (записанный здесь в псевдокоде).

public class SenderOfEvents {

publicdelegate возврЗначение AssociatedDelegate (аргументы);

public eventAssociatedDelegate ИмяСобытия;

…

}

События типа Car будут иметь те же имена, что и предыдущие делегаты (AboutToBlow и Exploded). Новому делегату, с которым будут ассоциироваться события, будет назначено имя CarEventHandler. Вот начальные изменения, вносимые в определение типа Car.

public class Car {

// Этот делегат работает в связке с событиями Car

public delegate void CarEventHandler(string msg);

// Объект Car может посылать эти события.

public event CarEventHandler Exploded;

public event CarEventHandler AboutToBlow;

…

}

Отправка событий вызывающей стороне выполняется с помощью простого указания имени события и всех обязательных параметров, предусмотренных в определении соответствующего делегата. Вы должны проверить событие на значение null перед тем, как вызывать набор методов делегата, чтобы гарантировать регистрацию события вызывающей стороной. С учетом этого предлагается новый вариант метода Accelerate() для типа Car.

public void Accelerate(int delta) {

// Если машина сломана, генерируется событие Exploded.

if (carIsDead) {

if (Exploded!= null) Exploded("Извините, машина сломалась…");

} else {

currSpeed += delta;

// Вот-вот сломается?

if (10 == maxSpeed – currSpeed && AboutToBlow != null) {

AboutToBlow ("Осторожно! Могу сломаться!");

}

// Пока все OK!

if (currSpeed ›= maxSpeed) carIsDead = true;

else Console.WriteLine("-›CurrSpeed = {0}", currSpeed);

}

}

Мы наделили автомобиль способностью посылать два типа пользовательских событии, избавив себя от необходимости определять пользовательские функции регистрации. Немного позже мы приведем пример использования нашего нового автомобили, но сначала более подробно рассмотрим архитектуру событий.

Событие в C# представляется двумя скрытыми общедоступными методами, один из которых имеет префикс add_, а другой – префикс remove_. За этими префиксами следует имя события. Например, событие Exploded транслируется в пару CIL-методов с именами add_Exploded() и remove_Exploded(). Кроме приведения к методам add_XXX() и remove_XXX(), определение события на уровне CIL связывает данное событие с соответствующим делегатом.

Взгляните на CIL-инструкции для add_AboutToBlow(), и вы обнаружите программный код, почти идентичный программному коду вспомогательного метода OnAboutToBlow() из рассмотренного выше примера CarDelegate (обратите внимание на строку с вызовом Delegate.Combine()).

.method public hidebysig specialname instance void add_AboutToBlow(class CarEvents.Car/CarEventHandler 'value') cil managed synchronized {

.maxstack 8

ldarg.0

ldarg.0

ldfld class CarEvents.Car/CarEventHandler CarEvents.Car::AboutToBlow

ldarg.1

call class [mscorlib]System.Delegate [mscorlib] System.Delegate::Combine(class [mscorlib]System.Delegate, class [mscorlib]System.Delegate)

castclass CarEvents.Car/CarEventHandler

stfld class CarEvents.Car/CarEventHandler

CarEvents.Car::AboutToBlow

ret

}

В соответствии с ожиданиями, метод remove_AboutToBlow() неявно (опосредованно) вызывает Delegate.Remove() и приблизительно соответствует определенному выше вспомогательному методу RemoveAboutToBlow().