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

Нет. Swift использует номинальную типизацию: две структуры считаются разными типами, пока одна из них явно не определена как другая через typealias или не предоставит собственное преобразование. Совпадение набора свойств само по себе не делает типы совместимыми для as?.

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

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

Swift не применяет структурную типизацию к обычным структурам: совместимость определяется именем типа, его объявлением, наследованием для классов и соответствиями протоколам.

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

Предположим, существуют структуры UserID и OrderID, каждая содержит одно свойство типа Int. Автоматическое приведение одной к другой было бы опасным: одинаковое внутреннее представление не означает одинаковый смысл.

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

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

Структуры в Swift — номинальные типы. Имя UserID означает отдельный тип, даже если его единственное свойство полностью совпадает с полем OrderID.

as? выполняет проверяемое приведение между совместимыми типами: например, между классом и его подклассом, значением и протоколом, которому оно соответствует, или между связанными existential-типами. Это не универсальный механизм конвертации данных.

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

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

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

В модуле заказов объявлены идентификаторы пользователей и заказов:

struct UserID {
    let rawValue: Int
}

struct OrderID {
    let rawValue: Int
}

func makeOrderID(from userID: UserID) -> OrderID {
    OrderID(rawValue: userID.rawValue)
}

Автоматический cast был бы коротким, но не выражал бы намерение и мог бы скрыть ошибку в архитектуре. Явный инициализатор или функция немного увеличивает объём кода, зато фиксирует границу преобразования и оставляет место для проверки допустимости значения. В результате компилятор не позволяет случайно передать OrderID туда, где ожидается UserID.

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

1. Создаёт ли typealias новый структурный тип?

Нет. typealias только добавляет второе имя существующему типу. Значение можно свободно передавать через исходное имя и псевдоним, потому что для компилятора это один и тот же тип. Для создания отдельного типа требуется новое объявление, например struct или enum.

2. Можно ли привести две разные структуры к общему протоколу?

Да, если обе структуры явно соответствуют этому протоколу. В таком случае выполняется не приведение одной структуры к другой, а упаковка значения в existential-тип протокола. Общим основанием является объявленное соответствие протоколу, а не совпадение свойств по именам.

3. Чем эта ситуация отличается от приведения подкласса к базовому классу?

Классы образуют иерархию наследования, поэтому экземпляр подкласса можно представить как экземпляр базового класса. У независимых структур такой связи нет: одинаковые поля не создают наследование и не дают основания для as?. Для структур необходимо явное преобразование данных.