Mariage de la Programmation Orientée Objet et de la Programmation Générique : Type Erasure

I. Introduction
II. Etude de cas
III. Principe de Type Erasure
IV. Application dans un cas concret
V. Réécrivons boost::any
VI. Limites et conclusion
VII. Remerciements

• Le C++ est un langage riche.
• On peut résoudre des problèmes identiques avec des approches différentes.
• Certains utiliseront des classes, d'autres un style plus basé sur les fonctions, etc.
• En effet, le C++ supporte plusieurs paradigmes, comme la programmation orientée objet, la programmation générique, la programmation fonctionnelle, la programmation logique, etc.
• Toutefois, seuls les deux premiers ici sont nativement supportés par le C++ (c'est à dire sans utiliser de bibliothèque).
• Seulement, il peut arriver que l'on ait besoin de mélanger les styles, afin de bénéficier des avantages de l'un et de l'autre et l'on aimerait bien ne pas avoir de difficultés à les mélanger.
• En effet, lorsque l'on écrit des composants génériques (paramétrés via le mécanisme de templates), on veut pouvoir les injecter dans du code Orienté
• Objet ne serait-ce par exemple qu'en agissant uniformément sur une liste de composants via le polymorphisme d'héritage...
• Or ceci n'est pas trivial et possède ses pièges...