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

contains(_:) ищет элемент, равный заданному, поэтому требует, чтобы элементы поддерживали Equatable. contains(where:) проверяет каждый элемент переданным предикатом и подходит для любого условия, не требующего сравнения всего элемента. Оба варианта прекращают обход сразу после первого успешного совпадения.

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

Коллекционные API разделяют поиск по значению и поиск по условию, потому что это разные задачи. Поиск конкретного элемента можно стандартизировать через Equatable, а произвольные критерии — передать как замыкание.

Такое разделение позволяет не заставлять пользовательские типы реализовывать Equatable только ради поиска по одному из их свойств или по вычисляемому условию.

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

Если нужен поиск объекта целиком, contains(_:) выражает намерение напрямую. Но он не позволяет, например, найти пользователя по идентификатору, если сам тип пользователя не имеет подходящего равенства.

Использование contains(where:) решает эту задачу, однако предикат может быть вычислительно дорогим или иметь побочные эффекты. Кроме того, для Sequence обход может быть одноразовым: проверка потребляет элементы базовой последовательности до момента завершения поиска.

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

contains(_:) сравнивает каждый элемент с искомым значением через ==. Поэтому сравнение определяется реализацией Equatable самого типа элемента. Этот вариант не выражает поиск по отдельному полю или сложному составному условию.

contains(where:) передаёт элементы в замыкание-предикат. Когда предикат возвращает true, метод немедленно возвращает true; если все проверенные элементы дали false, результатом становится false.

let values = [1, 3, 5, 8]
let hasEight = values.contains(8)
let hasEven = values.contains { $0.isMultiple(of: 2) }

В первом случае проверяется равенство с числом 8, а во втором — произвольное условие чётности. Предикатная версия имеет rethrows: если замыкание способно выбросить ошибку, она будет передана вызывающему коду, а последующие элементы проверяться не будут.

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

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

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

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

Оптимальный вариант — contains(where:) с проверкой идентификатора. Он не требует промежуточной коллекции, останавливается на первом совпадении и явно показывает критерий поиска. Если такой поиск выполняется часто по большим данным, следует отдельно рассмотреть индекс или словарь, поскольку оба метода остаются линейными.

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

Проверит ли contains(where:) всю последовательность?

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

Что произойдёт, если предикат contains(where:) выбросит ошибку?

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

Можно ли с помощью contains(_:) искать объект только по одному свойству?

Нет. Этот вариант сравнивает весь элемент с переданным значением согласно его реализации Equatable. Для поиска по идентификатору, диапазону, состоянию или нескольким полям следует использовать contains(where:) либо заранее построить структуру данных, оптимизированную для такого поиска.