使用自由模板参数传递模板类型名称

Question

在C++ 11(或C++)中,可以传递未完全指定的模板类型.具体来说,我想传递一个尚未定义其所有模板说明符的类型:

template <std::size_t N, typename ARRAYTYPE>
struct A {
  ARRAYTYPE<int, N> int_array;
};

int main() {
  A<10, std::array> my_a;
  return 0;
}

我知道简单地重新定义ARRAYTYPE = std::array<int, 10>会起作用,但不会让我ARRAYTYPE在任何地方使用不同大小的A:

template <std::size_t N, typename ARRAYTYPE>
struct A {
  ARRAYTYPE<int, N> int_array;
  ARRAYTYPE<int, 1> tiny_int_array;
};

这可能吗？

Answer 1

它被称为"模板模板参数",因为它是一个模板参数,其值是模板:

template <std::size_t N, template <typename, std::size_t> class ARRAYTYPE>
struct A {
  ARRAYTYPE<int, N> int_array;
  ARRAYTYPE<int, 1> tiny_int_array;
};