Question

在C ++中尝试使用访问者模式时，我遇到了一个关于实现派生接口的愚蠢问题。我怀疑我不知道如何正确地提出问题，因为我还没有在其他地方找到解决方案。

我有以下基本结构：

struct Visitor {
    virtual void visit(const Resources) = 0;
    virtual void visit(const Population) = 0;
};

我希望声明一些Visitor的具体实现以及一些额外的功能。 这就是我希望我的声明看起来像：

struct EndVisitor : public Visitor{
    virtual bool hasEnded();
};

struct SetupVisitor : public Visitor{
};

struct ScoreVisitor : public Visitor{
    virtual unsigned int getScore();
};

在定义时，例如ScoreVisitor，IDE和编译器会识别ScoreVisitor中的额外函数声明：

unsigned int ScoreVisitor::getScore() {
    return total;
}

但是，编译器或IDE（Funtion 'visit' not declared in class 'ScoreVisitor'）无法识别实现Visitor函数：

void ScoreVisitor::visit(const Resources resources) {
    total += resources.score;
}

void ScoreVisitor::visit(const Population population) {
    total += population.score;
}

如果我声明ScoreVisitor重复访问者函数，代码会编译，但是这会让我在Visitor的所有专门声明中留下很多复制粘贴的代码，我希望避免这种情况。 这不是我希望我的声明看起来像：

struct ScoreVisitor : public Visitor{
    virtual void visit(const Resources);
    virtual void visit(const Population);
    virtual unsigned int getScore();
};

如何声明访问者的专用版本，而无需复制粘贴访问者已声明的所有功能？

Answer 1

没有办法避免必须声明从派生类中的基类重写的方法。这就是语言的方式。通常，人们将功能分组为某种形式的继承层次结构，以显示常见功能。

注意几个与语法相关的问题，virtual对于派生类是可选的（默认情况下具有类似签名的函数是虚拟的），因为C ++ 11，有些人已经开始使用{{1} （我也属于这一类）因为它会在编译时捕获 - 在派生类中一个方法应该是虚拟的任何情况，但在基类中它不会被声明为这样。

我确信以上是一个例子，但是你不要忘记基类中的虚拟析构函数！

Answer 2

它不理想，但你可以用一个继承自Visitor的子类来完成它，并让其他类派生自：

struct Visitor {
    virtual void visit(const int) = 0;
};

struct VisitorImplementor : public Visitor
{
    virtual void visit(const int) override { /* implement */}
};


struct EndVisitor : public VisitorImplementor {
    virtual bool hasEnded() { return true; }
};

现在您可以创建EndVisitor的实例并在其上调用visit

EndVisitor v;

v.visit(10);

C ++ struct实现派生接口

2 个答案: