c++ - 是否可以编写适用于所有整数类型的类模板？

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

我认为您对仅适用于整数类型的模板感兴趣。您正在寻找的是 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;
}