C'est justement la question que je pose, parce que je ne comprend pas bien le point de vue de koala01.
Si on caractérise les objets par leurs types, le LSP "comportemental" est encore plus nécessaire. Comme le dis Jean-Marc, il faut absolument que les instances des objets (base ou dérivés) conservent les propriétés qui caractérisent leur type.
Le seul fait "d'être capable de réagir à l'appel de la dite fonction" (dixit koala01) - ce que je traduis par être "castable" - est loin d'être suffisant pour garantir qu'on maintient la cohérence de la modélisation.
Partager