模板模板variadics在C ++中
可以使用模板模板variadic来捕获所有正在传递的模板参数，它本身就是一个模板？
我一直在使用模板为某些基于模板的方法生成调试输出。 首先，我创建了一个通用处理程序，然后将其专门用于本机类型：
template<typename... PARAMS> struct TypeList{};
template<typename TYPE> inline void ntype(ostream &out, TypeList<TYPE>) {
out << typeid(TYPE).name();
}
template<> inline void ntype(ostream &out, TypeList<int>) {
out << "int";
}
...
然后我尝试添加第二个模板格式来捕获正在传递的模板类型：
template<typename ... SUB, template<typename...> class TYPE> void ntype(ostream &out, TypeList<TYPE<SUB...> >) {
ntype(out, TypeList<typename TYPE>());
out << '<';
subtype(out, TypeList<SUB...>());
out << '>';
}
其中，子类型是一种模板方法，用于递归通过参数列表，将每个应用于ntype（）。
问题是，当我尝试用以下方法调用此方法时：
ntype<SomeClass<int> >(out, TypeList<SomeClass<int> >());
它只匹配通用的第一个模板函数 - 没有编译错误，但它从不匹配模板模板版本。 我相信它仅仅是我缺乏理解，但当涉及到模板模板的清晰示例时，谷歌的结果似乎非常薄弱，甚至在可变参数模板参数方面也更薄。
任何人都可以解释我所尝试的是否可能，如果是这样，我做错了什么？
看起来我只是有一个错字 - 我在一个函数声明中的TypeList之后添加了（），可能是从上午3点的函数调用复制并粘贴，导致不匹配。
所以，如果有人想知道，是的，这是可能的，以上是完全可以接受的方式。
链接地址: http://www.djcxy.com/p/66891.html