Discussion :

[regis.portalez]

Bonjour,

j'ai créé une classe template, dans laquelle je veux ecrire un constructeur qui dépend d'un parametre template. En gros ca ressemble à ca :

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
 
 
enum methodes
{
      premiere = 0,
      deuxieme = 1,
} ;
 
template <typename T>
class maclasse
{
       T    champ1 ;
       int  champ2 ;
 
    public:
       template <int methode>
       maclasse (T a, int b) ;
} ;
 
template <typename T> template <premiere>
maclasse<T>::maclass(T c1,  int c2) { code... }
 
template <typename T> template <deuxieme>
maclasse<T>::maclasse(T c1,  int c2) { autre code... }

problème : il me dit syntax error : identifier "premiere"

Je ne vois pas trop comment faire et un peu d'aide serait la bienvenue. D'ailleurs je ne sais même pas s'il est possible de templater le constructeur...
Merci beaucoup.

[Klaim]

Essaie ça ?

Code :

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

1
2
3
4
5
6
 
template <> template <premiere>
maclasse<T>::maclass(T c1,  int c2) { code... }
 
template <> template <deuxieme>
maclasse<T>::maclasse(T c1,  int c2) { autre code... }

edit> Heu non c'est pas bon du tout

[regis.portalez]

Salut,

merci mais ça me fait pareil...

[Klaim]

Code :

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

1
2
template <typename T> 
maclasse<T>::template maclass<premiere>(T c1,  int c2) { code... }

J'avais mal lu ton code (syntaxe ninja oblige), essaie plutot quelque chose comme ça voir.


edit> J'ai pas de quoi vérifier sous la main mais il se peut que cette variante marche :

Code :

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

1
2
template <typename T> 
maclasse<T>::template<> maclass<premiere>(T c1,  int c2) { code... }

[regis.portalez]

Non plus
le compilo (cl) me dit que maclasse n'est pas une fonction

J'en déduis (à tort?) qu'on ne peut que templater des fonctions et pas le constructeur dans une classe template.

C'est dommage, mais je vais changer la signature de mon constructeur en ajoutant premiere et deuxieme en paramètre à la fin de mon constructeur...

Merci beaucoup, et si qqn a des idées sur le sujet, je suis toujours preneur!

Zou

[Klaim]

Il me semble bien que si mais la syntaxe est souvent obscure et j'ai tendance a l'oublier... j'ai du faire un truc semblable une fois auparavant mais je me souvient pas de l'issue. (et j'ai pas de compilo de libre sous la main, mais je tenterai tout a l'heure ...)

[Jean-Marc.Bourguet]

J'ai pas tout lu, mais je desire rappeler qu'il est impossible de specialiser un membre template d'une classe template uniquement sur les parametres templates du membre, il faut aussi specialiser explicitement sur les parametres templates de la classe.

[Invité]

Juste pour rajouter que un non-type parameter peut-etre specifier au compilo, via une classe qui permet d'associer un type à un entier :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
template<int I>
class Int2Type{};  // cf Modern C++
 
class Foo
{
      template<int I>
      Foo( Int2Type<I> const&);
};
 
// utilisation :
 
Foo a( Int2Type<1>());
Foo b( Int2Type<2>());

[nowahn]

@regis.portalez :

Pour résoudre ton problème sans surcharge à l’exécution, je pense que tu peux utiliser un paramètre supplémentaire au constructeur :

Code C++ :

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
class methode1 {};
class methode2 {};
 
template <typename T>
class maclasse
{
       T    champ1 ;
       int  champ2 ;
 
    public:
       maclasse (T a, int b, methode1) ; // dernier paramètre non nommé.
       maclasse (T a, int b, methode2) ;
} ;
 
template<typename T>
maclasse<T>::maclasse(T a, int b, methode1)
{
   // code n’utilisant pas la classe methode1
}
 
template<typename T>
maclasse<T>::maclasse(T a, int b, methode2)
{
   // code n’utilisant pas la classe methode2,
   // mais code différent du constructeur précédent.
}
 
// utilisation :
maclasse<float> objet1(0.0, 0, methode1());
maclasse<float> objet2(0.0, 0, methode2());

À priori, le dernier paramètre des constructeurs sera éliminé de l’exécutable (après que le constructeur a été choisi à la compilation par le mécanisme de surcharge de fonction) même par le plus pourri des optimiseurs.
La limitiation de ce code est que pour rajouter une troisième politique, il faut rajouter un troisième constructeur. Ceci devrait être un travail pour les modèles (template), mais c’est justement le sujet le l’autre sujet que j’ai ouvert ...

[dragonjoker59]

C'est sur ce principe qu'est défini le constructeur par conversion des shared_ptr de boost/tr1 (cf. static_pointer_cast, const_pointer_cast et dynamic_pointer_cast)