Код выполнится только после вызова MoveNext() и сгенерируется исключение. В зависимости от нужд программы это может быть как вполне нормально, так и нет. Ваш метод GetEnumerator() может иметь защитную конструкцию, которую необходимо выполнить при вызове метода в первый раз. В качестве примера предположим, что список формируется из базы данных. Вам может понадобиться организовать проверку, открыто ли подключение к базе данных, во время вызова метода, а не при проходе по списку. Или же может возникнуть потребность в проверке достоверности входных параметров метода Iterator(), который рассматривается далее.

Вспомните средство локальных функций версии C# 7, представленное в главе 4; локальные функции — это закрытые функции, которые определены внутри других функций. За счет перемещения yield return внутрь локальной функции, которая возвращается из главного тела метода, операторы верхнего уровня (до возвращения локальной функции) выполняются немедленно. Локальная функция выполняется при вызове MoveNext().

Приведите метод к следующему виду:

public IEnumerator GetEnumerator()

{

  // Это исключение сгенерируется немедленно

  throw new Exception("This will get called");

  return ActualImplementation();

  // Локальная функция и фактическая реализация IEnumerator

  IEnumerator ActualImplementation()

  {

    foreach (Car c in carArray)

    {

      yield return c;

    }

  }

}

Ниже показан тестовый код:

Console.WriteLine("***** Fun with the Yield Keyword *****\n");

Garage carLot = new Garage();

try

{

  // На этот раз возникает ошибка

  var carEnumerator = carLot.GetEnumerator();

}

catch (Exception e)

{

  Console.WriteLine($"Exception occurred on GetEnumerator");

}

Console.ReadLine();

В результате такого обновления метода GetEnumerator() исключение генерируется незамедлительно, а не при вызове MoveNext().

Построение именованного итератора

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

public IEnumerable GetTheCars(bool returnReversed)

{

  // Выполнить проверку на предмет ошибок

  return ActualImplementation();

  IEnumerable ActualImplementation()

  {

    // Возвратить элементы в обратном порядке.

    if (returnReversed)

    {

      for (int i = carArray.Length; i != 0; i--)

      {

        yield return carArray[i - 1];

      }

    }

    else

    {

      // Возвратить элементы в том порядке, в каком они размещены в массиве.

      foreach (Car c in carArray)

      {

        yield return c;

      }

    }

  }

}

Обратите внимание, что новый метод позволяет вызывающему коду получать элементы в прямом, а также в обратном порядке, если во входном параметре указано значение true. Теперь взаимодействовать с методом GetTheCars() можно так (обязательно закомментируйте оператор throw new в методе GetEnumerator()):

Console.WriteLine("***** Fun with the Yield Keyword *****\n");

Garage carLot = new Garage();

// Получить элементы, используя GetEnumerator().

foreach (Car c in carLot)

{

  Console.WriteLine("{0} is going {1} MPH",

    c.PetName, c.CurrentSpeed);

}

Console.WriteLine();

// Получить элементы (в обратном порядке!)

// с применением именованного итератора.

foreach (Car c in carLot.GetTheCars(true))

{