Discussion :

[Letinono]

Bonjour,

J'aurai besoin d'aide pour un problème de C++.

J'ai une fonction avec un template pour un de ses 2 arguments:

Code :

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

1
2
 
template<class T> int maFonction(T arg, int arg2)

Celle-ci peut recevoir des arguments de type simple ou des classes. Pour gérer les classes, j'utilise les shared_ptr de boost. On peut utiliser ma fonction avec cet appel:

Code :

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

1
2
3
 
boost::shared_ptr<maClass> a( new maClass() );
maFonction(a, 1);

Or ma classe peut être un template donc je dois pouvoir utiliser maFonction de la manière suivante:

Code :

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

1
2
3
 
boost::shared_ptr<maClass2<float>> a( new maClass2<float>() );
maFonction(a, 1);

J'ai maintenant besoin de savoir dans maFonction si l'argument 1 est bien de type maClass2. Et ensuite pouvoir l'utiliser comme telle (utiliser les fonctions de la class).

Auriez vous une solution?

Merci par avance.

[koala01]

Salut,

La première chose, c'est que tu devrais déjà passer T sous la forme d'une référence (éventuellement constante), de manière à éviter les copie inutiles, étant donné que tu n'a absolument aucune certitude que tu auras bel et bien affaire à un type d'objet dont la copie ne prend pas un temps incroyable

La deuxième chose est que tu dois, simplement, considérer que le type d'objet connu comme étant T propose une interface qu'il s'agit, pour l'utilisateur, de veiller à fournir, au besoin en fournissant les surcharges "qui vont bien"...

Tu en arriverais alors à quelque chose qui serait proche de

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
template <typename T>
int foo(T /* const */ & t, int i )
{
    /* version "normale" considérant que T dispose d'une interface
    * donnée
    */
   t.doSomething();
   /* ... */
}
template <typename T>
int foo(boost::shared_ptr<T> /* const */ & t, int i )
{
    /* version propre à l'utilisation de shared_ptr,
    * mais considérant toujours que T dispose d'une interface
    * donnée
    */
   t->doSomething();
   /* ... */
}

Au delà, on peut dire que l'interface attendue fait, simplement, partie des pré conditions, à tel point que, si d'aventure, l'utilisateur fournit un objet d'un type ne la respectant pas (ici la fonction doSomething !! ), la compilation échouera, purement et simplement

[Letinono]

Ok, merci pour l'aide. Je vais tester ça

[Letinono]

Résolu merci!