Principe de substitution de Liskov
De Wikipedia, l'encyclopédie encyclopedia
Le principe de substitution de Liskov (LSP) est, en programmation orientée objet, une définition particulière de la notion de sous-type. Il a été formulé par Barbara Liskov et Jeannette Wing dans un article intitulé Family Values: A Behavioral Notion of Subtyping[1] :
Liskov et Wing en ont proposé la formulation condensée suivante[2] :
- Si est une propriété démontrable pour tout objet de type , alors est vraie pour tout objet de type tel que est un sous-type de .