c++ - 可变参数模板函数的部分特化

标签 c++ function templates variadic-templates partial-specialization

我有这个函数应该递归工作。

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/

相关文章:

c++ - C++ 中是否可以使用条件类型定义?

c++注册表没有获得第二个值

c++ - std::vector 与 std::initializer_list 问题:未定义的行为

c++ - C - 共享库 - dlopen、dlsym

c++ - 垃圾收集 C 会比 C++ 更快吗?

Python 在另一个函数中使用函数的输出

c++ - 在没有参数的函数中使用void?

javascript - 连接输出 - 初级函数

templates - GRAILS:我可以从 _FORM.GSP 模板调用服务逻辑吗?

C++ 模板、虚函数、空基