Discussion :

[Metalman]

Bonjour,

Je fais très rarement du C++ (et je suis assez célèbre pour dire beaucoup BEAUCOUP de mal de la POO en général), mais je me suis lancé sur un projet en groupe dont le C++ l'a emporté (heureusement, certaines parties sont en pure-good-old-C).

Bref, j'ai beaucoup oublié le fonctionnement des appels de fonctions lors d'héritage avec classes mères virtuelles.
Et je suis perdu car je ne sais plus quel mot clé utiliser (typename ?).

Voici les classes "simplifiées" au maximum pour mon problème (PrintNameClass contient l'écriture du nom de la classe courante, sauf pour la Class1 évidemment) :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
class Classe1
{
  public:
  virtual voit PrintNameClass(void) = 0;
};
 
class Classe2 : public Classe1
{
  public:
  virtual void PrintNameClass(void);
};
 
class Classe3 : public Classe2
{
  public:
  void PrintNameClass(void);
}

Voici mon code :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
void maFonction(Classe2 myObj)
{
  myObj.PrintNameClass();
}
 
int main(void)
{
  Classe3 myObj;
 
  myObj.PrintNameClass();
  maFonction(myObj);
}

Lors du runtime, je me retrouve donc avec 2 print (ce qui est normal), mais, ils m'affichent :

Classe3
Classe2

Je voudrais pouvoir appeler la méthode PrintNameClass de la classe la plus "en bas" (Class3 pour le coup) plutôt que celle de la première classe l'implémentant, comment faire ?
J'ai un lointain souvenir de "typename", mais en cherchant, cela n'intervient qu'à l'intérieur de templates, donc complètement en dehors de l'héritage.
J'ai farfouillé les cours, mais je me retrouve soit dans les "bases-bases-bases" du C++, soit dans les parties trop avancées.

Merci d'avance à vous !

[Neckara]

Bonjour,

Pour utiliser le polymorphisme, il te faut utiliser un pointeur ou une référence.

Là tu va copier la "partie Classe 2" de ton instance de "Classe 3", donc tu aura au final une instance de Classe 2 qui ne sera pas une Classe 3.

[Metalman]

Arrh... j'ai hésité à le faire ne plus ! xD
Et je me suis dis que peut être que non...

Bref... je l'ai mis en mode référence :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
void maFonction(Classe2 &myObj)
{
  myObj.PrintNameClass();
}
 
int main(void)
{
  Classe3 myObj;
 
  myObj.PrintNameClass();
  maFonction(myObj);
}

Et ça fonctionne en effet.
Et c'est logique le coup de la copie de la partie "Classe2" uniquement.

Merci !

[Luc Hermitte]

PS: un classe n'est pas virtuelle.
En revanche, une classe de base peut être virtuelle relativement à un héritage.
Dans

Code :

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

1
2
3
struct A {};
struct B : A {};
struct C : virtual A {};

A est une classe de base virtuelle pour C mais pas pour B.
Ce que tu as désigné comme classe virtuelle, est ce que l'on appelle une classe abstraite (qui a la particularité d'avoir toutes ses fonctions virtuelles pures)

Concernant ton problème, Je t'invite à interdire l'héritage sur tes classes qui ont vocation à être dérivées (car techniquement c'est un sac de noeuds sans solution propre, car sémantiquement cela n'a jamais aucun sens que de dupliquer des entités, et que pratiquement on n'en a jamais besoin (de copier des entités))
Ainsi, le compilateur t'aurait engueulé dès le début au lieu de te laisser faire ce que tu ne voulais pas faire.
(le comment est dans la FAQ)

[Neckara]

Je t'invite à interdire l'héritage sur tes classes qui ont vocation à être dérivées

Qui n'ont pas vocation à être dérivées non?

[Luc Hermitte]

Oups.

Presque. Il fallait lire:
-> interdire la copie sur les classes qui ont vocation à être dérivées.

[Médinoc]

Ce que tu as désigné comme classe virtuelle, est ce que l'on appelle une classe abstraite (qui a la particularité d'avoir toutes ses fonctions virtuelles pures)

La formulation est ambigüe, je vais donc clarifier un peu:

• Une classe abstraite est une classe qui possède une ou plusieurs fonction(s) virtuelle(s) pure(s).
• Cette classe abstraite en particulier a toutes ses fonctions virtuelles pures, et aucune variable. Dans certains milieux, on appelle ça une interface, en raison des similarités avec les plate-formes implémentant directement ce concept (.Net, Java...)