Substitutieprincipe van Liskov

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

Het substitutieprincipe van Barbara Liskov, ook wel Liskov Substitution Principle (LSP) genoemd, is een OOP ontwerp regel met betrekking op overerving. Het principe luidt als volgt:

Let q(x) be a property provable about objects x of type T. Then q(y) should be provable for objects y of type S where S is a subtype of T.

Daar dit een principe is spreken we van een contractuele binding tussen de basis klasse en al wie van hem erft.

Externe links[bewerken]

Geplaatst op:
24-01-2011
Dit artikel is een beginnetje over mens & maatschappij. U wordt uitgenodigd op bewerken te klikken om uw kennis aan dit artikel toe te voegen. Bewerken