Fonction spécialisation de modèle avec référence à pointeur

Question

I ont une fonction de modèle:

template<typename T> 
void foo(const T& value) { bar(value); x = -1; } 

Je veux me spécialiser pour un ensemble de types:

template<> 
void foo<char>(const char& value) { bar(value); x = 0; } 
template<> 
void foo<unsigned char>(const unsigned char& value) { bar(value); x = 1; } 

Il fonctionne bien. Quand je compile ceci:

template<> 
void foo<char*>(const char*& value) { bar(value); x = 2; } 

Je reçois une erreur:

error C2912: explicit specialization; 'void foo(const char *&)' is not a specialization of a function template 

Est-il possible de se spécialiser avec char* paramètre de type pointeur sans typedef'ing il?

Answer 1

Bien sûr. Essayez ceci:

template<> 
void foo<char*>(char* const& value) {...} 

Ceci est parce que const char* signifie pointeur vers const char, pas un pointeur const à char.

Answer 2

Vous devriez généralement éviter les spécialisations de modèle de fonction: vous aurez beaucoup moins de problèmes si vous fournissez des surcharges non-template à la place. En savoir plus: Why Not Specialize Function Templates?