Ca c'est l'objectif du LSP, pas son énoncé, l'énoncé c'est :
"Si S est un sous-type de T alors toute propriété démontrable pour tout T-objet est vraie pour tout S-objet"
Ou alors une définition équivalente donner par Meyers B. avec les invariant, pré et post conditions.
Et énoncé comme ca ils permettent bien de répondre à l'attente voulu (ce que tu cites).
Partager