Wat betekent de letter 'L' in de SOLID-principes voor objectgeoriënteerd programmeren?

De letter "L" in de SOLID-principes staat voor het Liskov Substitutieprincipe (Liskov Substitution Principle, LSP).

Dit principe stelt dat objecten van een subklasse verwisselbaar moeten zijn met objecten van de basisklasse zonder de correctheid van het programma te schaden. Met andere woorden, als klasse B erft van klasse A, dan moeten objecten van klasse B zich zodanig gedragen dat ze in plaats van objecten van klasse A gebruikt kunnen worden zonder onverwachte fouten of gedragsveranderingen.

Voorbeeld van een schending van LSP:

class Bird {
    func fly() {}
}

class Ostrich: Bird {
    override func fly() {
        fatalError("Struisvogel kan niet vliegen")
    }
}

Hier erft Ostrich van Bird, maar kan de fly-methode niet correct implementeren, wat LSP schendt.

Een correct klasse-ontwerp helpt dit principe te respecteren, en verbetert de betrouwbaarheid en uitbreidbaarheid van de code.