數字類型的類模板

Question

如何將僅接受數字類型（int，double，float等）的類模板編寫爲模板？

Answer 1

您可以使用std::is_arithmetic類型特徵。如果你想只啓用一個類的實例這樣的類型，結合使用它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 
} 

對於一個版本的enable_if這是更容易使用，以及免費添加disable_if，我極力推薦閱讀this wonderful article（或cached version）。

Answer 2

，我發現，template<typename T, typename = ...>方法非常隱祕（VS 2015年）收到錯誤消息，但發現，與同類型性狀的static_assert也適用，讓我指定的錯誤消息：

#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 
}