c++多模板模板参数

Question

我正在在线阅读一些参考资料，但我对模板模板参数感到困惑。特别是我不明白如何根据它们的位置传递内部模板参数。也许一个例子将有助于理解我的困惑

我试图做的是以下。我有

template <typename A, typename B, typename DepA, typename DepB>
class aClass {
   ...
};

我希望DepA 必须有A 作为模板参数和DepB，B。这样我想重铸

aClass<int, double, std::vector<int>, std::deque<double>>

只是

aClass<int, double, std::vector, std::deque>

我应该在我的模板定义中写什么？

Answer 1

template <typename A, typename B, typename DepA, typename DepB>
class aClass;


template <class A, class...As, class B, class...Bs, template<class...>class DA, template<class...>class DB>
class aClass<A, B, DA<A, As...>, DB<B, Bs...>> {
  // ...
};

是一种方法；这强制 DepA/DepB 将 A/B 作为第一个参数。它没有得到你想要的语法：

aClass<int, double, std::vector<int>, std::deque<double>>

而是强制将int 和double 作为第一个参数传递给第三个和第四个参数。

但您希望模板为您注入它。为此：

template<class A, class B, template<class...>class DA, template<class...>class DB>
class aClass {
  using DepA = DA<A>;
  using DepB = DB<B>;
  // ...
};

现在

aClass<int, double, std::vector, std::deque>

作品；注意

aClass<int, double, std::array, std::deque>

不起作用，因为array 采用非类型模板参数。

template<std::size_t N>
struct fixed_size {
  template<class T>
  using array = std::array<T,N>;
};

aClass<int, double, fixed_size<3>::template array, std::deque>

确实如此。