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

Обычный reduce не поддерживает досрочное завершение: он последовательно обрабатывает все элементы Sequence. Если нужно остановиться после выполнения условия, используйте обычный цикл с break, либо ограничьте последовательность до reduce, если условие зависит только от текущего элемента.

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

reduce возник как абстракция свёртки последовательности в одно значение: аккумулятор последовательно получает каждый элемент, пока последовательность не закончится. Такая модель удобна для суммирования, построения результата и других операций, которым требуется обработать весь вход.

В контракте reduce нет отдельного сигнала нормальной остановки. Это отличает его от алгоритмов поиска, таких как first, где завершение после первого совпадения является частью ожидаемого поведения.

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

Попытка использовать reduce для поиска порога или первого подходящего результата может привести к обработке лишних элементов. Для конечной последовательности это снижает производительность, а для дорогой, ленивой или внешне связанной последовательности может вызвать ненужные вычисления и побочные эффекты.

Особенно важно учитывать это у потенциально бесконечных последовательностей: reduce не завершится, пока не будет исчерпан источник. Следовательно, он не является универсальной заменой циклу с break или операциям поиска.

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

Если условие остановки зависит от накопленного результата, наиболее прямой вариант — обычный цикл. Он явно хранит аккумулятор, обрабатывает элементы по одному и завершает обход через break.

var total = 0
for value in values {
    total += value
    if total >= limit {
        break
    }
}

Если условие зависит только от самого элемента, можно сначала применить prefix(while:), а затем выполнить reduce. Однако prefix(while:) прекращает обход при первом элементе, для которого предикат возвращает false; он не умеет принимать решение на основе изменяемого аккумулятора reduce.

Технически досрочный выход можно имитировать выбрасыванием специальной ошибки из throwing-замыкания reduce. Это требует обработки ошибки, смешивает нормальное завершение с исключительным механизмом и обычно хуже читается, чем цикл. Такой приём оправдан только в редком обобщённом коде, где интерфейс уже обязан работать через throwing-операцию.

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

В обработчике платежей нужно суммировать операции до достижения лимита и прекратить чтение следующих записей. Рассматривались три варианта: reduce, prefix(while:) с последующим reduce и цикл for.

reduce без дополнительной логики обрабатывает все записи. Связка с prefix(while:) подходит, только если граница определяется отдельным свойством операции, а не накопленной суммой. Цикл for выбран потому, что условие зависит от текущего аккумулятора; он прекращает чтение сразу после достижения лимита и явно показывает намерение.

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

Вопрос: Может ли lazy сделать reduce досрочно завершаемым?

Ответ: Нет. lazy откладывает преобразования и позволяет не вычислять элементы, которые не потребил конечный алгоритм. Но сам reduce запрашивает элементы до исчерпания последовательности, поэтому без отдельного ограничения он всё равно обработает весь вход.
Вопрос: Чем first(where:) принципиально отличается от filter при поиске одного элемента?

Ответ: first(where:) прекращает обход сразу после первого совпадения и возвращает найденный элемент. filter строит новую коллекцию и проверяет весь источник, чтобы определить все подходящие элементы. Поэтому для единственного результата first(where:) обычно точнее выражает намерение и может быть существенно дешевле.
Вопрос: Безопасно ли полагаться на досрочное завершение при обработке произвольного Sequence?

Ответ: Да, если используется операция, в контракте которой явно предусмотрена остановка, например first(where:), contains(where:) или prefix(while:). Нельзя переносить такую гарантию на любой функциональный метод: map, filter и обычный reduce должны получить столько элементов, сколько требует их семантика. Кроме того, у Sequence обход может иметь побочные эффекты или быть одноразовым, поэтому лишний запуск алгоритма может быть не только медленным, но и некорректным.