Leg uit wat het Liskov-substitutieprincipe betekent en hoe het wordt toegepast in objectgeoriënteerd programmeren.

Liskov Substitutie Principe (LSP) is een van de vijf SOLID-principes in objectgeoriënteerd programmeren. Het stelt dat objecten van een subklasse verwisselbaar moeten zijn met objecten van de basisklasse zonder de correctheid van het programma te wijzigen.

Kort gezegd, als klasse B erft van klasse A, dan moeten de objecten van klasse B zich zodanig gedragen dat ze in plaats van objecten van klasse A gebruikt kunnen worden zonder onverwachte fouten of wijzigingen in de logica.

Dit wordt bereikt door ervoor te zorgen dat de subklasse:

• De invarianten van de basisklasse niet schendt.
• De precondities van methoden niet beperkt (striktere invoergegevens vereisen).
• De postcondities niet uitbreidt (minder gegarandeerde resultaten geeft).

Voorbeeld:

class Bird {
    func fly() {
        print("De vogel vliegt")
    }
}

class Sparrow: Bird {
    override func fly() {
        print("De mus vliegt")
    }
}

// Schending van LSP als er een klasse Penguin wordt toegevoegd die niet kan vliegen
class Penguin: Bird {
    override func fly() {
        fatalError("De pinguïn kan niet vliegen")
    }
}

In dit voorbeeld schendt Penguin de LSP, omdat het niet zonder fouten gebruikt kan worden in plaats van Bird. Het zou beter zijn om een aparte interface te definiëren voor vliegende vogels.

Op deze manier helpt LSP bij het creëren van hiërarchieën van klassen die gemakkelijk uit te breiden en te onderhouden zijn, en voorkomt onverwachte fouten bij het vervangen van objecten.