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

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

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

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

Это особенно важно для структур, потому что они являются значимыми типами: после создания экземпляр должен представлять корректное самостоятельное значение. Компилятор проверяет это статически, поэтому ошибка обнаруживается до запуска программы.

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

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

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

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

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

struct Profile {
    let name: String
    let isActive: Bool

    init(name: String, active: Bool) {
        self.name = name
        if active {
            self.isActive = true
        } else {
            self.isActive = false
        }
    }
}

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

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

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

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

В модели сетевого ответа появилось обязательное свойство статуса и необязательное свойство сообщения об ошибке. Разработчик присваивал сообщение только при ошибочном статусе, но не задавал ему значение при успешном ответе. Такой дизайн либо должен использовать String? с явным nil, либо задать значение по умолчанию, либо присваивать значение во всех ветвях.

Вариант с неявным значением в памяти неприемлем: он нарушает безопасность и предсказуемость. Вариант с принудительным присваиванием пустой строки устраняет ошибку, но может смешать «сообщение отсутствует» и «сообщение пустое».

Лучшим решением будет сделать отсутствие сообщения явным через String? и инициализировать его значением nil, если сообщение не передано. В результате модель создаётся корректно, а смысл состояния остаётся однозначным.

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

Достаточно ли значения по умолчанию только для одного из нескольких свойств?

Нет. Свойство с таким значением считается инициализированным, но все остальные хранимые свойства всё равно должны получить значения до завершения инициализатора. Проверка выполняется для каждого свойства отдельно.

Можно ли вызвать метод экземпляра до инициализации всех свойств?

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

Обязательно ли присваивать let-свойство непосредственно в каждом инициализаторе?

Нет. Если для let-свойства задано значение по умолчанию, оно уже считается инициализированным. Если значения по умолчанию нет, свойство можно присвоить один раз в инициализаторе; после завершения инициализации изменить его нельзя.