Erklären Sie, was das Liskov-Substitutionsprinzip bedeutet und wie es in der objektorientierten Programmierung angewendet wird.

Das Liskov-Substitutionsprinzip (Liskov Substitution Principle, LSP) ist eines der fünf SOLID-Prinzipien in der objektorientierten Programmierung. Es besagt, dass Objekte einer Unterklasse austauschbar mit Objekten der Basisklasse sein sollten, ohne die Korrektheit des Programms zu verändern.

Kurz gesagt, wenn Klasse B von Klasse A erbt, sollten Objekte der Klasse B sich so verhalten, dass sie anstelle von Objekten der Klasse A verwendet werden können, ohne unerwartete Fehler oder Änderungen in der Logik.

Dies wird erreicht, indem sichergestellt wird, dass die Unterklasse:

• Die Invarianten der Basisklasse nicht verletzt.
• Die Vorbedingungen der Methoden nicht einschränkt (strengere Eingabedaten verlangt).
• Die Nachbedingungen nicht verschlechtert (weniger garantierte Ergebnisse liefert).

Beispiel:

class Bird {
    func fly() {
        print("Der Vogel fliegt")
    }
}

class Sparrow: Bird {
    override func fly() {
        print("Der Spatz fliegt")
    }
}

// Verletzung des LSP, wenn eine Klasse Penguin hinzugefügt wird, die nicht fliegen kann
class Penguin: Bird {
    override func fly() {
        fatalError("Der Pinguin kann nicht fliegen")
    }
}

In diesem Beispiel verletzt Penguin das LSP, da es nicht ohne Fehler anstelle von Bird verwendet werden kann. Es wäre besser, eine separate Schnittstelle für fliegende Vögel zu definieren.

Auf diese Weise hilft das LSP dabei, Klassenhierarchien zu erstellen, die leicht erweitert und gewartet werden können, und vermeidet unerwartete Fehler beim Austausch von Objekten.