Выполнение этого кода приводит к следующему результату. Замена пробелов дефисами. Обращение строки. Результирующая строка: .тсет-йотсорп-отЭ Обращение строки. Удаление пробелов. Результирующая строка: .тсетйотсорпотЭ
В методе Main() из рассматриваемого здесь примера кода создаются четыре экзем пляра делегата. Первый из них, strOp, является пустым, а три остальных ссылаются на конкретные методы видоизменения строки. Затем организуется групповая адресация для вызова методов RemoveSpaces() и Reverse(). Это делается в приведенных ниже строках кода. strOp = replaceSp; strOp += reverseStr
Сначала делегату strOp присваивается ссылка replaceSp, а затем с помощью опе ратора += добавляется ссылка reverseStr. При обращении к делегату strOp вызы ваются оба метода, заменяя пробелы дефисами и обращая строку, как и показывает приведенный выше результат.
Далее ссылка replaceSp удаляется из цепочки вызовов в следующей строке кода: strOp -= replaceSp;
и добавляется ссылка removeSp в строке кода. strOp += removeSp;
После этого вновь происходит обращение к делегату strOp. На этот раз обращает ся строка с удаленными пробелами.
Цепочки вызовов являются весьма эффективным механизмом, поскольку они по зволяют определить ряд методов, выполняемых единым блоком. Благодаря этому улучшается структура некоторых видов кода. Кроме того, цепочки вызовов имеют осо бое значение для обработки событий, как станет ясно в дальнейшем. Ковариантность и контравариантность
Делегаты становятся еще более гибкими средствами программирования благодаря двум свойствам: ковариантности и контравариантности. Как правило, метод, передава емый делегату, должен иметь такой же возвращаемый тип и сигнатуру, как и делегат. Но в отношении производных типов это правило оказывается не таким строгим бла годаря ковариантности и контравариантности. В частности, ковариантность позволяет присвоить делегату метод, возвращаемым типом которого служит класс, производный от класса, указываемого в возвращаемом типе делегата. А контравариантность позво ляет присвоить делегату метод, типом параметра которого служит класс, являющийся базовым для класса, указываемого в объявлении делегата.
Ниже приведен пример, демонстрирующий ковариантность и контравариант ность. // Продемонстрировать ковариантность и контравариантность. 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, // а параметром делегата ChangeIt — объект класса Y. Но благодаря // контравариантности следующая строка кода вполне допустима. Changelt change = IncrA; X Xob = change(Yob); Console.WriteLine("Xob: " + Xob.Val); // В этом случае возвращаемым типом метода IncrB служит объект класса Y, // а возвращаемым типом делегата ChangeIt — объект класса X. Но благодаря // ковариантности следующая строка кода оказывается вполне допустимой. change = IncrB; Yob = (Y) change (Yob); Console.WriteLine("Yob: " + Yob.Val); } }
Вот к какому результату приводит выполнение этого кода. Xob: 1 Yob: 1
В данном примере класс Y является производным от класса X. А делегат ChangeIt объявляется следующим образом. delegate X ChangeIt(Y obj);
Делегат возвращает объект класса X и принимает в качестве параметра объект клас са Y. А методы IncrA() и IncrB() объявляются следующим образом. static X IncrA(X obj) static Y IncrB(Y obj)
Метод IncrA() принимает объект класса X в качестве параметра и возвращает объект того же класса. А метод IncrB() принимает в качестве параметра объект клас са Y и возвращает объект того же класса. Но благодаря ковариантности и контравари антности любой из этих методов может быть передан делегату ChangeIt, что и демон стрирует рассматриваемый здесь пример.
Таким образом, в строке ChangeIt change = IncrA;
метод IncrA() может быть передан делегату благодаря контравариантности, так как объект класса X служит в качестве параметра метода IncrA(), а объект класса Y — в качестве параметра делегата ChangeIt. Но метод и делегат оказываются совмести мыми в силу контравариантности, поскольку типом параметра метода, передаваемого делегату, служит класс, являющийся базовым для класса, указываемого в качестве типа параметра делегата.
Приведенная ниже строка кода также является вполне допустимой, но на этот раз благодаря ковариантности. change = IncrB;
В данном случае возвращаемым типом для метода IncrB() служит класс Y, а для делегата — класс X. Но поскольку возвращаемый тип метода является производным классом от возвращаемого типа делегата, то оба оказываются совместимыми в силу ковариантности. Класс System.Delegate
Все делегаты и классы оказываются производными неявным образом от класса System.Delegate. Как правило, членами этого класса не пользуются непосред ственно, и это не делается явным образом в данной книге. Но члены класса System. Delegate могут оказаться полезными в ряде особых случаев. Назначение делегатов
В предыдущих примерах был наглядно продемонстрирован внутренний механизм действия делегатов, но эти примеры не показывают их истинное назначение. Как пра вило, делегаты применяются по двум причинам. Во-первых, как упоминалось ранее в этой главе, делегаты поддерживают события. И во-вторых, делегаты позволяют вы зывать методы во время выполнения программы, не зная о них ничего определенно го в ходе компиляции. Это очень удобно для создания базовой конструкции, допу скающей подключение отдельных программных компонентов. Рассмотрим в качестве примера графическую программу, аналогичную стандартной сервисной программе Windows Paint. С помощью делегата можно предоставить пользователю возможность подключать специальные цветные фильтры или анализаторы изображений. Кроме того, пользователь может составлять из этих фильтров или анализаторов целые по следовательности. Подобные возможности программы нетрудно обеспечить, исполь зуя делегаты. Анонимные функции
Метод, на который ссылается делегат, нередко используется только для этой цели. Иными словами, единственным основанием для существования метода служит то об стоятельство, что он может быть вызван посредством делегата, но сам он не вызывается вообще. В подобных случаях можно воспользоваться анонимной функцией, чтобы не создавать отдельный метод. Анонимная функция, по существу, представляет собой безымянный кодовый блок, передаваемый конструктору делегата. Преимущество ано нимной функции состоит, в частности, в ее простоте. Благодаря ей отпадает необходи мость объявлять отдельный метод, единственное назначение которого состоит в том, что он передается делегату.
Начиная с версии 3.0, в C# предусмотрены две разновидности анонимных функ ций: анонимные методы и лямбда-выражения. Анонимные методы были внедрены в C# еще в версии 2.0, а лямбда-выражения — в версии 3.0. В целом лямбда-выражение со вершенствует принцип действия анонимного метода и в настоящее время считается более предпочтительным для создания анонимной функции. Но анонимные методы широко применяются в существующем коде С# и поэтому по-прежнему являются важной составной частью С#. А поскольку анонимные методы предшествовали по явлению лямбда-выражений, то ясное представление о них позволяет лучше понять особенности лямбда-выражений. К тому же анонимные методы могут быть использо ваны в целом ряде случаев, где применение лямбда-выражений оказывается невозмож ным. Именно поэтому в этой главе рассматриваются и анонимные методы, и лямбда- выражения. Анонимные методы
Анонимный метод — один из способов создания безымянного блока кода, связан ного с конкретным экземпляром делегата. Для создания анонимного метода достаточ но указать кодовый блок после ключевого слова delegate. Покажем, как это делается, на конкретном примере. В приведенной ниже программе анонимный метод служит для подсчета от 0 до 5. // Продемонстрировать применение анонимного метода. using System; // Объявить тип делегата. delegate void CountIt(); class AnonMethDemo { static void Main() { // Далее следует код для подсчета чисел, передаваемый делегату // в качестве анонимного метода. CountIt count = delegate { // Этот кодовый блок передается делегату. for(int i=0; i <= 5; i++) Console.WriteLine(i); }; // обратите внимание на точку с запятой count(); } }