Discussion :

[JeePI196]

Bonjour à tous,

Je n'arrive pas à trouver d'exemples pour ce que j'aimerais faire en C++, mais que j'arrive à faire en Java et en C#.

Voici un exemple de code :

Code :

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

1
2
3
4
5
6
7
8
 
template<typename T : public IDetectable>
class IDetector {
public:
  virtual ~IDetector(void) {}
 
  virtual vector<T*> find() = 0;
};

Code :

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

1
2
3
4
5
6
7
8
9
 
class BoxDetector : public IDetector<Box>
{
public:
  BoxDetector(void);
  virtual ~BoxDetector(void);
 
  vector<Box*> find() { /* ... */ }
};

Code :

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

1
2
3
4
5
6
 
class IDetectable
{
public:
  virtual ~IDetectable(void) {}
};

Code :

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

1
2
3
4
5
6
7
 
class Box : public IDetectable
{
public:
  Box(void);
  virtual ~Box(void);
};

Ce qui me permettrait de faire :

Code :

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

1
2
3
 
IDetector<IDetectable>* mDetector = new BoxDetector();
vector<IDetectable*> mBoxes = mDetector->find();

Le problème que je rencontre est que "BoxDetector" n'est pas reconnu comme étant "IDetector<IDetectable>". De plus que je crois que "template<class T : public IDetectable>" n'est pas une expression valide en C++ même si cela ne cause pas d'erreur de compilation?

Ceci ne compile pas car IDetectable n'est pas un nom de type valide:

Code :

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

1
2
 
IDetector<IDetectable>* detector;

Je code dans Visual Studio et je n'utilise aucune libraire comme BOOST etc.

Merci!

[AF_2.8]

Dans ton héritage tu as spécialisé ta template avec BOX.
BoxDetector peut être stocké dans un pointeur de type IDetector<Box>.

[JeePI196]

Mais BOX hérite de IDetectable, alors ça devrait etre possible de dire que :

BoxDetector peut être stocké dans un pointeur IDetector<Box> ou IDetector<IDetectable> ?

[Steph_ng8]

Bonjour,

Code :

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

1
2
IDetector<Box> *ptr = new BoxDetector();         // compile
IDetector<IDetectable> *ptr = new BoxDetector(); // ne compile pas

error: cannot convert ‘IDetector<Box>*’ to ‘IDetector<IDetectable>*’ in initialization

Pour les paramètres template, il n'y a pas d'héritage qui tienne.
Il faut qu'ils soient du bon type (ou de la bonne valeur) pour que ça fonctionne.
C'est le seul moyen qu'a le compilateur de déterminer quelle est la fonction/classe à instancier.

[edit]
On peut utiliser des expressions au niveau des paramètres template qui retournent différentes valeurs, mais je ne sais pas exactement comment ça fonctionne.
Ça peut peut-être t'aider.
C'est utilisé dans les « concept check », et même au niveau des conteneurs de la STL, donc si tu vas examiner le code source…
[/edit]

[JeePI196]

Tu as effectivement bien cerné mon problème. J'en conclue que je ne peux utiliser l'héritage dans les templates comme il est possible de le faire avec les Generics en Java et C#.

[edit]
Cependant, est-t-il envisageable de faire un cast pour le "convertir" au type supérieur?

Code :

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

1
2
3
4
5
6
7
 
BoxDetector* box = new BoxDetector();
box->setMinWidth(10);
box->setMinHeight(10);
 
vector<IDetector<IDetectable>*> list;
list.push_back((IDetector<IDetectable>*)box);

[/edit]

[Steph_ng8]

J'en conclue que je ne peux utiliser l'héritage dans les templates comme il est possible de le faire avec les Generics en Java et C#.

C'est exactement ça, malheureusement.
Il y a probablement moyen de faire autrement, mais je ne suis pas assez calé pour te dire comment…

[Joel F]

non, le probleme est que meme si A hérite de B, C<A> n'a aucun lien avec C<B>.

Reste donc a ajouter manuellement l'héritage dans Box.

Les concepts checks ne servent qu'a verifier ce genre de relation, pas a les implanter.

[JeePI196]

Merci de l'information, topic résolu malgré tout.