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

Question

是否可以实现Visitor Pattern 尊重Open/Closed Principle，但仍然能够添加新的可访问类？

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

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++ 中，Acyclic Visitor (pdf) 可以满足您的需求。

Answer 2

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

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

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