Liskovsches Substitutionsprinzip
aus GlossarWiki, der Glossar-Datenbank der Fachhochschule Augsburg
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.
Definition (Livkov, Wing)[1]
Subtype Requirement: Let Φ(x) be a property provable about objects x of type T. Then Φ(y) should be true for objects y of type S where S is a subtype of T.
Quellen
- ↑ Barbara H. Liskov, Jeannette M. Wing: A Behavioral Notion of Subtyping, ACM Transactions on Programming Languages and Systems (TOPLAS), Vol 16, N0 6, November 1994, Pages 1811-1841
Dieser Artikel ist GlossarWiki-konform.
