C++ template specialization of function: "illegal use of explicit template arguments"

jameszhao00 picture jameszhao00 · Sep 13, 2009 · Viewed 35.6k times · Source

The following template specialization code:

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

}

Test case 1:

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

}

Test case 2:

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

}

generates the following compilation error:

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

Does anyone know why?

Answer

R&#252;diger Hanke picture Rüdiger Hanke · Sep 13, 2009

Function templates cannot be partially specialised, only fully, i.e. like that:

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

}

For why function templates cannot be partially specialised, you may want to read this.

When you specialise partially (only possible for classes), you'd have to do it like that:

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

};

so you have to list T1 again.

The way your specialisations are written, they would be ambiguous for spec1<int, int>.