LSP
Kurz: Das Liskovsche Substitutionsprinzip (LSP) besagt: Objekte einer Unterklasse müssen sich überall so verhalten dürfen wie Objekte der Oberklasse.
Genauer: Das „L“ in SOLID. Eine Unterklasse darf die Erwartungen an die Oberklasse nicht brechen.
Im Detail
Klassisches Gegenbeispiel
Ein Quadrat erbt von Rechteck. Wer Breite und Höhe getrennt setzt, wird überrascht, weil beim Quadrat beide gleich sein müssen. Die Vererbung ist hier falsch gewählt.
Regeln
Keine strengeren Vorbedingungen, keine schwächeren Nachbedingungen, keine unerwarteten Ausnahmen. Siehe OCP, Vererbung, überschreiben.
Siehe auch: SOLID-Prinzipien, OCP, vererbung