模板模板与可变参数模板的语法问题
我有一个可变参数模板模板的问题：
template <typename T> class A { };
template< template <typename> class T> class B { };
template <template <typename> class T, typename parm> class C { typedef T<parm> type; };
template <typename... types> class D { };
template <template <typename...> class T, typename ... parms> class E { typedef T<parms...> type; };
// How to pass list in list??
template < template <typename...> class ...T, ???>
class F
{
};
首先，将一个类型传递给模板，没问题：
A<int> a; //ok
现在，我想从B创建一个实例，但无法传递模板模板参数：
B<A> b; // ok, but no chance to submit <int> inside A!
所以我必须扩展参数列表：
C<A, int> c; // ok, this transport int as parm into A
现在我以标准方式玩各种各样的模板：
D<> d1; // ok
D<int, float, double> d2; //ok
将参数传递给可变参数部分也是海峡两岸：
E<D> e1; //ok
E<D, double, float, int> e2; //ok
但是：如果我想要列表的列表，我发现没有语法，我会启用将参数列表传递到类型列表。 我的意图是这样的。 而且上面的例子显示B<A<int>> b; 是一个错误！ 所以下面的例子不能工作:-(
F< D< int, float>, D< int>, D <float, float, float> > f;
我的目标是通过模板专业化展开列表清单。 任何提示？
我了解问题后，我的解决方案。 谢谢！
现在我可以展开我的可变参数模板模板，如下例所示。 简单的问题是，我等待一个模板类，而不是一个简单的类型。 有时候，解决方案可以非常简单:-)
那就是我现在的工作成果：
template <typename ... > class D;
template <typename Head, typename... types>
class D<Head, types...>
{
public:
static void Do() { cout << "AnyType" << endl; D<types...>::Do(); }
};
template<>
class D<>
{
public:
static void Do() { cout << "End of D" << endl; }
};
template < typename ...T> class H;
template < typename Head, typename ...T>
class H<Head, T...>
{
public:
static void Do()
{
cout << "unroll H" << endl;
cout << "Subtype " << endl;
Head::Do();
H<T...>::Do();
}
};
template <>
class H<>
{
public:
static void Do() { cout << "End of H" << endl; }
};
int main()
{
H< D<int,int,int>, D<float, double, int> >::Do();
return 0;
}
通过专业化，您可以一次解开一个可变专业：
template<typename...> struct S;
template<> struct S<> { constexpr static int n = 0; };
template<template<typename...> class T, typename... Us, typename... Vs>
struct S<T<Us...>, Vs...> {
constexpr static int n = sizeof...(Us) + S<Vs...>::n;
};
template<typename...> struct D {};
#include <iostream>
int main() {
std::cout << S<D<int, int, int>, D<int, int>, D<int>>::n << 'n'; // prints 6
}
喜欢这个 ：
template < template <typename...> class ...T >
class F
{
};
int main()
{
F< D, D > f;
}
所以，F期望的是一个可变模板类，它将另一个可变模板类作为参数。
您无法展开模板类参数参数的参数。 如果您专门将您传递的模板类作为参数，那么您将获得专用版本。
这个 ：
F< D< int, float>, D< int>, D <float, float, float> > f;
不起作用，因为F期望可变参数模板类，以可变参数模板类作为类型，并且D< int, float>不再是模板（它是一个具体类）。
上一篇: template template syntax problems with variadic templates
下一篇: Idiomatic way of keeping a stateful lookup table with indexes in Clojure