c++ - 访客模式+开放/封闭原则

Question

是否可以实现尊重开放/封闭原则的访问者模式，但仍然能够添加新的可访问类？

开放/封闭原则指出“软件实体（类、模块、函数等）应该对扩展开放，但对修改关闭”。

struct ConcreteVisitable1;
struct ConcreteVisitable2;

struct AbstractVisitor
{
   virtual void visit(ConcreteVisitable1& concrete1) = 0;
   virtual void visit(ConcreteVisitable2& concrete2) = 0;
};

struct AbstractVisitable
{
   virtual void accept(AbstractVisitor& visitor) = 0;
};

struct ConcreteVisitable1 : AbstractVisitable
{
   virtual void accept(AbstractVisitor& visitor)
   {
      visitor.visit(*this);
   }
};

struct ConcreteVisitable2 : AbstractVisitable
{
   virtual void accept(AbstractVisitor& visitor)
   {
      visitor.visit(*this);
   }
};

您可以实现任意数量的从 AbstractVisitor 派生的类：它对扩展开放。您不能添加新的可访问类，因为从 AbstractVisitor 派生的类将无法编译：它已关闭以供修改。

AbstractVisitor 类树遵循开放/封闭原则。AbstractVisitable 类树不遵守开放/封闭原则，因为它不能扩展。

除了如下扩展 AbstractVisitor 和 AbstractVisitable 之外，还有其他解决方案吗？

struct ConcreteVisitable3;

struct AbstractVisitor2 : AbstractVisitor
{
   virtual void visit(ConcreteVisitable3& concrete3) = 0;
};

struct AbstractVisitable2 : AbstractVisitable
{
   virtual void accept(AbstractVisitor2& visitor) = 0;
};

struct ConcreteVisitable3 : AbstractVisitable2
{
   virtual void accept(AbstractVisitor2& visitor)
   {
      visitor.visit(*this);
   }
};

Answer 1

在 C++ 中，非循环访问者(pdf) 可以为您提供所需的内容。

Answer 2

您可能想查看有关“表达问题”的研究，例如

http://lambda-the-ultimate.org/node/2232

我认为这个问题主要是学术问题，但它已经被研究了很多，所以你可以阅读一些关于在现有语言或各种语言扩展中实现它的不同方法的东西。