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

drop(while:) проверяет элементы только до первого элемента, для которого предикат возвращает false. Этот элемент уже сохраняется в результате, после чего все последующие элементы передаются без дальнейшей проверки предикатом.

Если предикат возвращает true для всей последовательности, результат будет пустым. В отличие от filter, drop(while:) удаляет только начальный непрерывный участок, а не все элементы, соответствующие условию.

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

Операции над Sequence появились как способ описывать обход коллекций декларативно, не управляя вручную индексами, флагами состояния и условиями остановки. Это упрощает построение конвейеров обработки данных.

drop(while:) решает частую задачу: пропустить заголовок, служебные записи или начальный участок до точки начала полезных данных. При этом не требуется заранее материализовать всю последовательность в массив.

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

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

Использование filter в такой ситуации изменит смысл обработки: оно проверит каждый элемент и удалит все совпадения, включая элементы после начала полезных данных. Ручной цикл решает задачу, но требует самостоятельно хранить состояние «начальный участок уже завершён».

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

У drop(while:) есть внутреннее состояние: обход ещё находится в режиме пропуска или уже перешёл в режим передачи элементов. Пока предикат возвращает true, элементы отбрасываются.

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

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

let values = ["# заголовок", "# метаданные", "данные", "# внутри данных"]
let result = values.drop { $0.hasPrefix("#") }

print(Array(result))
// ["данные", "# внутри данных"]

В примере удалены только первые строки с символом #. После строки "данные" предикат уже не проверяется, поэтому последняя строка сохраняется.

Для однопроходной Sequence состояние относится к конкретному итератору. Если создать новый итератор или заново начать обход последовательности, пропуск начнётся снова. Как и другие операции над последовательностями, drop(while:) не гарантирует многократный независимый обход, если исходный тип сам такой гарантии не даёт.

Главный компромисс — простота и ленивость против необходимости учитывать состояние обхода. Если нужно удалить элементы в любом месте, следует использовать filter; если нужно пропустить только префикс, drop(while:) точнее выражает намерение и потенциально прекращает вычисление предиката раньше.

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

Сервис читает поток строк журнала. До первой строки с уровнем INFO идут служебные записи, но после начала основного блока могут встречаться строки с тем же признаком, которые нельзя удалять.

Рассматривались два варианта. filter проще, но удаляет совпадения по всему потоку и искажает данные. Ручной цикл даёт полный контроль, однако добавляет состояние и больше возможностей ошибиться на границе перехода.

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

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

Включается ли первый элемент, для которого предикат вернул false?

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

Продолжает ли drop(while:) проверять предикат после первого false?

Нет, в рамках одного обхода — не продолжает. После перехода в режим передачи все последующие элементы выдаются без вызова предиката. Это отличает операцию от filter, который должен проверять каждый элемент, чтобы решить, оставить его или удалить.

Что произойдёт, если последовательность однопроходная?

drop(while:) обработает её через текущий итератор, сохраняя состояние перехода от пропуска к передаче. После исчерпания такого источника нельзя автоматически ожидать, что второй обход даст тот же результат или вообще будет возможен. Повторный результат зависит от конкретной реализации исходной Sequence, а не от самого drop(while:).