Liskov besagt,

Quote

dass ein Programm, das Objekte einer Basisklasse T verwendet, auch mit Objekten der davon abgeleiteten Klasse S korrekt funktionieren muss, ohne dabei das Programm zu verändern.

Das mit den OOP-Theorems ist natürlich so eine Sache. Es kann nämlich sein, daß die Basisklasse eine abstrakte Klasse und von daher gar nicht instanziierbar ist. Ansonsten ist die Formulierung "korrekt funktionieren" ziemlich dumm.

Update: Denn korrekt funktionieren heißt bspw. daß ein Parameter ?show=123 die Nachricht mit der Nummer 123 im Browser ausgibt, weil die Instanz der Klasse Forum dazu in der Lage ist, die Instanz der Basisklasse hingegen nicht.
Last edited: 2025-06-10 22:06:13 +0200 (CEST)