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

Выбирайте associated type, когда конкретный тип, реализующий протокол, должен зафиксировать один связанный тип как часть своей модели. Generic-параметр метода подходит, когда один и тот же экземпляр должен работать с разными типами при разных вызовах.

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

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

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

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

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

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

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

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

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

Generic-параметр метода существует только в пределах конкретного вызова. Один экземпляр может вызвать такой метод с Int, затем со String, если остальные ограничения это разрешают. Он не превращается в фиксированное свойство типа, реализующего протокол.

protocol Storage {
    associatedtype Item
    var items: [Item] { get }
    func insert(_ item: Item)
}

struct IntStorage: Storage {
    var items: [Int] = []
    mutating func insert(_ item: Int) {
        items.append(item)
    }
}

protocol FlexibleStorage {
    func insert<T>(_ item: T)
}

В Storage свойство items и метод insert обязаны использовать один и тот же Item. В FlexibleStorage каждый вызов может выбрать собственный T, поэтому такой протокол не описывает хранилище элементов единого типа.

Практическое следствие — generic-код может использовать ограничения на associated type. Например, если Item ограничен Equatable, алгоритм вправе сравнивать элементы без добавления того же ограничения к каждому месту использования. При этом associated type не означает, что протокол автоматически становится обычным existential-типом: ограничения на использование протокола с associated type как значения остаются отдельным вопросом.

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

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

Команда проектирует абстракцию репозитория. Вариант с generic-методом позволяет передавать в save значения разных типов, но тогда один объект репозитория перестаёт иметь однозначный тип хранимой сущности. Проверка совместимости сущности с запросами и свойствами переносится в ручную логику или усложнённые ограничения.

Вариант с associatedtype Entity фиксирует сущность для каждого конкретного репозитория. Его плюс — согласованные требования, более точный вывод типов и ошибки на этапе компиляции; минус — такой протокол сложнее использовать как type-erased или existential-значение без дополнительного проектирования.

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

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

Может ли один конкретный тип реализовать один протокол с разными значениями associated type?

Нет. Конкретный тип имеет одну конформность к данному протоколу, а associated type получает одно конкретное значение в рамках этой конформности. Если нужны разные варианты, обычно создают разные обёртки или разные конкретные типы, каждый со своим значением associated type.

Можно ли заменить associated type generic-параметром метода без изменения смысла протокола?

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

Почему ограничение associated type может быть полезнее ограничения на самом generic-параметре?

Потому что оно делает связь частью протокола. Если протокол требует, чтобы Item соответствовал Equatable, любой generic-алгоритм, работающий с этим протоколом, получает право использовать сравнение элементов через уже установленную связь. При ограничении только самого generic-параметра алгоритм должен повторно выразить это требование в каждом месте, где оно необходимо.