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

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

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

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

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

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

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

Неверное понимание часто приводит к ожиданию, что любое значение протокольного типа ведёт себя как ссылка. На самом деле поведение определяется конкретным типом, который соответствует протоколу, а AnyObject лишь запрещает значениям-типам соответствовать этому протоколу.

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

Протокол с ограничением AnyObject является class-bound protocol. Реализовать его может класс или другой ссылочный тип, но не структура и не перечисление.

protocol CacheDelegate: AnyObject {
    func cacheDidUpdate()
}

final class Controller: CacheDelegate {
    func cacheDidUpdate() {}
}

// Структура не может соответствовать CacheDelegate.
// struct ValueDelegate: CacheDelegate { }

weak var delegate: (any CacheDelegate)?
delegate = Controller()

В примере delegate может быть слабой ссылкой, потому что протокольное значение гарантированно представляет экземпляр класса. При этом AnyObject не гарантирует наличие изменяемого состояния, уникальность экземпляра или потокобезопасность — эти свойства зависят от реализации класса.

Если класс присваивается другой переменной, копируется ссылка на тот же объект. Если бы аналогичный интерфейс реализовала структура без ограничения AnyObject, присваивание копировало бы значение согласно правилам value semantics. Поэтому class-bound protocol фиксирует допустимый класс типов, но не скрывает остальные правила конкретного типа.

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

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

Первый вариант — объявить делегат как обычный протокол. Он не выражает требование ссылочной природы и не даёт компилятору основания рассматривать любое соответствующее значение как экземпляр класса. Это плохо отражает контракт API.

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

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

Делает ли AnyObject сам протокол ссылочным типом?

Нет. Протокол не становится отдельным объектом и не приобретает собственного состояния. Ограничение только запрещает соответствие структурам и перечислениям; ссылочная семантика появляется потому, что конкретное соответствующее значение обязательно является экземпляром класса.

Гарантирует ли AnyObject уникальность объекта при сравнении?

Нет. Для проверки, что две ссылки указывают на один экземпляр, используется идентичность объектов, а не обычное сравнение значений. AnyObject допускает ссылочный тип, но не добавляет автоматически оператор сравнения или требование уникальности.

Можно ли заменить AnyObject на протокол с требованиями к методам класса?

Нет, требования к методам сами по себе не ограничивают множество соответствующих типов. Структура тоже может реализовать такие методы. AnyObject нужен именно как отдельное ограничение на категорию типа; его можно дополнить требованиями к интерфейсу, но нельзя получить тот же эффект только перечислением методов.