Discussion :

[Mithryl]

Bonjour !

J'ai lu pas mal de tutoriels sur le sujet des méthodes virtuelles, mais j'avoue buter sur un problème venu de l'espace (dont la solution, comme d'habitude, doit être évidente...).

J'ai deux classes "Livre" et "Article" qui héritent de la classe de base "Document". Document contient une méthode virtuelle afficher(), implémentée par ses deux filles.

J'ai une classe "Biblio" qui contient une "list<Document>", où j'ajoute des livres et des articles.

Cependant, quand je prend un objet de cette liste (que je parcours avec un "iterator") et que j'appelle

Code :

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

it -> afficher(

), c'est la méthode afficher() de la classe mère qui est appelée !

Je croyais avoir compris le système des méthodes virtuelles, mais là j'avoue ne rien y comprendre. J'ai pas mal planché sur ce problème, mais je ne vois pas :

• it est bien un pointeur vers un objet "Article" ou "Livre"
• Ce sont bien des instances des classes filles que j'ai "push_back"
• Mes méthodes ont bien été déclarées "virtual" dans le .h de la classe mère (et des classes filles au cas où).

Non, sérieusement, je ne vois pas... Je suppose que dans ma "list" il doit y avoir un moment où mes instances de classes filles deviennent des "Document", mais comment ?

Je vous remercie par avance, et encore félicitations pour ce forum qui m'a tant aidé par le passé

Mithryl.

PS : Voici les extraits de code des fonctions

Biblio.h

Code :

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

1
2
3
 
void ajouter(Document *D);
void afficher();

Biblio.cpp

Code :

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

1
2
3
4
5
6
7
8
 
void Biblio::ajouter(Document *D){
	tab.push_back(*D);
}
void Biblio::afficher(){
	for (list<Document>::iterator it = tab.begin(); it !=tab.end(); it++)
		it->afficher();
}

Article.h

Code :

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

1
2
 
virtual void afficher() const;

Article.cpp

Code :

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

1
2
3
4
5
6
void Article::afficher() const{
	this -> Document::afficher();
	cout << "Revue : " << revue << endl;
	cout << "Editeur : " << editeur << endl;
	cout << "Numero d'édition : " << numeroEdition << endl << endl;
}

Document.h

Code :

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

virtual void afficher() const;

Document.cpp

Code :

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

1
2
3
4
5
6
void Document::afficher() const{
	cout << endl << "DOCUMENT : " << endl;
	cout << "Titre : " << titre << endl;
	cout << "Resume : " << *resume <<endl;
	cout << "Auteur : " << auteur <<endl;
}

Et enfin, le main.cpp

Code :

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

1
2
3
4
5
6
7
8
9
 
Article* article = new Article("Titre", new string("Resume"), "Auteur", "Revue", "Editeur", 2005);
Livre* livre = new Livre("TitreL", new string("ResumeL"), "AuteurL", "EditeurL", 2010);
 
Biblio* biblio = new Biblio();
 
biblio->ajouter(article);
biblio->ajouter(livre);
biblio->afficher();

J'ai omis quelques fonctions (constructeurs, etc) et quelques fichiers (Livre.cpp, ...), si vous en avez besoin je vous mettrai le tout

[Bousk]

Bonjour,

le polymorphisme nécessite l'utilisation de pointeur ou référence.
Tu as un tableau de Document, ce n'est pas bon.

Btw, pourquoi réaliser une instanciation dynamique à base de new pour le déférencer derrière ?! Surtout avant de l'insérer par copie dans un tableau de Document.
En plus de fuites mémoires.

[Mithryl]

Bonjour,

Et merci pour la rapidité de votre réponse !

Si j'ai bien compris, dans l'absolu j'aurai dû prendre une list<Document*> ou list<Document&> ?

Par contre je ne vois pas où il y a fuite mémoire, c'est parce que j'alloue un espace mémoire pour un pointeur (new Article) et que je stocke l'article dans une liste ?

En fait, quand j'avais lu qu'il fallait utiliser des pointeurs ou des références pour le polymorphisme, je pensais être dedans en faisant :

Code :

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

it -> afficher()

Car it est un pointeur, pourquoi n'est-ce pas bon ?

Merci encore pour cette réponse

Mithryl

[Bousk]

it est une sorte de pointeur, vers un élément de la liste.
Si ta liste contient des Document, il ne s'agira jamais de Document*.

Par contre je ne vois pas où il y a fuite mémoire, c'est parce que j'alloue un espace mémoire pour un pointeur (new Article) et que je stocke l'article dans une liste ?

à chaque new doit correspondre un delete.
mais l'allocation dynamique ne sert à rien ici.

[Mithryl]

C'était donc ça !

Je pensais qu'un iterator sur une list<Document> devenait un Document*, et ben non

Merci, je me penche dessus et je viens faire mon bilan,

Merci énormément !

Mithryl

[ternel]

En fait, tu n'es pas loin, un iterateur est bien un équivalent de Document*.
Pour être précis, dans un vector<T>, (*it) est un T

Le problème est ailleurs, dans le vector, qui copie les valeurs dans un tableau interne.
C'est à dire: vector<T>::push_back(const T& t) a plus ou moins pour code internal_array[back_index]=t;.

L'effet est nommé slicing, (troncature?). les deux seuls contournement du slicing sont les pointeurs et les références, mais un vecteur ne peut pas être templaté sur des références.

[Bousk]

Je pensais qu'un iterator sur une list<Document> devenait un Document*, et ben non

Oui, mais si ton vector contient des Document, ce sont des Document. Et un Document* ne sera rien d'autre qu'un pointeur sur Document et n'aura absolument aucune chance de se transformer par magie en Article*.
Il te faut connaître les notions de typage statique et dynamique.