- Principe de substitution de liskov
-
Principe de substitution de Liskov
Le principe de substitution de Liskov 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 q(x) est une propriété démontrable pour tout objet x de type T, alors q(y) est vraie pour tout objet y de type S tel que S est un sous-type de T.
Ainsi, la notion de sous-type telle que définie par Liskov et Wing est fondée sur la notion de substituabilité : si S est un sous-type de T, alors tout objet de type T peut être remplacé par un objet de type S sans altérer les propriétés désirables du programme concerné [3].
Conception par contrat
Le principe de substitution de Liskov est étroitement relié à la méthodologie de programmation par contrat aboutissant à des restrictions qui spécifient la manière dont les contrats peuvent interagir avec les mécanismes d'héritage :
- Les préconditions ne peuvent pas être renforcées dans une sous-classe. Cela signifie que vous ne pouvez pas avoir une sous-classe avec des préconditions plus fortes que celles de sa superclasse.
- Les postconditions ne peuvent pas être affaiblies dans une sous-classe. Cela signifie que vous ne pouvez pas avoir une sous-classe avec des postconditions plus faibles que celles de sa superclasse.
De plus, le principe de substitution de Liskov implique que des exceptions d'un type nouveau ne peuvent pas être levées par des méthodes de la sous-classe, sauf si ces exceptions sont elles-mêmes des sous-types des exceptions lancées par les méthodes de la superclasse.
Une fonction utilisant la connaissance de la hiérarchie de classe viole le principe car elle utilise une référence à la classe de base, mais doit aussi avoir connaissance des sous-classes. Une telle fonction viole le principe ouvert/fermé car elle doit être modifiée quand on crée une classe dérivée de la classe de base.
Notes et références de l'article
- ↑ Barbara Liskov, Wing, Jeannette, « Family Values: A Behavioral Notion of Subtyping », 1993-07-16. Consulté le 2006-10-05
- ↑ Barbara Liskov, Wing, Jeannette, « Behavioral Subtyping Using Invariants and Constraints », Juillet 1999. Consulté le 2006-10-05
- ↑ par exemple l'exactitude
Voir aussi
- Pour d'autres définitions de la notion de sous-types, cf. type.
- Typages liés (exceptions, etc.) : covariance et contravariance
Portail de l’informatique
Catégories : Programmation orientée objet | Théorie des types
Wikimedia Foundation. 2010.
