Discussion :

[tnarol]

Salut,

J'ai une famille de classes pour lequelles j'ai défini une interface commune pour recevoir un visiteur :

La classe mère a la méthode suivante:

Code :

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

virtual void accept(Visitor* visitor);

qui fait tout simplement :

Code :

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

visitor->visit(this);

La méthode visit du visiteur peut recevoir plusieurs types dans la chaine d'héritage de la classe mère c'est à dire qu'il y a :

Code :

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

1
2
3
4
5
6
7
class Visitor
{
public:
void visit(ClasseMere* instance);
void visit(ClasseFille1* instance);
void visit(ClasseFille2* instance);
}

Mon problème est le suivant :

Si je créé un visiteur et que je le donne à la méthode accept() une instance de ClasseFille1 alors le code

Code :

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

visitor->visit(this)

me branche sur la méthode

Code :

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

void visit(ClasseMere* instance);

au lieu de

Code :

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

void visit(ClasseFille1* instance);

Je m'attendrais en effet à ce que visit() s'adapte au type concret ClasseFille1 de mon instance.

Par contre j'ai remarqué que si je redéfini accept() dans ClasseFille1 :

Code :

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

virtual void accept(Visitor* visitor);

avec un code identique :

Code :

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

visitor->visit(this);

Alors c'est bien la méthode :

Code :

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

void visit(ClasseFille1* instance);

qui est appelée

Qui aurait une explication ? Quelle est la bonne façon de faire ?

Merci

[Médinoc]

La description du pattern Visitor sur Wikipédia indique qu'il faut bel et bien redéfinir la méthode accept()...

[tnarol]

La description du pattern Visitor sur Wikipédia indique qu'il faut bel et bien redéfinir la méthode accept()...

L'exemple de wikipedia ne correspond pas tout à fait à mon cas car "Engine", "Body", "Wheel" n'héritent pas d'une classe "Parts" par exemple.

L'équivalent de mon problème serait qu'il y ait une classe "Parts" mère de "Engine", "Body", "Wheel" et qui définirait accept() comme faisant :

Code :

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

visitor.visit(this);

Je ne vois pas alors pourquoi ce code hérité de "Parts" ne marcherait pas en adaptant l'appel de "visit()" au type concret de "this" lorsqu'il est appelé depuis les classes filles "Engine", "Body", "Wheel".

[Médinoc]

Parce que le choix de l'une ou l'autre méthode visit() dépend du type statique de l'argument qu'on lui passe.

C'est le principe même du pattern Visitor.

[tnarol]

Parce que le choix de l'une ou l'autre méthode visit() dépend du type statique de l'argument qu'on lui passe.

C'est le principe même du pattern Visitor.

Ah d'accord, je n'avais pas compris cette subtilité... celà explique en effet le comportement observé.

Dois-je en conclure que je n'ai pas d'autre alternative que de définir un accept spécifique pour chacune de mes classes ?

N'y aurait-il pas un moyen de s'en sortir avec une utilisation des templates par exemple ?

[Médinoc]

Avec les templates, peut-être en CRTP (curiously recurring template pattern) avec une classe intermédiaire TParts qui serait le template.

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
class Parts
{
   virtual void accept(Visitor * pVisitor) = 0;
}
 
template< class T >
class TParts : public Parts
{
    virtual void accept(Visitor * pVisitor)
    {
        pVisitor->visit(static_cast< T* >(this);
    }
};
 
class Engine : public TParts< Engine >
{
};
 
//etc.

Note que la classe TParts réimplémente quand même la méthode accept(). Par contre, les classes qui en dérivent n'en ont pas besoin, puisque le type statique est le bon.