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

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

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

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

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

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

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

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

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

При проверке соответствия Swift устанавливает конкретное значение каждого associated type. Затем он проверяет все его ограничения: соответствие протоколам, равенство другому типу, ограничения через where и связанные требования родительских протоколов.

Явный typealias не отменяет эти проверки. Он только сообщает компилятору, какой конкретный тип выбран; этот выбор всё равно должен удовлетворять полному набору требований.

protocol IdentifiableValue {
    associatedtype ID: Hashable
    var id: ID { get }
}

struct Record: IdentifiableValue {
    typealias ID = [Int]
    let id: [Int]
}

Этот код не компилируется: Array<Int> не соответствует Hashable, поэтому Record не может соответствовать IdentifiableValue. Ошибка возникает на объявлении соответствия, а не при обращении к id.

Если typealias не указан, Swift пытается вывести associated type из сигнатур и свойств реализации. После вывода применяются те же проверки ограничений; отсутствие явного имени не делает требования менее строгими.

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

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

Команда проектирует протокол результата с associated type для идентификатора. Один разработчик явно выбирает массив чисел как идентификатор, потому что его удобно формировать из нескольких компонентов. Варианты решения:

убрать ограничение Hashable — это позволит использовать массив, но лишит generic-код гарантии хешируемости;
заменить идентификатор на хешируемую обёртку — потребуется дополнительный тип, зато контракт сохранится;
оставить ошибочное соответствие и надеяться, что свойство не будет использоваться — невозможно, поскольку компилятор отклонит соответствие заранее.

Корректное решение — выбрать тип, действительно удовлетворяющий ограничению, например собственную хешируемую структуру. Это сохраняет статическую проверку и позволяет безопасно использовать идентификатор в Set, как ключ словаря или в generic-коде с ограничением Hashable.

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

1. Можно ли нарушить ограничение associated type, если конкретное требование протокола не вызывается?

Нет. Проверка соответствия не зависит от того, используется ли конкретное требование в программе. Swift проверяет контракт целиком при компиляции объявления соответствия.

2. Отличается ли проверка явного typealias от проверки типа, выведенного из реализации?

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

3. Что произойдёт, если ограничение нарушается только в условном соответствии generic-типа?

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