8.9.3 Подробное описание быстрого перечисления ¶

Вот более техническое описание с подробными деталями. Рассмотрим код

for (object expression in collection expression)
{
  statements
}

Вот что происходит при его выполнении:

• collection expression вычисляется ровно один раз, и результат используется в качестве объекта коллекции для итерации. Это означает, что можно безопасно писать код, например for (object in [NSDictionary keyEnumerator]) ….
• итерация реализуется компилятором путём многократного получения партий объектов из объекта коллекции с использованием протокола быстрого перечисления (см. ниже), а затем итерации по всем объектам в партии. Это быстрее, чем обычное перечисление, где объекты извлекаются по одному (отсюда и название «быстрое перечисление»).
• если в коллекции нет объектов, то object expression устанавливается в nil, и цикл немедленно завершается.
• если в коллекции есть объекты, то для каждого объекта в коллекции (в порядке их возврата) object expression устанавливается в объект, а затем выполняются statements.
• statements может содержать команды break и continue, которые прервут итерацию или перейдут к следующей итерации цикла, как ожидается.
• по окончании итерации, когда больше нет объектов для итерации, object expression устанавливается в nil. Это позволяет определить, завершилась ли итерация из-за использования команды break (в этом случае object expression будет оставаться установленным на последнем итерированном объекте) или потому, что были обработаны все объекты (в этом случае object expression будет установлено в nil).
• statements не должен вносить никаких изменений в объект коллекции; если они есть, это ошибка, и быстрое перечисление завершится вызовом objc_enumerationMutation, функции времени выполнения, которая обычно прерывает программу, но может быть настраиваема библиотеками Foundation через objc_set_mutation_handler для выполнения чего-либо другого, например, вызова исключения.