От чего зависит возможность сопоставить Optional с nil для Wrapped, который не реализует Equatable?
Она не зависит от Equatable. Сопоставление с nil проверяет, является ли Optional значением enum-case .none, поэтому Wrapped может быть любым типом, включая класс или структуру без соответствия Equatable.
Optional в Swift моделирует наличие или отсутствие значения как перечисление с двумя состояниями: .some(Wrapped) и .none. Такой подход позволяет проверять состояние отсутствия через механизм сопоставления с образцом, а не через операцию сравнения значений.
Это важно, потому что проверка равенства обычно требует определить, как сравнивать сами значения Wrapped. Для определения состояния .none сравнивать содержимое Wrapped не нужно.
Если разработчик воспринимает nil как обычное значение для сравнения, он может ошибочно ожидать требования Wrapped: Equatable. Но pattern matching проверяет структуру Optional, а не равенство его содержимого.
Это особенно заметно для типов, которые не реализуют Equatable. Сопоставление с nil остаётся доступным, тогда как сравнение Optional через == может быть недоступно из-за отсутствия требования Equatable у Wrapped.
Optional<Wrapped> — это перечисление с case .none без связанного значения и case .some(Wrapped) со связанным значением. Образец nil соответствует именно .none; он не вызывает оператор равенства и не анализирует тип или содержимое Wrapped.
Token не реализует Equatable, но код корректен: для сопоставления достаточно знать, какой case хранит Optional. Образец .some также проверяет наличие значения, не сравнивая его с другим объектом.
Это отличается от ==: равенство Optional сравнивает .none с .none, а значения .some — через равенство Wrapped. Поэтому для такого сравнения обычно требуется, чтобы Wrapped соответствовал Equatable.
Практическое следствие: используйте pattern matching, когда нужно проверить форму значения — наличие или отсутствие. Используйте равенство, когда требуется сравнить содержимое двух Optional и для этого определено осмысленное равенство.
В приложении есть Optional-ссылка на объект Token, который намеренно не реализует Equatable: сравнение токенов по содержимому не определено. Нужно показать состояние авторизации.
Вариант с == nil концептуально смешивает проверку состояния Optional со сравнением значений и может не скомпилироваться из-за требований к Equatable. Принудительное извлечение небезопасно, а проверка через as не относится к задаче.
Выбранное решение — сопоставление с nil или .some. Оно проверяет только наличие объекта, не требует сравнивать токены и не создаёт новый экземпляр. В результате логика отражает именно бизнес-условие: объект отсутствует или присутствует.
.some равенство связанного значения?Нет. Образец .some проверяет только case Optional и извлекает связанное значение, если оно есть. Для сравнения извлечённого объекта с другим объектом понадобился бы отдельный механизм, например идентичность через === для классов.
nil и .none при сопоставлении?Да, в контексте Optional оба обозначают case .none. Запись nil — удобная форма литерала отсутствующего значения, а .none явно называет case перечисления. Однако тип Optional всё равно должен быть выведен из контекста, поскольку сам nil не определяет тип Wrapped.
nil, что значение Wrapped когда-либо существовало?Нет. Успешное сопоставление означает только, что в данный момент Optional находится в состоянии .none. Оно не сообщает, было ли значение удалено, не создано или недоступно по другой причине: Optional хранит состояние отсутствия, но не историю его изменений.