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

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

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

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

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

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

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

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

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

При объявлении typealias Swift связывает новое имя с уже существующим типом. В проверке типов псевдоним раскрывается до исходного типа, поэтому для функций, свойств, параметров и возвращаемых значений это один и тот же тип.

 typealias UserID = Int
 typealias OrderID = Int

 func loadOrder(_ id: OrderID) {}

 let userID: UserID = 42
 loadOrder(userID) // Допустимо: оба псевдонима означают Int

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

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

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

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

Можно документировать различие комментариями или использовать соглашения об именовании. Это дёшево, но полагается на дисциплину разработчиков. Более надёжный вариант — две структуры-обёртки; он требует небольших накладных расходов на объявления и преобразования, зато ошибка обнаруживается компилятором.

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

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

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

Нет. Если два псевдонима обозначают один и тот же тип, такие объявления имеют одинаковую сигнатуру с точки зрения Swift. Компилятор не рассматривает UserID и OrderID как разные типы, поэтому перегрузка по ним невозможна.

Сохраняет ли typealias информацию о псевдониме во время выполнения?

Нет, псевдоним является конструкцией уровня исходного кода и проверки типов. Во время выполнения значение остаётся экземпляром исходного типа; отдельной runtime-идентичности у псевдонима нет. Поэтому typealias не подходит для отражения разных ролей значения в метаданных программы.

Когда вместо typealias следует использовать структуру-обёртку?

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