Principe de substitution de Liskov

Extrait.

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é A Behavioral Notion of Subtyping : Liskov et Wing en ont proposé la formulation condensée suivante : Si q ( x ) {\displaystyle q(x)} est une propriété démontrable pour tout objet x {\displaystyle x} de type T {\displaystyle T} , alors q ( y ) {\displaystyle q(y)} est vraie pour tout objet y {\displaystyle y} de type S {\displaystyle S} tel que S {\displaystyle S} est un sous-type de T {\displaystyle T} .