Discussion :

[xflr6]

Bonjour,

J'ai un problème qui doit être conceptuel concernant l'héritage et le polymorphisme.

J'ai défini une collection d'objects Ai Aj Ak qui héritent tous d'une classe mère A.
La collection est stockée dans un vecteur de pointeurs sur A vector<A*> vect;.
Le vecteur est sûr rempli en utilisant les constructeurs spécialisés, i.e. Ai, Aj, Ak (voire A).

Chacune des classes possède une fonction spécialisée func (définie virtuelle) qui est propre à chaque type de classe.

Aussi, dans mon programme, j'ai bien vérifié que la liaison dynamique fonctionne, c'est à dire que vect[i]->func() appelle bien A::func, Ai::func, Aj::func, ou Ak::func selon le type des instances parcourues.

Mon problème: j'ai défini une fonction extérieure compare(A*,A*) afin de comparer les instances de mon vecteur.
Cette fonction appelle ma fonction func. Mais quoiqu'il arrive, C++ n'arrive pas à faire la liaison dynamique vers les fonctions spécialisées, et appelle toujours A::func.
Soit.
J'ai tenté de surcharger compare avec tous les cas possibles :

Code :

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

1
2
3
4
5
6
 
compare(A*,A*)
compare(A*,Ai*)
compare(A*,Aj*)
compare(A*,Ak*)
etc...

Mais bien sûr cela ne fonctionne pas.

Je vois bien que pour func, j'ai du déclarer la fonction virtual pour que les liaisons correctes se fassent, et que pour compare, je ne fait rien, donc je sens que mon problème est là. A moins que...

Des indices ?

Merci d'avance,
xflr6

[foetus]

Est-tu sûr de ne pas toujours appeler compare(A*, A*)?

Une petite trace et

Édit 1: Une trace = cout ou printf.

Édit 2: Merci pour le

[xflr6]

Merci de votre réponse.
Si, si, techniquement, j'appelle toujours compare(A*, A*) car mon vecteur est un vecteur de pointeurs de type A (même si les instances qui sont dedans pointent vers les classes filles).
Et c'est ce que j'aimerais faire, modulo que dans compare, j'aimerais faire comprendre au compilo que les méthodes à utiliser sont les méthodes spécialisées, et non pas la générique de la classe mère.
Et sinon, une trace de quoi ???

[xflr6]

Pour l'edit 2, ce n'est pas mon vote. Ce n'est pas dans mes habitudes de critiquer les personnes qui me proposent leur aide.
Concernant le reste, c'est effectivement mon problème qu'il passe (dans compare) dans A::func et pas dans les spécialisées filles (et ça, je l'avais vérifié par un cout, c'est même comme ça que je m'en suis aperçu).

[jblecanard]

Hello

Je ne vais pas faire de débat sur l'utilité de comparer des objets de type réel différents, je suppose que ton use case le justifie. Avec les informations que tu donnes, cela devrait fonctionner. Est-ce que tu arrives à reproduire ton problème sur un code simplifié que tu pourrais poster ici ?

[xflr6]

Effectivement, ce que j'ai dit devrait marcher (et ça marche). Il y a donc une différence entre ce que je fais et ce que j'ai dit.
J'ai passé beaucoup de temps à tenter de comprendre pourquoi un programme simple fonctionnait et que mon programme ne fonctionnait pas.
J'ai donc du censurer au maximum le programme pour limiter à la partie problématique. Effectivement je dois faire qque chose d'illégal mais je ne m'en sors pas.
Voici le code concaténé :

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
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
#include <string>
#include <iostream>
#include <vector>
 
using namespace std;
 
class a
{
    protected:
    string type;
    public:
    a(string);
    string GetType();
    virtual void affiche();
    virtual bool compare(a*);
};
class ai : public a
{
    protected:
    int dummy;
    public:
    ai(string,int);
    int GetDummy();
    virtual void affiche();
    virtual bool compare(ai*);
};
 
bool extcompare(a*, a*);
 
a::a(string s) 
{ 
    this->type=s; 
}
 
string a::GetType()
{
    return this->type;
}
 
void a::affiche() 
{ 
    cout << "a=  " << this->GetType() << endl;
}
bool a::compare(a* other) 
{
    bool ok=true;
    if ( this->GetType() != other->GetType() ) ok=false;
    if ( this->GetType() != "mere" ) {ok=false; cout << "Shouldn't be there...   ";}
    cout << "In virtual bool a::compare(a*)   -   ok=" << ok << endl;
    return ok;
}
 
ai::ai(string s, int i) : a(s) 
{
    this->dummy=i;
}
 
int ai::GetDummy()
{
    return this->dummy;
}
 
void ai::affiche() 
{
    cout << "ai= " << this->GetType() << " " << this->GetDummy() << endl;
}
 
bool ai::compare(ai* other) 
{
    bool ok=true;
    if ( this->GetType()  != other->GetType()  ) ok=false;
    if ( this->GetDummy() != other->GetDummy() ) ok=false;
    cout << "In virtual bool ai::compare(ai*)    -    ok=" << ok << endl;
    return ok;
}
 
bool extcompare(a* a1, a* a2)
{
    a1->affiche();
    a2->affiche();
    if ( a1->GetType() == a2->GetType() ) return a1->compare(a2); 
    return false;
}
 
int main()
{
  vector<a*> vect;
  vect.push_back(new a("mere"));
  vect.push_back(new ai("fille",1));
  vect.push_back(new ai("fille",2));
  vect.push_back(new ai("fille",3));
  vect.push_back(new ai("fille",1));
  for (vector<a*>::iterator it1=vect.begin(); it1!=vect.end(); it1++ ) 
  {
      for (vector<a*>::iterator it2=vect.begin(); it2!=vect.end(); it2++ ) 
      {
          extcompare((*it1),(*it2));
      }
  }
  cout << endl;
  return 0;
}

Le pb: a chaque fois que le code passe par extcompare avec deux classes filles ai, il utilise la méthode a::compare à la place de ai::compare :-(, sachant que l'occurence (a*)->compare(ai*) ou inversement n'est jamais invoquée car protégée par la condition sur GetType dans extcompare.
Merci de votre aide.

Les fichiers avec le makefile en pièce jointe pour ceux qui veulent: