Что такое required init?

Что такое required init?

required — это ключевое слово в Swift, которое применяется к инициализаторам классов (init) и указывает, что каждый подкласс должен реализовать этот инициализатор. Это требование является обязательным для соблюдения наследниками класса.

Основная цель и использование

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

1. Инициализаторы, использующие фабричные методы или шаблоны. Например, когда класс предоставляет статический метод для создания экземпляров, и этот метод внутри вызывает определённый init.
2. Совместимость с механизмами, требующими конкретного инициализатора. Например, при работе с NSCoding (сериализация/десериализация) или когда класс предназначен для создания через внешние системы (например, из данных JSON).
3. Обеспечение единого интерфейса создания объектов для всех наследников, что упрощает работу с ними через общий тип (например, через массив базового класса).

Правила и синтаксис

Когда вы объявляете инициализатор как required в базовом классе, вы накладываете обязательство на все его прямые и косвенные подклассы. Правила:

• Инициализатор должен быть реализован в каждом подклассе.
• Подкласс может либо просто удовлетворить требование (предоставить тот же инициализатор), либо переопределить его (часто с добавлением своих свойств).
• В реализации подкласса также необходимо указать ключевое слово required (или override, если это переопределение), но не одновременно. Это сигнализирует о том, что требование передаётся далее по цепи наследования.

Примеры кода

Рассмотрим базовый пример. Базовый класс Vehicle имеет required инициализатор.

class Vehicle {
    let brand: String
    
    // Объявляем инициализатор как required
    required init(brand: String) {
        self.brand = brand
    }
}

class Car: Vehicle {
    let doors: Int
    
    // Подкласс ДОЛЖЕН реализовать required init.
    // Мы можем добавить свои параметры, но должны обеспечить инициализацию родителя.
    init(brand: String, doors: Int) {
        self.doors = doors
        super.init(brand: brand)
    }
    
    // Требование удовлетворяется через convenience init, который вызывает required init.
    required convenience init(brand: String) {
        self.init(brand: brand, doors: 4) // Инициализируем Car с default значением
    }
}

class ElectricCar: Car {
    let batteryCapacity: Int
    
    init(brand: String, doors: Int, batteryCapacity: Int) {
        self.batteryCapacity = batteryCapacity
        super.init(brand: brand, doors: doors)
    }
    
    // ElectricCar также должен удовлетворить requirement.
    // Мы используем convenience init, который вызывает свой designated init.
    required convenience init(brand: String) {
        self.init(brand: brand, doors: 4, batteryCapacity: 60)
    }
}

// Использование: мы можем создать любой автомобиль, используя только required init.
let genericCar: Vehicle = Car(brand: "Toyota")
let electricVehicle: Vehicle = ElectricCar(brand: "Tesla")

Отличие required от override

Важно не смешивать required и override:

• override используется, когда подкласс переопределяет конкретный инициализатор, уже существующий в суперклассе.
• required используется, когда подкласс обязан предоставить инициализатор, возможно, даже если он не существует напрямую в суперклассе в такой же форме (как в примере выше, где Car добавил свой doors).

Если инициализатор в суперклассе одновременно является required и подкласс хочет его переопределить, то используется override required.

class Base {
    required init() {
        // ...
    }
}

class Derived: Base {
    // Подкласс переопределяет и продолжает требование.
    override required init() {
        // ...
        super.init()
    }
}

Практическое применение в iOS разработке

В iOS разработке required инициализаторы часто встречаются:

• При реализации NSCoding для поддержки архивирования (сериализации). Протокол требует init(coder:), и этот инициализатор должен быть required, если класс предполагает иметь подклассы.
• В UIViewController, когда вы создаете контроллер из storyboard. Система вызывает init(coder:), и если ваш кастомный VC может иметь наследников, этот init стоит сделать required.
• В UIKit и других фреймворках, где классы предназначены для создания через механизмы, требующие определённого интерфейса инициализации.

Ключевые выводы

• required init — это контракт между базовым классом и всеми его подклассами.
• Он гарантирует, что определённый путь создания объекта доступен для всех наследников, что поддерживает полиморфизм.
• Подклассы могут удовлетворять требование, предоставляя convenience инициализаторы или расширяя designated инициализаторы, но они обязаны это сделать.
• Использование required повышает надёжность и предсказуемость кода при работе с сложными иерархиями классов.

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