Question

我想知道是否可以通过成员函数模板实现“接口”的功能，如下所示：

struct VisitorI
{
    virtual void Visit(int) = 0;
    virtual void Visit(float) = 0;
};

struct VisitorC : public VisitorI
{
    template<class T>
    void Visit(T) { /*Assume Visit(T) has syntatically the same implemenation for each relevant T */}
};


template void VisitorC::Visit(int);
template void VisitorC::Visit(float);


int main()
{
    VisitorC Visitor;

    return 0;
}

上面的代码没有编译，因为在VisitorC中foo（int）和foo（float）被认为是纯虚拟的，所以我认为这是不可能的。我真的没有看到任何特殊原因，为什么它不应该......？

干杯，达米安

Answer 1

作为一种解决方法，您可以：

struct VisitorC : public VisitorI
{
    virtual void Visit(int a)   { Visit_impl(a); }
    virtual void Visit(float a) { Visit_impl(a); }
private:
    template<class T>
    void Visit_impl(T) { /* ... */ }
};

使用成员函数模板实现接口的功能

1 个答案: