模板類專業化多種類型滿足以下條件

Question

如果我有一個模板類，像這樣：

template<typename T> 
class Type { /* ... */ }; 

不以任何方式修改Type，有一個簡單的方法來專門它所有這樣的類型那符合編譯時的條件？例如，如果我想專門Type所有整數類型，我想這樣做（只有一些作品，這是）：

template<typename T> 
class Type<std::enable_if<std::is_integral<T>, T>::type> { /* ... */ }; 

Answer 1

這應該工作：

template<typename T, bool B = std::is_integral<T>::value> 
class Type; 

// doesn't have to be a specialization, although I think it's more clear this way 
template<typename T> 
class Type<T, false> { /* ... */ }; 

template<typename T> 
class Type<T, true> { /* ... */ };