類模板：限制模板參數

Question

我可以決定編譯器可以生成哪些類型的模板類？

說我希望下一個類只能夠容納實數（float，double）而不是整數類型。

//can I force T to be only real number types? 
template<typename T> 
class RealNumber 
{ 
public: 
    T num; 

    RealNumber() : num() {} 

    void add(T x) { num += x; } 
    T get() const { return num; } 
}; 

所以這應該產生一個編譯錯誤：

RealNumber<int> myrealnumber; 

Answer 1

可以斷言類型具有特定性狀：

#include <type_traits> 

template<typename T> 
class RealNumber 
{ 
    static_assert(std::is_floating_point<T>::value, "Type must be floating point"); 

    // and so on 
}; 

這將在類型會導致編譯時錯誤不適合。