Szablon klasy dla typów liczbowych

Question

Jak napisać szablon klasy, który akceptuje tylko szablony liczbowe (int, double, float itd.) Jako szablon?

Answer 1

Możesz użyć cechy typu std::is_arithmetic. Jeśli chcesz tylko umożliwić konkretyzacji klasy z takiego typu, używać go w połączeniu z std::enable_if:

#include <type_traits> 

template< 
    typename T, //real type 
    typename = typename std::enable_if<std::is_arithmetic<T>::value, T>::type 
> struct S{}; 

int main() { 
    S<int> s; //compiles 
    S<char*> s; //doesn't compile 
} 

Dla wersji enable_if, który jest łatwiejszy w obsłudze i darmowego dodatku disable_if, bardzo polecam czytania this wonderful article (lub cached version) w tej sprawie.

Answer 2

znalazłem komunikaty o błędach odbierane od podejścia template<typename T, typename = ...> bardzo tajemniczym (VS 2015), ale okazało się, że static_assert tego samego typu cecha działa również i pozwala mi podać komunikat o błędzie:

#include <type_traits> 

template <typename NumericType> 
struct S 
{ 
    static_assert(std::is_arithmetic<NumericType>::value, "NumericType must be numeric"); 
}; 

template <typename NumericType> 
NumericType add_one(NumericType n) 
{ 
    static_assert(std::is_arithmetic<NumericType>::value, "NumericType must be numeric"); 
    return n + 1; 
} 

int main() 
{ 
    S<int> i; 
    S<char*> s; //doesn't compile 

    add_one(1.f); 
    add_one("hi there"); //doesn't compile 
}