重复可变参数模板类参数

Question

我想要一个可变参数模板类（比如N 模板参数）来定义N 成员函数，每个函数都从参数列表中获取一个类型的参数。我试过这个：

template<class Derived, class... DerivedOthers>
class VtfVisitor : public VtfVisitor<DerivedOthers...>
{
public:
    virtual void visit(Derived& derived) = 0;
};

template<class Derived>
class VtfVisitor
{
public:
    virtual void visit(Derived& derived) = 0;
};

这不起作用，因为我无法重新定义模板类。然后我尝试了Bo提出的解决方案：

template<class Derived, class... DerivedOthers>
class VtfVisitor : public VtfVisitor<DerivedOthers...>
{
public:
    virtual void visit(Derived& derived) VISITOR_CVQ = 0;
};

template<class Derived>
class VtfVisitor<Derived>
{
public:
    virtual void visit(Derived& derived) VISITOR_CVQ = 0;
};

这仍然不起作用：使用 VtfVisitor<D1,D2> 尝试此操作时，成员函数 visit(D2&) 未在实例化模板类中定义（而 visit(D1&) 已明确定义）。

我怎样才能让它按预期工作？

感谢您的帮助。

Answer 1

你需要把省略号放在模板参数列表之外：

template<class Derived, class... DerivedOthers>
class VtfVisitor : public VtfVisitor<DerivedOthers>...
{
public:
    virtual void visit(Derived& derived) = 0;
};

---

例如，如果DerivedOthers... 是{int, char, float}，您将得到以下扩展：

class VtfVisitor : public VtfVisitor<char>, VtfVisitor<float>
{
public:
    virtual void visit(int& derived) = 0;
};

Answer 2

编译器认为您正在使用不同数量的参数重新声明同一个类。

要为单参数情况创建特化，您必须在类名之后指定：

template<class Derived>
class VtfVisitor<Derived>
{
public:
    virtual void visit(Derived& derived) = 0;
};