C++ специализация шаблона функции: "незаконное использование явных аргументов шаблона"

Question

Следующий код шаблона специализации:

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

} 

Тестовый пример 1:

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

} 

Тестовый пример 2:

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

} 

генерирует следующую ошибку компиляции:

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

Кто-нибудь знает почему? Шаблоны

Answer 1

Функция не может быть частично специализированы, только в полном объеме, то есть как то:

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

} 

Для почему шаблоны функций не могут быть частично специализировать, вы можете read this.

Когда вы специализируетесь частично (возможно только для классов), то вы должны сделать это так:

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

}; 

поэтому вы должны перечислить T1 снова.

Как написаны ваши специализации, они будут двусмысленными для spec1<int, int>.