Question

是否可以使用模板模板可变参数来捕获传递的模板参数的所有情况？模板参数本身就是模板？

我一直在使用模板为一些基于模板的方法生成调试输出。首先，我创建了一个通用处理程序，然后将其专门用于本机类型：

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> >());

它只匹配通用的第一个模板函数 - 没有编译错误，但它永远不会匹配模板模板版本。我确信它本身只是缺乏理解，但是当涉及到模板模板的清晰示例时，谷歌的结果似乎非常薄，甚至在可变参数模板参数方面也更薄。

任何人都可以解释我的尝试是否有可能，如果是的话，我做错了什么？

Answer 1

看起来我只是有一个拼写错误 - 我在函数声明中的一个TypeLists之后添加了（），可能来自于凌晨3点的函数调用的复制和粘贴，这导致了不匹配。

所以，如果有人想知道，是的，这是可能的，以上是完全可以接受的方式。

C ++中的模板模板可变参数

1 个答案: