Liskovsches Substitutionsprinzip

aus GlossarWiki, der Glossar-Datenbank der Fachhochschule Augsburg
Version vom 20. Februar 2011, 14:26 Uhr von Kowa (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „=Definition= Eine Methode sollte nicht so überschrieben werden, dass sich ein Objekt einer abgeleiteten Klasse überraschend anders ve…“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Definition

Eine Methode sollte nicht so überschrieben werden, dass sich ein Objekt einer abgeleiteten Klasse überraschend anders verhält, als man es aufgrund der Definition der Basisklasse erwarten würde. Mit anderen Worten: Methoden, die in abgeleiteten Klassen neu definiert werden, müssen alle Integritätsbedingungen (d.h. die Spezifikation) der Basisklasse beachten.

Quellen

  • Barbara H. Liskov, Jeannette M. Wing: Family Values: A Behavioral Notion of Subtyping. Pittsburgh 1993.


Dieser Artikel ist GlossarWiki-konform.