是否可以編寫適用於所有整型的類模板？

Question

你知道模板參數可能是類型或積分值， 因此，例如，你可以有

template<typename T, size_t BufferSize> 
small_vector { 
//... 

問題我已經是我想寫的模板，將不同類型的整體工作。

因此，像這樣：

constexpr short sa=1, sb=2, sc=3; 
my_template_class1<sa,sb,sc>; 
constexpr int ia=1, ib=2, ic=3; 
my_template_class2<ia,ib,ic>; 

換句話說，我知道模板類型參數可以是int，我要的是有一個模板，將與所有整數類型整數模板參數工作。 請注意，我不能只在int64中執行所有計算，因爲它不適用於uint64。

Answer 1

通常通過添加額外的「啓用」模板參數實現這一點：

// the partial specialization of A is enabled via a template parameter 
template<class T, typename BufferSize, class Enable = void> 
class small_vector {}; // primary template, not used 

template<class T, typename BufferSize> 
class small_vector<class T, typename BufferSize, typename std::enable_if<std::is_integral<BufferSize>::value>::type> { 
}; // specialization for various int types 

說了這麼多，我建議不要把各種BUFFERSIZE實現多大的努力。它們很可能在編譯時使用，只消耗內存或CPU。

Answer 2

我想你對一個僅適用於整型類型的模板感興趣。你要找的是std::enable_if。通過使用這個，如果你嘗試使用除整型之外的任何東西來創建它，模板將會引發編譯錯誤。它也適用於任何和所有整型。

#include <iostream> 
#include <type_traits> 

// 1. the return type (bool) is only valid if T is an integral type: 
template <class T> 
typename std::enable_if<std::is_integral<T>::value,bool>::type 
    is_odd (T i) {return bool(i%2);} 

// 2. the second template argument is only valid if T is an integral type: 
template < class T, 
      class = typename std::enable_if<std::is_integral<T>::value>::type> 
bool is_even (T i) {return !bool(i%2);} 

int main() { 

    short int i = 1; // code does not compile if type of i is not integral 

    std::cout << std::boolalpha; 
    std::cout << "i is odd: " << is_odd(i) << std::endl; 
    std::cout << "i is even: " << is_even(i) << std::endl; 

    return 0; 
}