Les 4 types de polymorphismes existants

Bonjour,

J'ai étudié les différents types de polymorphisme grâce à la FAQ C++.
Je souhaiterais avoir votre confirmation sur ma compréhension du sujet et vous poser quelques questions supplémentaires. :mrgreen:
Si je dis des bêtises, n'hésitez surtout pas à me le signaler :ccool:

Il existe 4 types de polymorphismes.

Ad-hoc :

• coercition
• surcharge

Universel :

• paramétrique
• inclusion

Polymorphisme de coercition (conversion implicite des variables) :

Code:

---

1 2 3

int valInt = 2; double valDouble = 2.2; double resultat = valInt + valDouble; // Conversion implicite de valInt en double.

---

Polymorphisme de surcharge (surcharge des fonctions/méthodes) :

Code:

---

1 2 3

void maFonction(int arg); int maFonction(double arg); char maFonction(char arg, char arg2);

---

Polymorphisme paramétrique :
"utilisation des techniques génériques pour offrir un même service pour tout un ensemble de types"
Utilisation de template et flux de sortie ? :aie:

Polymorphisme d'inclusion (héritage des méthodes) :

Code:

---

1 2 3 4 5 6 7 8

class Mere{ public: void methodeMere(); // La méthode sera héritée dans la classe Fille };   class Fille : public Mere{   };

---

Mes questions :

1. Je n'ai pas très bien compris le polymorphisme paramétrique, pouvez-vous m'en dire un petit peu plus sur ce type de polymorphisme ?
   
2. A quel type de polymorphisme appartient le code suivant ? Par élimination je me dis qu'il s'agit du polymorphisme d'inclusion mais pourquoi ?
   
   Code:

   ---

   1 2	ClasseFille f; ClasseMere &obj = f;

   ---

3. Aussi il y a une autre chose que je ne comprend pas, pourquoi "le polymorphisme d'inclusion s'appuie sur l'héritage public" ? Pourquoi public et pas protected par exemple ?
   Source ici.

Merci pour vos lumières :ccool:

1. Oui, template. Il doit y avoir des choses dessus, sur la FAQ.

2. Polymorphisme d'inclusion, avec un poil de coercion : on exploite la conversion implicite d'une référence sur une classe fille vers une référence sur une classe mère.

3. Parce que la conversion implicite de référence / pointeur et le "downcast" automatique pour les fonctions virtuelles ne fonctionnent qu'avec l'héritage public.

Mes réponses suffisent-elles ?

Pour ta première question, un petit exemple :

Code:

---

1 2 3 4 5 6 7 8 9

template <class T> void maFonction(T arg);   // Appel double a = 0; int b = 0; // Appel de la même fonction ! Pas de redondance du code. maFonction(a); maFonction(b);

---

Tu utilises donc les templates lorsqu'une fonction à un même comportement peu importe le type du paramètre (dans une certaine mesure), il faut bien entendu que le type du paramètre soit compatible. Par contre, lorsque la fonction a un comportement qui dépend du type, alors tu fais une surcharge.