Discussion :

[coda_blank]

J'essaie d'implémenter le pattern visiteur avec les templates

Je n'ai qu'une seule classe dérivée et templatée

Je travaille avec GCC 4.5 (donc c++11)

fichier VisitorTemplate.hpp (j'ai spécialisé Derived dans le code de visit mais j'aimerais pouvoir utiliser n'importe quel type à l'avenir)

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
#ifndef VISITORTEMPLATE_HPP_
#define VISITORTEMPLATE_HPP_
 
#include <iostream>
#include <string>
using namespace std;
 
template<class T> class Derived;
 
class Visitor
{
 
  public:
    virtual void visit(Derived<string> *e) = 0;
 
};
 
class Base
{
  public:
 
    virtual void accept(class Visitor *v) = 0;
};
 
template<class T>
class Derived: public Base
{
  public:
 
    virtual void accept(Visitor *v)
    {
       v->visit(this);
    }
 
    string display(T arg)
    {
       string s = "This is : " + to_string(arg);
       return s;
    }
 
};
 
class UpVisitor: public Visitor
{
   virtual void visit(Derived<string> *e)
   {
     cout << "do Up on " + e->display("test") << '\n';
   }
 
};
 
class DownVisitor: public Visitor
{
   virtual void visit(Derived<string> *e)
   {
     cout << "do Down on " + e->display("test") << '\n';
   }
 
};
 
 
#endif /* VISITORTEMPLATE_HPP_ */

main.cpp

Code :

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

1
2
3
4
5
6
7
8
 
Base* base = new Derived<string>();
 
Visitor* up = new UpVisitor();
Visitor* down = new DownVisitor();
 
base->accept(up);
base->accept(down);

Edit : j'ai modifié le code avec une déclaration anticipée de Derived et juste en dessous le code de Visitor
Plus d'erreurs

Maintenant je souhaiterais utiliser Derived<T> dans visit; malheureusement visit est virtual et donc impossible d'en faire une méthode template

[Flob90]

Tu n'as pas copier exactement ton code ? Les lignes correspondent pas :s

Sépares ton implémentation du header, tu ne peux pas utiliser les fonctions membres d'un type incomplet (ce qui est le cas avec une déclatation anticpée).

Regardes l'article d'Emmanuel Deloget sur le visiteur acyclique, il pourrait t'être utile

[coda_blank]

Tu n'as pas copier exactement ton code ? Les lignes correspondent pas :s

Sépares ton implémentation du header, tu ne peux pas utiliser les fonctions membres d'un type incomplet (ce qui est le cas avec une déclatation anticpée).

Regardes l'article d'Emmanuel Deloget sur le visiteur acyclique, il pourrait t'être utile

Le visteur acyclique fait appel à dynamic_cast, ce que je cherche justement à éviter

[Flob90]

Tu pourrais templater directement Visitor et Base par exemple je pense

[coda_blank]

Tu pourrais templater directement Visitor et Base par exemple je pense

autant pour Visitor je peux voir l'intérêt, autant pour Base pas trop, vu que je veux avoir des vector<Base*>

et comment je fais avec les classe dérivées ?

j'oubliais, j'aimerais aussi pouvoir passer des paramètres à visit; bien sûr la liste des paramètres varie en fonction de la classe dérivée

[Steph_ng8]

Bonjour,

j'oubliais, j'aimerais aussi pouvoir passer des paramètres à visit; bien sûr la liste des paramètres varie en fonction de la classe dérivée

Les template variadiques ne répondent-ils pas à ce besoin ?

[coda_blank]

Bonjour,


Les template variadiques ne répondent-ils pas à ce besoin ?

en effet, mais le problème c'est que je vais devoir ajouter ces paramètres variadic à la méthode accept de Derived et donc de Base et pour ce faire il faut que je template Base (ce que je veux éviter)

tout le problème réside dans le fait que la signature de la méthode accept de Derived doit être strictement similaire à celle de Base

[Flob90]

Pour une première idée :

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
 
#include<boost/preprocessor/seq/enum.hpp>
 
#define BASE_ACCEPT(TYPES) \
	virtual void accept(Visitor<BOOST_PP_SEQ_ENUM(TYPES)>* v) =0;
 
#define ACCEPT(TYPES) \
	void accept(Visitor<BOOST_PP_SEQ_ENUM(TYPES)>* v) \
{ v->visit(*this); }
 
template<class...>
struct Visitor;
 
template<class T> 
struct Visitor<T>
{
	virtual ~Visitor(){}
	virtual void visit(T&) =0;
};
 
template<class T, class... Arg>
struct Visitor<T,Arg...> : Visitor<T>, Visitor<Arg...>
{
	using Visitor<T>::visit;
	using Visitor<Arg...>::visit;
};
 
//Exemple
 
//Hiérarchie
struct A;
struct B;
struct C;
 
struct Base
{ virtual ~Base(){}
BASE_ACCEPT((A)(B)(C)) };
 
struct A : Base
{ ACCEPT((A)(B)(C)) };
 
struct B : Base
{ ACCEPT((A)(B)(C)) };
 
struct C : Base
{ ACCEPT((A)(B)(C)) };
 
//Un visiteur
#include<iostream>
 
struct MyVisitor : Visitor<A,B,C>
{
	void visit(A&)
	{ std::cout << 0; }
	void visit(B&)
	{ std::cout << 1; }
	void visit(C&)
	{ std::cout << 2; }
};
 
int main()
{
	Base* b1 = new A();
	Base* b2 = new B();
	Base* b3 = new C();
 
	Visitor<A,B,C>* v = new MyVisitor();
 
	b1->accept(v);
	b2->accept(v);
	b3->accept(v);
 
	int i;
	std::cin >> i;
}

Par contre on voit bien le problème du visiteur cyclique : des grosses dépendances :s

Tu peux aussi regarder l'implémentation proposée par Loki