Я пытаюсь перенести следующий код. Я знаю, что стандарт не позволяет явную специализацию в области non-namescape, и я должен использовать перегрузку, но я просто не могу найти способ применить эту технику в этом конкретном случае.
class VarData
{
public:
template < typename T > bool IsTypeOf (int index) const
{
return IsTypeOf_f<T>::IsTypeOf(this, index); // no error...
}
template <> bool IsTypeOf < int > (int index) const // error: explicit specialization in non-namespace scope 'class StateData'
{
return false;
}
template <> bool IsTypeOf < double > (int index) const // error: explicit specialization in non-namespace scope 'class StateData'
{
return false;
}
};
Вам просто нужно переместить специализации шаблонов-членов вне тела класса.
class VarData
{
public:
template < typename T > bool IsTypeOf (int index) const
{
return IsTypeOf_f<T>::IsTypeOf(this, index);
}
};
template <> bool VarData::IsTypeOf < int > (int index) const
{
return false;
}
template <> bool VarData::IsTypeOf < double > (int index) const
{
return false;
}
Определите специализацию вне класса следующим образом:
template <>
bool VarData::IsTypeOf < int > (int index) const
{ //^^^^^^^^^ don't forget this!
return false;
}
template <>
bool VarData::IsTypeOf < double > (int index) const
{ //^^^^^^^ don't forget this!
return false;
}