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

min(by:) вернёт первый элемент среди тех, которые имеют минимальное значение по заданному критерию. Равный по критерию последующий элемент не заменяет уже найденный минимум.

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

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

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

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

Рассмотрим последовательность задач с одинаковым минимальным приоритетом. Если разработчик ошибочно ожидает последний элемент с минимальным приоритетом или полагается на нестабильное поведение, выбранная задача может оказаться другой, чем предполагает бизнес-логика.

Важно также, чтобы сравнивающее замыкание задавало согласованный порядок. Если оно противоречиво или не является строгим слабым порядком, результат поиска нельзя интерпретировать как корректный минимум.

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

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

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

Например:

struct Task {
    let name: String
    let priority: Int
}

let tasks = [
    Task(name: "A", priority: 1),
    Task(name: "B", priority: 1),
    Task(name: "C", priority: 2)
]

let result = tasks.min { $0.priority < $1.priority }
print(result?.name ?? "нет задач")

Результатом будет A, а не B: у обеих задач одинаковый минимальный приоритет, но A встретилась раньше.

Это не означает, что min(by:) сортирует последовательность или гарантирует какой-либо порядок за пределами выбора минимума. Алгоритм выполняет один последовательный обход и не обязан заранее знать количество элементов. Для пустой последовательности результатом будет nil.

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

В очереди фоновых задач нужно выбрать задачу с минимальным приоритетом. Вариант с полной сортировкой позволяет затем просматривать весь порядок задач, но требует больше вычислений и обычно создаёт дополнительный результат. Вариант с min(by:) выполняет один проход и подходит, если нужна только одна задача.

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

Выбранное решение — min(by:) с составным, согласованным критерием. Оно уменьшает вычислительные затраты по сравнению с сортировкой и делает разрешение равенства явным.

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

Меняет ли min(by:) исходную последовательность?

Нет. Алгоритм только читает элементы и возвращает найденный элемент. Для значимого типа возвращается значение, а для ссылочного типа — ссылка на существующий объект; сам объект при этом не копируется автоматически.

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

min(by:) вернёт nil, поэтому результат имеет optional-тип. Это нужно обработать явно: через optional binding, оператор ?? или другой безопасный способ. Принудительное извлечение значения без гарантии непустой последовательности может привести к аварийному завершению.

Можно ли использовать любой предикат сравнения?

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