Ответ.

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

История вопроса

Typealias появился как наследие из многих других языков, например, typedef в C. В Swift typealias встроен в систему типов и активно применяется для generic-типа и протоколов с associated type.

Проблема

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

Решение

Объявление typealias для часто используемых или сложных типов делает код проще, понятнее и более структурированным. Также typealias часто используется для задания псевдонимов протоколов с associatedtype, чтобы обходить ограничения протоколов в качестве типов.

Пример кода:

typealias JSON = [String: Any]
typealias CompletionHandler = (Result<Int, Error>) -> Void

typealias StringDictionary = Dictionary<String, String>
typealias Handler = (String) -> Void

Ключевые особенности:

Улучшение читаемости и поддержки кода
Упрощение работы с generic-типами
Позволяет скрывать детали реализации типов

Вопросы с подвохом.

Можно ли создать новый тип с помощью typealias?

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

typealias Age = Int
let a: Age = 25
let b: Int = a // Всё корректно

Будет ли typealias работать на уровне доступа типов (type safety)?

Нет, typealias не защищает от передачи не того типа: JSON и [String: Any] взаимозаменяемы. Для контроля или разделения логики нужно использовать отдельные структуры/wrapper-объекты, а не typealias.

typealias UserID = Int
typealias ProductID = Int
func logId(_ id: UserID) {}
let productId: ProductID = 42
logId(productId) // Компилятор не генерирует ошибку!

Можно ли объявлять typealias внутри протоколов или generic-типов?

Да, внутри протоколов часто объявляют associatedtype или typealias, особенно для сложных generic-типов или кастомных интерфейсов.

protocol DataSource {
    associatedtype Item
    typealias CompletionBlock = (Item) -> Void
}

Типовые ошибки и анти-паттерны

Использование typealias вместо обёртки над типом, когда нужна разделённая семантика типов
Объявление typealias с невнятными названиями, что ухудшает читаемость
Избыточное использование typealias, что приводит к запутанности и сложному рефакторингу типов

Пример из жизни

Негативный кейс

Все идентификаторы моделей объявлены через typealias как Int:

typealias UserID = Int
typealias ProductID = Int

func deleteUser(id: UserID)
func deleteProduct(id: ProductID)

Плюсы:

Удобно писать Минусы:
Ошибки: легко перепутать идентификаторы, компилятор не защитит от передачи не того id

Позитивный кейс

Для сложного generic-типажа или результата типа closure объявляют typealias:

typealias Completion<T> = (Result<T, Error>) -> Void
let completion: Completion<String>