Odpowiedź.

Delegacja Inicjalizatora to system delegacji inicjalizacji wbudowany w Swift dla klas. W Swift historycznie istnieje rozróżnienie między designated initializer (główny inicjalizator klasy, odpowiedzialny za pełną inicjalizację wszystkich właściwości) a convenience initializer (wspomagający, ułatwiający tworzenie instancji z różnymi zestawami parametrów).

Problem: jeśli dopuścić do chaotycznego wykonywania inicjalizatorów między klasami a ich dziedzicami, istnieje ryzyko, że klasa bazowa nie będzie w pełni zainicjalizowana, lub inicjalizacja odbędzie się więcej niż raz, co doprowadzi do nieprawidłowego obiektu.

Rozwiązanie - ścisła zasada:

Designated inicjalizator zawsze wywołuje designated-inicjalizator klasy bazowej.
Convenience inicjalizator zawsze wywołuje inny inicjalizator z tej samej klasy (designated lub inny convenience).
Convenience nie może bezpośrednio inicjować klasy bazowej.

Przykład kodu:

class Vehicle {
    var wheels: Int

    // Designated initializer
    init(wheels: Int) {
        self.wheels = wheels
    }

    // Convenience initializer
    convenience init() {
        self.init(wheels: 4)
    }
}

class Car: Vehicle {
    var color: String

    // Designated initializer
    init(wheels: Int, color: String) {
        self.color = color
        super.init(wheels: wheels)
    }

    // Convenience initializer
    convenience init(color: String) {
        self.init(wheels: 4, color: color)
    }
}

Kluczowe cechy:

Minimalne duplikowanie kodu przy tworzeniu instancji z różnymi zestawami parametrów.
Wsparcie dla bezpiecznego dziedziczenia klas.
Gwarantowana poprawna inicjalizacja wszystkich właściwości obiektu.

Pytania z podstępem.

Pytanie 1: Czy convenience initializer może bezpośrednio wywołać inicjalizator klasy bazowej przez super.init?

Nie, convenience initializer zawsze deleguje inicjalizację do innego inicjalizatora bieżącej klasy, który później może wywołać designated initializer klasy bazowej.

Pytanie 2: Co się stanie, jeśli nie zaimplementujemy required inicjalizatora w podklasie?

Jeśli klasa bazowa ma required inicjalizator, musi być on koniecznie nadpisany w każdej podklasie (z użyciem required), w przeciwnym razie kompilator zgłosi błąd.

Pytanie 3: Jaka jest różnica między convenience init a convenience required init?

convenience required init jest wymagany, jeśli dany convenience inicjalizator jest zadeklarowany jako required w klasie bazowej dla zapewnienia wsparcia dla inicjalizacji w hierarchiach dziedziczenia.

Typowe błędy i antywzorce

Niewłaściwy łańcuch wywołań convenience/init i naruszenie inicjalizacji właściwości.
Zapominają o zaimplementowaniu required inicjalizatora w podklasie.
Wywołują super.init z convenience, co jest nieważne.

Przykład z życia

Negatywny przypadek

Programista wywołał super.init z convenience inicjalizatora. Kod kompilował się tylko dzięki braku określonych ograniczeń, jednak w momencie wykonywania wystąpił błąd: nie wszystkie właściwości obiektu były zainicjalizowane.

Zalety:

Kod wydawał się zrozumiały dla nowicjuszy, ponieważ przypominał podobne implementacje w innych językach.

Wady:

Pojawiły się błędy przy dziedziczeniu — klasy podrzędne nie inicjowały się poprawnie, aplikacja się zawieszała.
Wymagana była refaktoryzacja.

Pozytywny przypadek

Użyto jasno zdefiniowanych designated i convenience inicjalizatorów z wyraźnym wywołaniem jedne drugiego. Logika była wywoływana ściśle według zasad Swift, dlatego inicjalizacja była zawsze przejrzysta i poprawna.