Net framework 5, а также среды Visual Studio 2012 и C#

442
Глава.17 .Делегаты
рис. 17.2.
.Верхняя.переменная.ссылается.на.делегата.статического.метода,.
нижняя.—.на.делегата.экземплярного.метода
Теперь, когда вы познакомились с процессом создания делегатов и их внутрен-
ней структурой, поговорим о методах обратного вызова. Рассмотрим еще раз код 
метода 
Counter
:
private static void Counter(Int32 from, Int32 to, Feedback fb) {
for (Int32 val = from; val <= to; val++) {
// Если указаны методы обратного вызова, вызываем их
if (fb != null)
fb(val);
}
}
Обратите внимание на строку под комментарием. Инструкция 
if
сначала про-
веряет, не содержит ли переменная 
fb
значения 
null
. Если проверка пройдена, обра-
щаемся к методу обратного вызова. Такая проверка необходима потому, что 
fb
— это 
всего лишь переменная, ссылающаяся на делегат 
Feedback
; она может иметь, в том 
числе, значение 
null
. Может показаться, что происходит вызов функции 
fb
, которой 
передается один параметр (
val
). Но у нас нет функции с таким именем. И компилятор 
генерирует код вызова метода 
Invoke
делегата, так как он знает, что переменная 
fb
ссылается на объект делегата. Другими словами, при обнаружении строки
fb(val);
компилятор генерирует такой же код, как и для строки:
fb.Invoke(val);
Воспользовавшись утилитой 
ILDasm exe
для исследования кода метода 
Counter
, 
можно убедиться, что компилятор генерирует код, вызывающий метод 
Invoke
. 
Далее показан IL-код метода 
Counter
. Команда в строке 
IL_0009
является вызовом 
метода 
Invoke
объекта 
Feedback
.
.method private hidebysig static void Counter(int32 from,
int32 'to',
class Feedback fb) cil managed
{
// Code size 23 (0x17)
.maxstack 2
.locals init (int32 V_0)

---

443
Обратный.вызов.нескольких.методов.(цепочки.делегатов)
IL_0000: ldarg.0
IL_0001: stloc.0
IL_0002: br.s IL_0012
IL_0004: ldarg.2
IL_0005: brfalse.s IL_000e
IL_0007: ldarg.2
IL_0008: ldloc.0
IL_0009: callvirt instance void Feedback::Invoke(int32)
IL_000e: ldloc.0
IL_000f: ldc.i4.1
IL_0010: add
IL_0011: stloc.0
IL_0012: ldloc.0
IL_0013: ldarg.1
IL_0014: ble.s IL_0004
IL_0016: ret
} // end of method Program::Counter
В принципе метод 
Counter
можно изменить, включив в него явный вызов 
Invoke
:
private static void Counter(Int32 from, Int32 to, Feedback fb) {
for (Int32 val = from; val <= to; val++) {
// Если указаны методы обратного вызова, вызываем их
if (fb != null)
fb.Invoke(val);
}
}
Надеюсь, вы помните, что компилятор определяет метод 
Invoke
при определе-
нии класса 
Feedback
. Вызывая этот метод, он использует закрытые поля 
_target
и 
_methodPtr
для вызова желаемого метода на заданном объекте. Обратите внима-
ние, что сигнатура метода 
Invoke
совпадает с сигнатурой делегата, ведь и делегат 
Feedback
, и метод 
Invoke
принимают один параметр типа 
Int32
и возвращают 
значение 
void
.