Discussion :

[Gugelhupf]

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.
Si je dis des bêtises, n'hésitez surtout pas à me le signaler

Il existe 4 types de polymorphismes.

Ad-hoc :

• coercition
• surcharge

Universel :

• paramétrique
• inclusion

Polymorphisme de coercition (conversion implicite des variables) :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 ?

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

   Sélectionner tout - Visualiser dans une fenêtre à part

   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

[Ekleog]

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 ?

[Trademark]

Pour ta première question, un petit exemple :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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.