Bonjour,
Je me pose aujourd'hui un probleme de specialisation template qui n'a pas l'air d'etre possible...

a t'on le droit selon la norme de faire de la specialisation partielle de fonction template ?
si oui, pourquoi le code http://godrik.mandragor.org/~godrik/test.cpp ne compile pas avec gcc ?
compile t'il avec un autre compilo ? (je n'ai que GCC sous la main)

Merci

j'ai oublié le seul message d'erreur fourni par g++

test.cpp:7: erreur: function template partial specialization «fnct<1, A>" is not allowed

marche pas avec devcpp non plus

Erreur de compilation sous Code::Blocks aussi :
Line 7 : error, partial

Dsl pour le double post...
(Line 7) error : partial specialization `fnct<1, A>` of function template.

heu... vous avez tout deux compilé avec gcc or il a dit que ça marchai pas avec...

Avec VC++

main.cpp(7) : error C2768: 'fnct' : utilisation non conforme d'arguments template explicites

Mouarf, en effet
Mais bon, on sait jamais, l'IDE peut avoir une certaine part d'importance.

avec icc :
test.cpp(7): error: an explicit template argument list is not allowed on this declaration
void fnct<1, A>(){std::cout<<"1"<<std::endl;}

Par contre, c'est possible mais il faut spécialiser une classe entière et non pas juste une fonction :

http://repository.sectionpc.info/C/godrik.cpp

Je ne sais pas si c'est juste un problème de syntaxe ou s'il y a une meilleur raison pour le fait que ça ne fonctionne pas avec une fonctio. Il faudra regarder dans le Stroustrup.

La raison est simple: les partials specializations n'existent pas pour une template function; par contre ces fonctions peuvent etre overloadees (style T& a la place de T, etc, bien utile pour les typetraits).
Certains compilos peuvent laisser passer ca, mais quand on est pas sur, le mieux est de tester sur commeau =)
Oui il faut passer par une classe pour avoir l effet desire dans ce cas.

ok.
Une derniere question. Pourquoi la norme dit elle ca ? ca a l'air stupide comme comportement. Quel est la raison derriere ?

Je pense que c'est principalement a cause de l'overloading: en plus du conflit qu'il pourrait y avoir entre une version overloaded et partially specialized, si on avait des partial specializations pour les template functions, le partial ordering serait quasi impossible a faire.

le meme probleme se pose pour les classes non ?
pourtant tu peux les specialiser partiellement.
Je ne comprends pas vraiment la raison profonde...

Non, tu ne peux pas overloader une classe.

edit: j essayerai de formuler un exemple des que j aurai le temps

c'est ce que fait dnob dans son exemple non ?
la classe template est specialisé partiellement.

La surcharge c'est le fait de définir deux fonctions/opérateurs du même nom avec une signature du même nom, et ça ne s'applique pas aux classes; contrairement à la spécialisation.