Covariance, Contravariance et Diamant

Derrière ce titre et ces mots avec beaucoup de syllabes se trouvent de la théorie de la programmation objet. On est d’accord, ça peut paraître barbant à première vue. Hors, quand vous comprenez ces outils, vous comprenez les comportements de PHP. Et de tous les langages de programmation orientés objet !

Pourquoi est-il possible d’étendre le type d’argument d’une méthode d’une classe fille, mais qu’il est interdit d’étendre son type de retour ? Est-ce juste pour le plaisir ou la théorie objet rend-elle ceci impossible ? Petit indice : Barbara Liskov, informaticienne émérite, y est pour quelque chose.

On se donne rendez-vous pour vous rendre imbattable lundi à la machine à café sur les histoires d’héritage, de problème du diamant, de covariance et de contravariance !

Comments