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

Перегрузка оператора ~= задаёт правило, по которому образец слева сопоставляется со значением справа. В конструкции switch Swift фактически проверяет, возвращает ли вызов образец ~= значение значение true.

Это позволяет описывать доменные условия как образцы, не изменяя проверяемый тип и не сводя логику к цепочке if.

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

Сопоставление с образцом в Swift предназначено не только для сравнения с конкретными значениями. Оно также поддерживает диапазоны, перечисления, кортежи и другие формы структурного анализа.

Оператор ~= предоставляет единый механизм для такой проверки: стандартная библиотека определяет подходящие варианты оператора, а разработчик может добавить собственный вариант для предметной области. Поэтому синтаксис switch остаётся декларативным, а правило совпадения можно переиспользовать.

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

Предположим, приложение регулярно классифицирует HTTP-коды, версии документов или состояния заказа. Если каждую проверку записывать отдельными сравнениями, условие быстро становится повторяющимся и хуже отражает смысл бизнес-правила.

Переопределение ~= позволяет выразить правило как образец. Однако важно помнить: оператор только определяет факт совпадения, не выполняет приведение типов, не извлекает значения и не создаёт новые ветви switch.

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

В выражении сопоставления левый операнд ~= рассматривается как образец, а правый — как проверяемое значение. Пользовательская перегрузка должна вернуть Bool; true означает, что case совпал.

struct StatusPattern {
    let range: Range<Int>
}

func ~= (pattern: StatusPattern, value: Int) -> Bool {
    pattern.range.contains(value)
}

let status = 204

switch status {
case StatusPattern(range: 200..<300):
    print("успех")
default:
    print("другой результат")
}

Здесь status не преобразуется в StatusPattern. Swift применяет правило сопоставления к образцу StatusPattern(range: 200..<300) и значению 204; результатом становится true.

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

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

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

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

Цепочка сравнений проста для одного условия, но при повторении приводит к дублированию диапазонов и бизнес-правил.
Отдельная функция классификации централизует логику, но её результат приходится дополнительно сопоставлять с перечислением или строками.
Пользовательские образцы через ~= позволяют непосредственно читать switch как набор правил классификации. Недостаток — механизм менее очевиден для команды, не знакомой с пользовательским pattern matching.

Практичный выбор — использовать именованные типы образцов и короткую перегрузку ~= для устойчивых доменных правил. Это сохраняет выразительность switch, а тестировать можно отдельно сам оператор, проверяя границы диапазонов и исключённые значения.

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

Меняет ли ~= тип значения или выполняет casting?

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

Можно ли через ~= извлечь связанное значение из образца?

Обычная перегрузка ~= возвращает только Bool, поэтому сама по себе ничего не извлекает. Извлечение связанных значений выполняется механизмами pattern matching для перечислений, кортежей и других поддерживаемых шаблонов; пользовательский ~= не добавляет такую возможность автоматически.

Что произойдёт, если для одного образца подходят несколько перегрузок ~=?

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