是否可以強制模板函數只接受某種數字類型的參數？

Question

例如

template <typename T> 
T foo(){ ... } 

其中T只能是一個浮點型，即浮動/雙/長雙

Answer 1

template <typename T> 
typename std::enable_if<std::is_floating_point<T>::value, T>::type foo() { ... } 

它是完全標準SFINAE;我們啓用返回類型。如果T不是浮點類型，則std::is_floating_point<T>::value將爲false,std::enable_if<false, T>不會提供type typedef，這會導致該函數不可編譯。

有關這些標準庫類的信息，請參閱http://en.cppreference.com/w/cpp/types。

Answer 2

是，使用模板專業化和SFINAE：

template<typename T> 
struct foo_enabled 
{ 
}; 

template<> 
struct foo_enabled<float> 
{ 
    typedef void *value; 
}; 

template<> 
struct foo_enabled<double> 
{ 
    typedef void *value; 
}; 

template<> 
struct foo_enabled<long double> 
{ 
    typedef void *value; 
}; 

template <typename T> 
T foo(typename foo_enabled<double>::value=NULL){ ... } 

當然，如果你有C++ 11，安德烈·蒂塔的解決方案是更聰明。