C++ spécialisation de modèle de fonction: "l'utilisation illégale des arguments de modèle explicite"

Question

Le code de spécialisation de modèle suivant:

template<typename T1, typename T2> 
void spec1() 
{ 

} 

Cas de test 1:

template< typename T1> //compile error 
void spec1<int>() 
{ 

} 

Cas de test 2:

template< typename T2> //compile error 
void spec1<int>() 
{ 

} 

génère l'erreur de compilation suivante:

error C2768: 'spec1' : illegal use of explicit template arguments

Est-ce que quelqu'un sait pourquoi?

Answer 1

modèles de fonction ne peuvent pas être partiellement spécialisée, seule entièrement, à savoir comme ça:

template<> 
void spec1<char, int>() 
{ 

} 

Pour pourquoi les modèles de fonction ne peuvent pas être partiellement spécialisée, vous voudrez peut-être read this.

Lorsque vous vous spécialisez en partie (uniquement pour les classes), vous auriez à le faire comme ça:

template <typename T1> 
class class1<T1, int> 
{ 

}; 

donc vous devez à la liste T1 à nouveau.

La façon dont vos spécialisations sont écrites, elles seraient ambiguës pour spec1<int, int>.