我有这个函数应该递归工作。
template <class C, typename ...Arguments>
void addStyleClassRecursive(C *c, Arguments... arg)
{
c->addStyleClass(arg...);
for (unsigned int i=0; i<c->children().size(); ++i)
{
addStyleClassRecursive(c->children()[i], arg...);
}
}
现在碰巧在某个时候我遇到了一个没有 addStyleClass
成员函数的类 (Wt::WObject
),所以编译器提示 - 正确地 -这个问题。
好的。所以我想专门编写代码,为 Wt::WObject
添加一个版本:
template <class C=Wt::WObject, typename ...Arguments>
void addStyleClassRecursive(Wt::WObject *c, Arguments... arg)
{
for (unsigned int i=0; i<c->children().size(); ++i)
{
addStyleClassRecursive(c->children()[i], arg...);
}
}
这本身并没有给出编译器错误,但它被完全忽略了(实际上编译器一直提示 WObject
没有所需的成员函数,指向通用函数中的同一行).
所以我试着用这种方式专门化它
template <typename ...Arguments>
void addStyleClassRecursive<Wt::WObject, Arguments...>(Wt::WObject *c, Arguments... arg)
{
for (unsigned int i=0; i<c->children().size(); ++i)
{
addStyleClassRecursive(c->children()[i], arg...);
}
}
现在编译器提示
non-type partial specialization 'addStyleClassRecursive<Wt::WObject, Arguments ...>' is not allowed
void addStyleClassRecursive<Wt::WObject, Arguments...>(Wt::WObject *c, Arguments... arg);
^
那么谁能指出如何达到要求的结果呢?
最佳答案
你可以这样做:
template <class C, typename ...Arguments>
auto addStyleClassRecursiveImpl(int, C *c, Arguments... arg)
-> decltype(c->addStyleClass(arg...), void()) {
c->addStyleClass(arg...);
// ... C has addStyleClass
}
template <class C, typename ...Arguments>
void addStyleClassRecursiveImpl(char, C *c, Arguments... arg) {
// ... C has not addStyleClass
}
template <typename... T>
void addStyleClassRecursive(T ...&&t) {
addStyleClassRecursiveImpl(0, std::forward<T>(t)...);
// ...
}
想法是将请求标记分派(dispatch)到内部实现(在示例中称为addStyleClassRecursiveImpl
)并使用sfinae和函数重载选择正确的版本。
当然,您不能部分特化函数模板。
关于c++ - 可变参数模板函数的部分特化,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/40425527/