C++

Specialisation partielle de fonction membre de classes templates...

Recherche :

Sujet(s) à lire :
- Spécialisation des templates

Mot : Pseudo : Filtrer
Bas de page
Auteur	Sujet : Specialisation partielle de fonction membre de classes templates...

Mackila

...C'est faisable ? Les choses n'ont pas évolué depuis le dernier sujet ?

ma reference

Code :

#include <iostream>
#include <string>
using namespace std ;
template <class T, int I>
class test {
public :
void methode(T t) { cout << "generique " << t << " " << I << endl ; }
// Plein d'autres méthodes
} ; // class test
/*
provoque une erreur, mais c'est pourtant ce que je voudrais :
spécialiser le comportement d'une seule méthode...
template <int I>
void test<string,I>::methode(string t) { cout << "specifique string " << I << endl ; }
*/
template <>
void test<string,4>::methode(string t) { cout << "specifique string 4" << endl ; }
int main(int argc, char* argv[])
{
test<long, 2> tl2 ;
test<string,3> ts3 ;
test<string,4> ts4 ;
tl2.methode(1234) ;
ts3.methode("blabla" ) ;
ts4.methode("oui, lol" ) ;
return 0 ;
}

J'aurais aimé spécialiser le comportement d'une seule méthode de ma classe lorsqu'un seul des paramètres change. La spécialisation fonctionne bien quand je spécialise ma méthode complètement...

Pour l'instant j'ai fait le crados (j'ai sorti mon code spécialisé dans une fonction, et j'ai écrit autant de spécialisations complètes de ma méthode - 3 - que nécessaire), mais ca ne me plait pas.

Publicité

Mackila

Bide.

Harkonnen

Modérateur
Un modo pour les bannir tous

bon anniversaire :hello:

Mackila

Ha oui, merci (3 ans déja...)

Et sinon, pour les templates :whistle:

++fab

victime du syndrome IH

comme tu as pu le remarquer, ce que tu veux faire n'est pas légal. Voici une modeste façon de contourner le problème, s'appuyant sur la résolution de surcharge.
A la résolution de surcharge, une fonction non template est élue face à une fonction template uniquement s'il y a match exact. Les conversions implicites ne sont pas considérées. C'est pourquoi il faut fournir une surcharge char const*.

Code :

#include <iostream>
#include <string>
#include <boost/type_traits/is_convertible.hpp>
#include <boost/mpl/assert.hpp>
template <class T, int I>
class test
{
public:
template <class T2>
void methode( T2 const& t ) const
{
BOOST_MPL_ASSERT(( boost::is_convertible<T,T2> ));
std::cout << "generique " << t << ' ' << I << '\n';
}
void methode( std::string const& s ) const
{ do_it(); }
void methode( char const* s ) const
{ do_it(); }
private:
void do_it() const
{ std::cout << "specifique string " << I << '\n'; }
};
int main()
{
test<long,2> tl2;
test<std::string,3> ts3;
test<std::string,4> ts4;
tl2.methode(1234.9); // pas de warnings :/
tl2.methode<long>(1234.9); // pour avoir des warnings
ts3.methode("blabla" );
ts4.methode("oui, lol" );
}

Mackila

edit (conneries supprimées) : Ha mais si, j'ai mal lu. Bon faudra vraiment que je réfléchisse à ton truc demain

Merci !

Message édité par Mackila le 24-11-2005 à 21:20:08

++fab

victime du syndrome IH

YES !

beaucoup plus simple en apparance. friend for ever

Code :

#include <iostream>
#include <string>
template <class T, int I>
class test
{
public:
friend void freef( T const& t )
{ std::cout << "generique " << t << ' ' << I << '\n'; }
friend void freef( std::string const& s )
{ std::cout << "specifique string " << I << '\n'; }
void methode( T const& t ) const
{ freef( t ); }
};
int main()
{
test<long,2> tl2;
test<std::string,3> ts3;
test<std::string,4> ts4;
tl2.methode( 1234 );
tl2.methode(1234.9);
ts3.methode("blabla" );
ts4.methode("oui, lol" );
freef( 5 ); // (*)
}

(*) le minuscule (inexistant normalement) désagrément de cette technique est la pollution de la namespace scope par la fonction libre freef. Cepandant, avec un compilateur a la norme, cette ligne ne doit pas compiler. Si elle compile, c'est que le compilateur supporte encore l'extension "friend name injection" chère à Barton & Nackman. gcc < 4.1 la supporte par défaut, et une beta d'aout de gcc-4.1 que j'ai, continue de compiler ce code (?!).

edit : changement de l'ordre de declaration

Message édité par ++fab le 25-11-2005 à 08:12:47

Mackila

Heu j'ai pas tout suivi la :??:

Quelque chose me dit que je vais passer pas mal de temps à lire de gros pavés d'explication du bouzin, demain (enfin tout à l'heure). :sweat:

Ca me parait quand même vachement space comme truc, t'aurais pas deux trois explications sur le pourquoi et comment ca marche ? (il est minuit et demi, aussi, ca aide pas...)

edit : et passe pas sous VS7...

Message cité 2 fois
Message édité par Mackila le 25-11-2005 à 00:43:57

++fab

victime du syndrome IH

Mackila a écrit :

Heu j'ai pas tout suivi la :??:

Quelque chose me dit que je vais passer pas mal de temps à lire de gros pavés d'explication du bouzin, demain (enfin tout à l'heure). :sweat:

ne regarde que la deuxième solution, la première est vraiment mauvaise en fait.

Mackila a écrit :

Ca me parait quand même vachement space comme truc, t'aurais pas deux trois explications sur le pourquoi et comment ca marche ? (il est minuit et demi, aussi, ca aide pas...)

si, qu'est-ce que tu ne comprends pas ? ( en meme temps, c'est minuit et demi ...)

++fab

victime du syndrome IH

Mackila a écrit :

edit : et passe pas sous VS7...

message d'erreur ?

Publicité

Mackila

Compilation...
testtemplate.cpp
d:\Documents\Mes projets\testtemplate\testtemplate\testtemplate.cpp(14) : error C2084: la fonction 'void test<T,I>::freef(const std::string & )' a déjà un corps
with
[
T=long,
I=2
]
d:\Documents\Mes projets\testtemplate\testtemplate\testtemplate.cpp(16) : voir la définition précédente de 'freef'
d:\Documents\Mes projets\testtemplate\testtemplate\testtemplate.cpp(24) : voir la référence à l'instanciation du modèle de classe 'test<T,I>' en cours de compilation
with
[
T=std::string,
I=3
]
d:\Documents\Mes projets\testtemplate\testtemplate\testtemplate.cpp(17) : fatal error C1903: impossible de récupérer à partir des erreurs précédentes ; arrêt de la compilation

++fab

victime du syndrome IH

normal. Je me suis planté, la deuxième solution que j'ai proposée est complètement fausse, même si elle marche par chance chez moi (il faut dire que gcc ne m'a pas aidé d'un pouce). J'ai trouvé d'autres solutions ... J'espère que ce seront les bonnes

la première :

Code :

#include <iostream>
#include <string>
template <class T, int I>
class test
{
public:
void methode( T const& t ) const
{ f( t ); }
private:
template <class T2>
void f( T2 const& t ) const
{ std::cout << "generique " << t << ' ' << I << '\n'; }
void f( std::string const& s ) const
{ std::cout << "specifique string " << s << ' ' << I << '\n'; }
};
int main()
{
test<long,2> tl2;
test<std::string,3> ts3;
test<std::string,4> ts4;
tl2.methode( 1234 );
tl2.methode(123.9);
ts3.methode("blabla" );
ts4.methode("oui, lol" );
}

la deuxième, plus compliqué, moins extensible, moins bonne tout court, mais intéressante (à partir d'un exemple à peine différent) :

Code :

#include <iostream>
#include <string>
#include <boost/type_traits/is_same.hpp>
namespace
{
class Toto {};
}
template <class T1, class Bool>
struct foo
{
typedef Toto type;
};
template <class T1>
struct foo<T1, boost::false_type>
{
typedef T1 type;
};
template <class T1, class T2>
struct ToFailOverload : foo<T1, typename boost::is_same<T1,T2>::type> {};
template <class T1, class T2, class T3, int N>
class Test2
{
private:
typedef double overloadType;
public:
void methode( typename ToFailOverload<T2,overloadType>::type t2 ) const
{ std::cout << "generique " << t2 << ' ' << N << '\n'; }
void methode( overloadType s ) const
{ std::cout << "double " << s << ' ' << N << '\n'; }
};
int main()
{
Test2<int,std::string ,std::string,4> test2;
test2.methode( "toto" );
Test2<int,double,bool,4> test3;
test3.methode( 4.3 );
}

avec peut etre un travail à faire pour épurer les cv-qualifiers, mais bon.

Message édité par ++fab le 25-11-2005 à 18:50:31

Mackila

La premiere me plait beaucoup plus (et en plus elle fonctionne ).
J'adapterai ca sur mon code lundi (en rajoutant un bon pavé d'explications pour le gars qui repasserait éventuellement derrière, que les méthodes que je spécialise, c'est des opérateurs, ca a tendance à faire une syntaxe comme qui dirait un peu lourde )

Merci ! :jap:

FORUM HardWare.fr

Programmation

C++

Specialisation partielle de fonction membre de classes templates...

Sujets relatifs
[Résolu]Utiliser une fonction dans un fichier PHP	Equivalent VBA de la fonction MODE (pour excel)
Fonction pour pour convertir le code HTML	Menu en fonction des droits
besoin aide c++, fonction isnumerik	boucle pour fonction mail()
fonction int premier(long n)	La fonction TRIM
Appeler une fonction GetUrl dans un fichier XML	Introspection : comment trouver toutes les classes filles ?
Plus de sujets relatifs à : Specialisation partielle de fonction membre de classes templates...

Page générée en 0.124 secondes