шаблон C++ специализации с поплавком

Question

У меня есть этот код в заголовке

class MyMathUtils { 
    template <typename T> static bool IsEqual(const T & val1, const T & val2); 
}; 


template <typename T> 
bool MyMathUtils::IsEqual(const T & val1, const T & val2) 
{ 
    return (val1 == val2); 
}; 

И это в CPP

template <> 
bool MyMathUtils::IsEqual<float>(const float & val1, const float & val2) 
{ 
    if ((val1 - val2) < -EPSILON) return false; 
    if ((val1 - val2) > EPSILON) return false; 
    return true; 
} 

Проблема заключается в том, что компилятор дает мне эту ошибку:

MyMath::MyMathUtils::IsEqual(float const &,float const &)" (??$IsEqual@M@MyMathUtils@MyMath@@SA_NABM0@Z) already defined in MyMathUtils.obj; second definition ignored

Но если я использую то же самое, но вместо float я ставлю double, он скомпилирован правильно. Что здесь неверно, что я пропал без вести?

Answer 1

Вам необходимо объявить специализацию в заголовке.

namespace MyMathUtils { 
    // generic template (shouldn't be static) 
    template <typename T> bool IsEqual(const T & val1, const T & val2); 

    // explicit specialisation 
    template <> bool IsEqual<float>(const float & val1, const float & val2); 

    // alternatively, overloading would be simpler 
    bool IsEqual(float, float); 
}; 

(я взял на себя смелость изменения этого в пространстве имен, а не класс, так как это делает гораздо больше смысла. Если вы действительно хотите, чтобы быть классом по какой-то причине, вы должны объявить специализация в пространстве имен за пределами.)

В противном случае использование его в других единицах перевода приведет к его экземпляру из общего шаблона, поскольку компилятор не знает, что существует явная специализация. Это вызывает несколько определений.