Discussion :

[victor_gasgas]

Bonjour,

J'essaye d'implémenter le design pattern du visiteur pour ne pas utiliser les dynamic_cast. mais problème je ne sais pas comment le rendre encore plus flexible avec des template comme sur l'article wikipedia en anglais.

si quelqu'un peut m'apporter un élément de réponse merci beaucoup

[Emmanuel Deloget]

Bonjour,

J'essaye d'implémenter le design pattern du visiteur pour ne pas utiliser les dynamic_cast. mais problème je ne sais pas comment le rendre encore plus flexible avec des template comme sur l'article wikipedia en anglais.

si quelqu'un peut m'apporter un élément de réponse merci beaucoup

Un visiteur acyclique ne peut être implémenté qu'avec dynamic_cast. Dans l'exemple Wikipedia, le dynamic_cast est remplacé par une recherche dans une table de visiteurs. Au niveau performance, on va peut-être y gagner un peu (et encore). Au niveau de la "vérifiablitité" et de la lisibilité du code, on y perds énormément. Il impose de plus que les éléments visitables deviennent des templates, ce qui n'est pas forcément une possibilité, et peut être même contre-productif.

J'ai assez tapé sur la tête de dynamic_cast ces derniers jours, tout en soutenant qu'il y avait certaines utilisation légitimes de ce mot-clef. L'implémentation d'un visiteur acyclique est est une, et pour une bonne raison : à partir du moment ou j'évalue ma fonction visit, je sais que je ne vais m'intéresser qu'aux visiteurs pour lequel j'ai un intérêt. Je peux donc réduire mon choix à un type particulier de visiteur.

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
 
class visitor
{
public:
  visitor() { }
  virtual ~vistor() { }
};
 
class element_vistor : public visitor
{
public:
  element_visitor() { }
  virtual ~element_visitor() { }
 
  void accept(element *e) { ... }
};
 
 
class element
{
public:
  void visit(visitor* v)
  {
    element_visitor* ev = dynamic_cast<element_visitor*>(v);
    // si ce n'est pas un visiteur d'élément, je ne vais de toute façon
    // pas essayer de me faire "accepter".
    if (ev)
    {
       ev->accept(this);
    }
  }
};

J'en ai parlé sur mon blog il y a quelques années.

[victor_gasgas]

Merci c'est que j'avais toujours lu que dynamic_cast était du à un problème de conception.

[Emmanuel Deloget]

Merci c'est que j'avais toujours lu que dynamic_cast était du à un problème de conception.

C'est le cas, 99% du temps. Mais il arrive que, dans certains cas, ce soit une solution simple, efficace et correcte à un problème donné. Ces cas sont rares - très rares même - mais le visiteur acyclique en est un.