В качестве примера ниже приведен вариант предыдущей программы, измененный с целью передать в качестве аргумента конечное значение для подсчета.

//Продемонстрировать применение анонимного метода, принимающего аргумент.

using System;

//Обратите внимание: теперь у делегата Countlt имеется параметр,

delegate void Countlt(int end); class AnonMethDemo2 { static void Main() {

//Здесь конечное значение для подсчета передается анонимному методу. Countlt count = delegate (int end) {

for(int i=0; i <= end; i++) Console.WriteLine(i);

};

count (); Console.WriteLine (); count E);

}

}

В этом варианте программы делегат Countlt принимает целочисленный аргумент. Обратите внимание на то, что при создании анонимного метода список параметров указывается после ключевого слова delegate. Параметр end становится доступным для кода в анонимном методе таким же образом, как и при создании именованного метода. Ниже приведен результат выполнения данной программы.

0

1

2

3

0

1

2

3

4

5

Возврат значения из анонимного метода

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

//Продемонстрировать применение анонимного метода, возвращающего зна-

чение. using System;

//Этот делегат возвращает значение,

delegate int Countlt(int end); class AnonMethDemo3

{

static void Main()

{

int result;

// Здесь конечное значение для подсчета передается анонимному методу.

//А возвращается сумма подсчитанных чисел. Countlt count = delegate (int end) {

int sum = 0;

for(int i=0; i <= end; i++) { Console.WriteLine (i); sum += i;

}

return sum; // возвратить значение из анонимного метода

};

result = count C);

Console.WriteLine("Сумма 3 равна " + result); Console.WriteLine ();

result = count E);

Console.WriteLine("Сумма 5 равна " + result);

}

}

В этом варианте кода суммарное значение возвращается кодовым блоком, связанным с экземпляром делегата count. Обратите внимание на то, что оператор return применяется в анонимном методе таким же образом, как и в именованном методе. Ниже приведен результат выполнения данного кода.

0

1

2

3

Сумма 3 равна б

0

1

2

3

4

5

Сумма 5 равна 15

Применение внешних переменных в анонимных методах

Локальная переменная, в область действия которой входит анонимный метод, называется внешней переменной. Такие переменные доступны для использования в анонимном методе. И в этом случае внешняя переменная считается захваченной. Захваченная переменная существует до тех пор, пока захвативший ее делегат не будет собран в "мусор". Поэтому если локальная переменная, которая обычно прекращает свое существование после выхода из кодового блока, используется в анонимном методе, то она продолжает существовать до тех пор, пока не будет уничтожен делегат, ссылающийся на этот метод.

Захват локальной переменной может привести к неожиданным результатам. В качестве примера рассмотрим еще один вариант программы подсчета с суммированием чисел. В данном варианте объект CountIt конструируется и возвращается статическим методом Counter (). Этот объект использует переменную sum, объявленную в охватывающей области действия метода Counter (), а не самого анонимного метода. Поэтому переменная sum захватывается анонимным методом. Метод

Counter () вызывается в методе Main () для получения объекта CountIt, а следовательно, переменная sum не уничтожается до самого конца программы.

//Продемонстрировать применение захваченной переменной. using System;

//Делегат возвращает значение типа int и принимает аргумент типа int. delegate int CountIt(int end);

class VarCapture {

static Countlt Counter () { int sum = 0;

//Здесь подсчитанная сумма сохраняется в переменной sum.

Countlt ctObj = delegate (int end) { for(int i=0; i <= end; i++)

{

Console.WriteLine(i); sum += i;

}

return sum; };

return ctObj;

}

static void Main() {

// Получить результат подсчета.

Countlt count = Counter (); int result;

result = countC);

Console.WriteLine("Сумма 3 равна " + result); Console.WriteLine();

result = countE);

Console.WriteLine("Сумма 5 равна " + result);

}

}

Ниже приведен результат выполнения этой программы. Обратите особое внимание на суммарное значение.

0

1

2

3

Сумма 3 равна 6

0

1

2

3

4

5

Сумма 5 равна 21

Как видите, подсчет по-прежнему выполняется как обычно. Но обратите внимание на то, что сумма 5 теперь равна 21, а не 15! Дело в том, что переменная sum захватывается объектом ctObj при его создании в методе Counter (). Это означает, что она продолжает существовать вплоть до уничтожения делегата count при "сборке мусора" в самом конце программы. Следовательно, ее значение не уничтожается

Если же требуется указать несколько параметров, то используется следующая форма.

{список_параметров) => выражение

Таким образом, когда требуется указать два параметра или более, их следует заключить в скобки. Если же выражение не требует параметров, то следует использовать пустые скобки.

Ниже приведен простой пример одиночного лямбда-выражения. count => count + 2

Вэтом выражении count служит параметром, на который воздействует выражение count + 2. В итоге значение параметра count увеличивается на 2. А вот еще один пример одиночного лямбда-выражения.

п=> n % 2 == 0

Вданном случае выражение возвращает логическое значение true, если числовое

значение параметра n оказывается четным, а иначе - логическое значение false. Лямбда-выражение применяется в два этапа. Сначала объявляется тип делегата, совместимый с лямбда-выражением, а затем экземпляр делегата, которому присваивается лямбда-выражение. После этого лямбда-выражение вычисляется при обращении к экземпляру делегата. Результатом его вычисления становится возвращаемое значение.

В приведенном ниже примере программы демонстрируется применение двух одиночных лямбда-выражений. Сначала в этой программе объявляются два типа делегатов. Первый из них, Incr, принимает аргумент типа int и возвращает результат того же типа. Второй делегат, IsEven, также принимает аргумент типа int, но возвращает результат типа bool. Затем экземплярам этих делегатов присваиваются одиночные лямбда-выражения. И наконец, лямбда-выражения вычисляются с помощью соответствующих экземпляров делегатов.

using System;

//Объявить делегат, принимающий аргумент типа int и

//возвращающий результат типа int. '

delegate int Incr(int v) ;

//Объявить делегат, принимающий аргумент типа int и

//возвращающий результат типа bool.

delegate bool IsEven(int v) ; class SimpleLambdaDemo

{

static void Main()

{

//Создать делегат Incr, ссылающийся на лямбда-выражение,

//увеличивающее свой параметр на 2.

Incr incr = count => count + 2;

// А теперь использовать лямбда-выражение incr.

Console.WriteLine("Использование лямбда-выражения incr: "); int x = -10;

while(x <= 0)

{

Console.Write(x + " ");

x = incr(x); // увеличить значение х на 2

}

Console.WriteLine("\n");

// Создать экземпляр делегата IsEven, ссылающийся на лямбда-

//выражение, возвращающее логическое значение true, если его

//параметр имеет четное значение, а иначе - логическое значение false.

IsEven isEven = n => n % 2 == 0;

//А теперь использовать лямбда-выражение isEven.

Console.WriteLine("Использование лямбда-выражения isEven: "); for(int i=l; i <= 10; i++)

if(isEven(i)) Console.WriteLine(i + " четное.");

}

}

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

Использование лямбда-выражения incr: -10 -8 -6 -4 -2 0

Использование лямбда-выражения isEven:

2 четное.

4 четное.

6 четное.

8 четное.

10 четное.

Обратите в данной программе особое внимание на следующие строки объявлений.

Incr incr = count => count +2; IsEven isEven = n => n % 2 == 0;

Впервой строке объявления экземпляру делегата incr присваивается одиночное лямбда-выражение, возвращающее результат увеличения на 2 значения параметра count. Это выражение может быть присвоено делегату Incr, поскольку оно совместимо с объявлением данного делегата. Аргумент, указываемый при обращении к экземпляру делегата incr, передается параметру count, который и возвращает результат вычисления лямбда-выражения. Во второй строке объявления делегату isEven присваивается выражение, возвращающее логическое значение true, если передаваемый ему аргумент оказывается четным, а иначе - логическое значение false. Следовательно, это лямбда-выражение совместимо с объявлением делегата IsEven.

Всвязи со всем изложенным выше возникает резонный вопрос: каким образом компилятору становится известно о типе данных, используемых в лямбдавыражении, например, о типе int параметра count в лямбда-выражении, присваиваемом экземпляру делегата incr? Ответить на этот вопрос можно так: компилятор делает заключение о типе параметра и типе результата вычисления выражения по типу делегата. Следовательно, параметры и возвращаемое значение лямбдавыражения должны быть совместимы по типу с параметрами и возвращаемым значением делегата.

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

Incr incr = (int count) => count + 2;

Как видите, count теперь явно объявлен как параметр типа int. Обратите также

внимание на использование скобок. Теперь они необходимы. (Скобки могут быть опущены только в том случае, если задается лишь один параметр, а его тип явно не указывается.)

В предыдущем примере в обоих лямбда-выражениях использовался единственный параметр, но в целом у лямбда-выражений может быть любое количество параметров, в том числе и нулевое. Если в лямбда-выражении используется несколько па-