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

Primary associated type позволяет указать конкретное значение главного associated type прямо при использовании протокола: например, потребовать existential, чья связанная сущность имеет тип Bitmap. Это сохраняет возможность хранить разные реализации протокола вместе, но ограничивает их общим типом результата.

Такой синтаксис не превращает associated type в обычный generic-параметр протокола. Тип по-прежнему определяется каждой конкретной конформностью, а запись при использовании задаёт требование к нему.

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

До появления primary associated types протоколы с associated type можно было использовать как any P, но нельзя было столь же компактно выразить ограничение на конкретный associated type у existential-значения. Из-за этого типобезопасную зависимость приходилось описывать через дополнительные обёртки, generic-код или ручной type erasure.

Подход решает задачу точечного ограничения наиболее важного associated type, сохраняя раздельность между generic-параметром и associated type. Он особенно полезен для протоколов, где один связанный тип является главным результатом или входом абстракции.

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

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

Простое any ImageFetcher разрешает смешать реализации с разными associated type. Однако потребитель теряет гарантию, что результат каждой реализации совместим с ожидаемым типом. Слишком ранний переход к конкретному типу нарушает возможность хранить разные реализации вместе.

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

Associated type объявляют primary, указывая его в угловых скобках после имени протокола. После этого его можно уточнить в existential-типа через any Protocol<ConcreteType> или в generic-ограничении через Protocol<ConcreteType>.

struct Bitmap {}

protocol ImageFetcher<Image> {
    associatedtype Image
    func fetch() -> Image
}

struct LocalFetcher: ImageFetcher {
    func fetch() -> Bitmap { Bitmap() }
}

struct RemoteFetcher: ImageFetcher {
    func fetch() -> Bitmap { Bitmap() }
}

let fetchers: [any ImageFetcher<Bitmap>] = [
    LocalFetcher(), RemoteFetcher()
]

Обе реализации могут отличаться внутренним устройством, но их associated type Image обязан быть Bitmap. При этом any ImageFetcher<Bitmap> остаётся existential: конкретный тип реализации скрыт, поэтому сохраняется динамическая диспетчеризация и возможность гетерогенной коллекции.

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

Primary associated type не ограничивает автоматически остальные associated types. Если протокол имеет несколько связанных типов, в объявлении primary указывают только те, которые должны быть доступны для такого уточнения. Для остальных нужны дополнительные generic-ограничения или другая форма проектирования протокола.

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

В слое загрузки изображений нужно объединить локальный и сетевой загрузчики в одном массиве. У каждого загрузчика могут быть разные внутренние поля, но приложение ожидает единый тип Bitmap.

Вариант с any ImageFetcher проще синтаксически, но не фиксирует тип результата на границе API. Вариант с отдельным type erasure даёт полный контроль, но требует ручной обёртки, хранения замыканий и поддержки дополнительного слоя кода.

Generic-коллекция не решает задачу напрямую: один массив не может одновременно иметь разные конкретные типы generic-параметра. Поэтому выбран any ImageFetcher<Bitmap> с primary associated type. Он скрывает конкретные реализации, сохраняет единый тип результата и устраняет лишний type erasure для этого простого случая.

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

Заменяет ли primary associated type generic-параметр протокола?

Нет. Generic-параметр задаётся вызывающим кодом и может иметь разные значения у разных экземпляров одной generic-сущности. Associated type является частью конкретной конформности: реализация сама связывает протокол с типом, а primary-синтаксис лишь позволяет потребителю выразить ограничение на эту связь.

Можно ли указать любой associated type в угловых скобках existential-типа?

Нет. В угловых скобках указываются только associated types, объявленные как primary в самом протоколе. Остальные связанные типы не становятся автоматически уточнёнными и при необходимости ограничиваются через generic where или проектируются другим способом.

Сохраняет ли any Protocol<SomeType> конкретный тип реализации?

Нет. Запись фиксирует значение primary associated type, но не раскрывает тип самой реализации. Поэтому разные типы, соответствующие протоколу и использующие один и тот же associated type, всё ещё могут находиться в одной existential-коллекции; при этом операции, зависящие от скрытого типа реализации, остаются ограниченными возможностями existential-типа.