J’ai vu que Wikipédia avait jusqu’à aujourd’hui un paragraphe qui allait dans ton sens dans Principe de substitution de Liskov ... Ce qui a sûrement aidé à propager cette idée ... qui n’était pas vraiment sourcée sérieusement.
Il n’y avait même pas de sous-typage dans l’exemple, donc a fortiori pas de contrats comportementaux, donc rien qui ne puisse violer la définition formelle :
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.
[^] # Re: sealed ?
Posté par thoasm . En réponse au journal La plus belle ligne de code. Évalué à 4. Dernière modification le 17 octobre 2023 à 18:18.
J’ai vu que Wikipédia avait jusqu’à aujourd’hui un paragraphe qui allait dans ton sens dans Principe de substitution de Liskov ... Ce qui a sûrement aidé à propager cette idée ... qui n’était pas vraiment sourcée sérieusement.
Il n’y avait même pas de sous-typage dans l’exemple, donc a fortiori pas de contrats comportementaux, donc rien qui ne puisse violer la définition formelle :