Multi Dispatch, RTTI, polymorphisme

**tiboo** · 09/03/2010, 12h11

Bonjour,

J'ai déjà effectué des recherches notamment sur le forum mais je n'arrive pas concrètement à voir la solution :

Il s'agit peut être d'un problème classique mais je cherche à gérer la collision entre différents objets d'un petit jeu, sachant que les collisions ne sont pas identiques entre les différents objets :

Pour faire simple, voila comment je pourrai gérer le collision pour chaque classe dérivé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
 
class Shape
  {
  public :
    virtual double GestionCollision( const Shape& p_shape ) = 0 ; 
  } ;
 
class Circle : public Shape
  {
   public :
    virtual double GestionCollision( const Shape& p_shape ) ; 
  } ;
 
class Rectangle : public Shape
 {
   public :
    virtual double GestionCollision( const Shape& p_shape ) ; 
  } ;

et pour chaque fonction GestionCollision, il faudrait que je gère les cas possibles. :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
 
double Circle : Intersect( const Shape& p_shape )
  {
  const type_info& monType = typeid( p_shape ) ;
  if( monType  == typeid( Rectangle ) )
  {
   //ma gestion
   ...
   }   
 
  }

Sauf qu'a chaque nouvelle classe dérivée, je devrais ajouter la gestion de cette nouvelle forme

. Ce n'est pas extensible et facilement maintenable.

J'ai lu sur un lien récent du forum que les solutions à mon problème sont le double|multi Dispatch/le pattern observateur/RTTI.

Seulement dans mon code appelant, je gère une liste de Shape et chaque itération je viens tester les collisions de cette manière :

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
 
 
BOOL ClasseAppelante::CheckShapeCollision(Shape* p_TestShape){
 
  vector<Shape*>::iterator iShape;
  for (iShape= m_vShape.begin(); iShape!= m_vShape.end(); iShape++)
  {
 
    if (p_TestShape == (*iShape))
      continue;
 
    // Test la collision
    if (p_TestShape->TestCollision(*iShape))
     //gestion collision
      return GestionCollision((*iShape), p_TestShape);
  }
 
}

Mon problème est que J'ai du mal à voir par exemple comment utiliser le pattern observateur ou RTTI et l'intégrer dans mon code. Je voudrais que cela reste générique et pouvoir ainsi ajouter de nouvelles classes sans toucher à ma classe de base et aux classes dérivées.

J'espère avoir été clair

merci

**Goten** · 09/03/2010, 12h44

Le problème c'est que t'as de la grosse répétition de code (les if et ça c'est pas franchement maintenable comme tu l'as dis), la bonne nouvelle c'est que ce code peut être générée par le compilateur...
Loki fourni un systéme de multidispatch (à vraie dire plusieurs) dont un statique qui déroule deux typelists afin de tester toute les possibilités. Tu y trouveras certainement ce qu'il te faut.. (d'autant plus que l'exemple qu'il prend pour illustrer le besoin de ce multi dispatch est .. la gestion de collision entre des formes ).

**tiboo** · 09/03/2010, 14h56

En effet en regardant d'un peu plus près, ça a l'air de gérer le multi-method. Par contre, désolé mais je ne trouve pas l'exemple dont tu me parles..

Et peut-on faire sans utiliser de librairies tierce?

**Goten** · 09/03/2010, 20h10

C'est pas que ça à l'air.. C'est fait pour ><. (enfin la parti multidispatch de loki bien évidemment).
Quand à l'exemple c'est ma faute, je faisais référence au bouquin qui va avec loki (Modern C++ design, d'Andrei Alexandrescu).

Sans bibliothèque tierce? Oui c'est possible mais il te faut réinventer la roue. (et une bonne partie puisqu'il repose pas mal sur les typelists et les algos qui vont avec).

**tiboo** · 10/03/2010, 09h13

ok je te remercie mais comme je n'envisage pas (immédiatement) d'acheter le bouquin, existe-t-il une solution qui pourrait me convenir autre que loki ?

merci