Краткий ответ

nil, возвращённый непосредственно из next(), означает конец последовательности. Если Element самой последовательности — Optional, результат next() становится вложенным Optional: .some(nil) означает реальный элемент со значением nil, а внешний .none — завершение обхода.

Исторический контекст

Протокол IteratorProtocol должен единообразно сообщать вызывающему коду, что элементы закончились. Для этого next() возвращает Optional: наличие значения означает очередной элемент, а nil на внешнем уровне — конец итератора.

Такой дизайн позволяет обходить последовательности без отдельного метода проверки состояния. При этом он требует различать Optional-элемент и Optional-результат самого next().

Постановка проблемы

Последовательность может законно содержать nil, например массив типа [Int?]. Поэтому проверка результата next() только на «похожесть» на nil может привести к неверному выводу, будто обход завершён раньше времени.

Ошибка особенно вероятна в собственных итераторах или обёртках над потоками данных, где nil является допустимым содержимым элемента. Нужно различать внешний Optional, управляющий обходом, и внутренний Optional, являющийся частью данных.

Подробное решение

Сигнатура next() концептуально имеет вид Element?. Если Element == Int?, фактический результат имеет тип Int??:

let values: [Int?] = [1, nil, 2]
var iterator = values.makeIterator()

let first = iterator.next()   // Int??: .some(.some(1))
let second = iterator.next()  // Int??: .some(nil)
let third = iterator.next()   // Int??: .some(.some(2))
let end = iterator.next()     // Int??: .none

if case .some(let value) = second {
    print(value == nil)       // true: это элемент, а не конец
}

У внешнего уровня Optional две смысловые роли: .some(...) означает, что итератор выдал элемент, а .none означает завершение. Внутренний уровень может быть .some(value) или nil как обычное значение элемента.

Цикл for-in корректно учитывает это правило: он прекращается только при внешнем .none. Если вручную реализуется обход, нельзя бездумно «распаковывать» вложенный Optional или преобразовывать его в один уровень.

Это также объясняет, почему тип возвращаемого значения next() нельзя трактовать просто как тип элемента. Для последовательности с Optional-элементами управляющий сигнал окончания всегда находится на дополнительном, внешнем уровне.

Ситуация из практики

Сервис потоковой обработки возвращает записи типа Payload?: nil внутри записи означает отсутствие необязательного поля, но сама запись всё равно существует. Разработчик оборачивает итератор и использует одноуровневую проверку Optional; в результате запись с nil ошибочно принимается за конец потока.

Вариант с отдельным флагом завершения усложняет контракт и может рассинхронизировать состояние флага с итератором. Принудительное преобразование данных, например замена nil на специальное значение, искажает доменную модель.

Правильное решение — сохранить вложенный Optional и проверять внешний уровень как сигнал завершения. Это сохраняет исходные данные, соответствует контракту IteratorProtocol и не требует дополнительных соглашений между производителем и потребителем.

Что кандидаты часто упускают

Вопрос: почему результат next() для последовательности с Optional-элементами нельзя сравнивать с одним nil как с обычным отсутствующим значением?

Ответ: потому что результат содержит два уровня Optional. Внешний уровень описывает состояние итератора, а внутренний — значение элемента. .some(nil) не равен внешнему .none: в первом случае элемент получен, во втором обход завершён.
Вопрос: что должен вернуть пользовательский итератор после первого внешнего nil?

Ответ: он должен продолжать возвращать nil. После завершения итерации вызовы next() не должны внезапно выдавать новые элементы. Это позволяет алгоритмам обхода считать состояние итератора окончательно завершённым; повторный вызов не обязан создавать новый проход.
Вопрос: меняет ли for-in значение Optional-элемента в последовательности?

Ответ: нет. for-in распознаёт внешний Optional, возвращаемый итератором, и передаёт внутреннее значение как элемент цикла. Поэтому для [Int?] тело цикла будет выполнено и для элемента nil; цикл завершится только после внешнего nil от next().