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

Swift автоматически синтезирует Equatable для структуры, если все её хранимые свойства имеют типы, соответствующие Equatable, а сама структура объявлена с этим соответствием. Сравнение выполняется по значениям свойств в порядке их объявления.

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

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

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

Подход сохраняет предсказуемую семантику: равенство составного значения определяется равенством его компонентов, если это разрешено типами компонентов.

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

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

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

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

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

struct User: Equatable {
    let id: Int
    let name: String
}

let first = User(id: 1, name: "Анна")
let second = User(id: 1, name: "Анна")

print(first == second) // true

В этом примере Int и String соответствуют Equatable, поэтому компилятор может сгенерировать реализацию для User. Если добавить, например, свойство типа, не поддерживающего Equatable, соответствие структуры перестанет синтезироваться автоматически.

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

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

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

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

В тестах приложения сравниваются снимки состояния экрана. Состояние представлено структурой с идентификатором, текстом и массивом элементов. Все эти типы поддерживают Equatable, поэтому автоматический синтез даёт компактное и безопасное решение: добавление нового Equatable-свойства автоматически влияет на сравнение.

Ручная реализация могла бы сравнивать только важные для конкретного теста поля, но это создаёт риск расхождения с фактическим состоянием модели. Альтернативой было бы сравнивать сериализованные данные, однако это медленнее, зависит от формата сериализации и может скрывать ошибки преобразования.

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

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

Что произойдёт, если у структуры есть свойство типа класса, соответствующего Equatable?

Синтез будет возможен, но результат зависит от реализации равенства этого класса. Если класс использует сравнение по идентичности, будут сравниваться ссылки на один объект; если реализует сравнение содержимого, результат будет зависеть от его содержимого. Структура не меняет семантику равенства вложенного типа.
Можно ли добавить Equatable в extension и сохранить автоматический синтез?

Да, если соответствие объявлено в доступном для синтеза месте и компилятор видит все необходимые типы свойств. Часто соответствие выносят в extension, чтобы отделить основное описание модели от её протокольных возможностей. Если в extension написать собственную реализацию сравнения, синтез уже не нужен.
Почему нельзя автоматически синтезировать Equatable для любой структуры с произвольными свойствами?

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