ldc.i4.s 10
callvirt instance int32 SimpleDelegate.BinaryOp::Invoke
…
}
Напомним, что делегаты .NET (в отличие от указателей функций в C) обеспечивают типовую безопасность. Поэтому, если вы попытаетесь передать делегату метод, "не соответствующий шаблону", вы получите сообщение об ошибке компиляции. Например, предположим, что класс SimpleMath определяет еще один метод, носящий имя SquareNumber.
public class SimpleMath {
public static int SquareNumber(int a) { return a * a; }
}
С учетом того, что делегат BinaryOp может указывать только на методы, принимающие два целых значения и возвращающие целое значение, следующий программный метод оказывается некорректным и компилироваться не будет.
// Ошибка! Метод не соответствует шаблону делегата!
BinaryOp b = new BinaryOp(SimpleMath.SquareNumber);
Исследование объекта делегата
Добавим в имеющийся пример вспомогательную функцию с именем DisplayDelegateInfo. Она будет выводить имена методов, поддерживаемых поступающим типом, производным от System.Delegate, а также имя класса, определяющего метод. Для этого мы выполним цикл по элементам массива System.Delegate, возвращенного из GetInvocationList, вызывая свойства Target и Method для каждого объекта.
static void DisplayDelegateInfo(Delegate delObj) {
// Вывод имен каждого из элементов
// списка вызовов делегата.
foreach (Delegate d in delQbj.GetInvocationList) {
Console.WriteLine("Имя метода: {0}", d.Method
Console.WriteLine("Имя типа: {0}", d.Target
}
}
Если изменить метод Main так, чтобы он вызывал этот новый вспомогательный метод, то вы увидите вывод, показанный на рис. 8.3.
Рис. 8.3. Проверка списка вызовов делегата
Обратите внимание на то, что здесь имя типа (SimpleMath) свойством Target не отображается. Причина в том, что наш делегат BinaryOp указывает на
static void Main(string[] args) {
Console.WriteLine("***** Пример делегата *****\n");
// Делегаты .NET могут указывать на методы экземпляра.
SimpleMath m = new SimpleMath;
BinaryOp b = new BinaryOp(m.Add);
// Вывод информации об объекте.
DisplayDelegateInfо(b);
Console.WriteLine("\n10 + 10 равно {0}", b(10, 10));
Console.ReadLine;
}
Теперь вы должны увидеть вывод, показанный на рис. 8.4.
Рис. 8.4. Проверка списка вызовов делегата (новая попытка)
Исходный код
. Проект SimpleDelegate размещен в подкаталоге, соответствующем главе 8.Модификация типа Car с учетом делегатов
Очевидно, что предыдущий пример SimpleDelegate был исключительно иллюстративным, поскольку нет никаких реальных причин строить делегаты для простого сложения двух чисел. Но этот пример раскрывает принципы работы с типами делегата. Для построения более реального примера мы модифицируем тип Car так, чтобы он посылал сообщения Exploded и AboutToBlow через делегаты .NET, a не через пользовательский интерфейс обратного вызова. Кроме отказа от реализации IEngineEvents, мы должны выполнить следующие шаги:
• определить делегаты AboutToBlow и Exploded;
• объявить члены-переменные всех типов делегата в классе Car;
• создать вспомогательные функции Car, которые позволят вызывающей стороне указать методы, поддерживаемые членами-переменными делегатов;
• обновить метод Accelerate, чтобы иметь возможность в подходящей ситуации обратиться к списку вызовов делегата.
Рассмотрите следующий обновленный класс Car, в котором решены первые три из указанных задач.
public class Car {
// Определение типов делегата.
public delegate void AboutToBlow(string msg);
public delegate void Exploded(string msg);
// Определение членов-переменных для каждого из типов.
private AboutToBlow almostDeadList;
private Exploded explodedList;