Язык программирования C#9 и платформа .NET5 - Эндрю Троелсен

Наряду с тем, что такой традиционный подход к работе с делегатами ведет себя ожидаемым образом, IsEvenNumber() вызывается только при ограниченных обстоятельствах — в частности, когда вызывается метод FindAll(), который возлагает на нас обязанность по полному определению метода. Если взамен использовать анонимный метод, то можно превратить это в локальную функцию и код станет значительно чище. Добавьте в класс Program следующий новый метод:

static void AnonymousMethodSyntax()

{

  // Создать список целочисленных значений.

  List<int> list = new List<int>();

  list.AddRange(new int[] { 20, 1, 4, 8, 9, 44 });

  // Теперь использовать анонимный метод.

  List<int> evenNumbers =

    list.FindAll(delegate(int i) { return (i % 2) == 0; } );

  // Вывести четные числа

  Console.WriteLine("Here are your even numbers:");

  foreach (int evenNumber in evenNumbers)

  {

    Console.Write("{0}t", evenNumber);

  }

  Console.WriteLine();

}

В данном случае вместо прямого создания объекта делегата Predicate<T> и последующего написания отдельного метода есть возможность определить метод как анонимный. Несмотря на шаг в правильном направлении, вам по-прежнему придется применять ключевое слово delegate (или строго типизированный класс Predicate<T>) и обеспечивать точное соответствие списка параметров:

List<int> evenNumbers = list.FindAll(

  delegate(int i)

  {

    return (i % 2) == 0;

  }

);

Для еще большего упрощения вызова метода FindAll() могут использоваться лямбда-выражения. Во время применения синтаксиса лямбда-выражений вообще не приходится иметь дело с лежащим в основе объектом делегата. Взгляните на показанный далее новый метод в классе Program:

static void LambdaExpressionSyntax()

{

  // Создать список целочисленных значений.

  List<int> list = new List<int>();

  list.AddRange(new int[] { 20, 1, 4, 8, 9, 44 });

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

  List<int> evenNumbers = list.FindAll(i => (i % 2) == 0);

  // Вывести четные числа.

  Console.WriteLine("Here are your even numbers:");

  foreach (int evenNumber in evenNumbers)

  {

    Console.Write("{0}t", evenNumber);

  }

  Console.WriteLine();

}

Обратите внимание на довольно странный оператор кода, передаваемый методу FindAll(), который на самом деле и представляет собой лямбда-выражение. В такой версии примера нет вообще никаких следов делегата Predicate<T> (или ключевого слова delegate, если на то пошло). Должно указываться только лямбда-выражение:

i => (i % 2) == 0

Перед разбором синтаксиса запомните, что лямбда-выражения могут использоваться везде, где должен применяться анонимный метод или строго типизированный делегат (обычно с клавиатурным набором гораздо меньшего объема). "За кулисами" компилятор C# транслирует лямбда-выражение в стандартный анонимный метод, использующий тип делегата Predicate<T> (в чем можно удостовериться с помощью утилиты ildasm.exe). Скажем, следующий оператор кода:

// Это лямбда-выражение...

List<int> evenNumbers = list.FindAll(i => (i % 2) == 0);

компилируется в приблизительно такой код С#:

// ...становится следующим анонимным методом.

List<int> evenNumbers = list.FindAll(delegate (int i)

{

  return (i % 2) == 0;

});

Анализ лямбда-выражения

Лямбда-выражение начинается со списка параметров, за которым следует лексема => (лексема C# для лямбда-операции позаимствована из области лямбда-исчисления), а за ней — набор операторов (или одиночный оператор), который будет обрабатывать передаваемые аргументы. На самом высоком уровне лямбда-выражение можно представить следующим образом:

АргументыДляОбработки => ОбрабатывающиеОператоры

То, что находится внутри метода LambdaExpressionSyntax(), понимается так:

// i — список параметров.

// (i % 2) == 0 - набор операторов для обработки i

List<int> evenNumbers = list.FindAll(i => (i % 2) == 0);

Параметры лямбда-выражения могут быть явно или неявно типизированными. В настоящий момент тип данных, представляющий параметр i (целочисленное значение), определяется неявно. Компилятор в состоянии понять, что i является целочисленным значением, на основе области действия всего лямбда-выражения и лежащего в основе делегата. Тем не менее, определять тип каждого параметра в лямбда-выражении можно также и явно, помещая тип данных и имя переменной в пару круглых скобок, как показано ниже:

// Теперь установим тип параметров явно.

List<int> evenNumbers = list.FindAll((int i) => (i % 2) == 0);

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

List<int> evenNumbers = list.FindAll((i) => (i % 2) == 0);

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

// Поместить в скобки и выражение.

List<int> evenNumbers = list.FindAll((i) => ((i % 2) == 0));

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

// Список параметров (в данном случае единственное целочисленное

// значение по имени i) будет обработан выражением (i % 2) == 0.

List<int> evenNumbers = list.FindAll((i) => ((i % 2) == 0));

Обработка аргументов внутри множества операторов

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

static void LambdaExpressionSyntax()

{

  // Создать список целочисленных значений.

  List<int> list = new List<int>();

  list.AddRange(new int[] { 20, 1, 4, 8, 9, 44 });

  // Обработать каждый аргумент внутри группы операторов кода.

  List<int> evenNumbers = list.FindAll((i) =>

  {