java - 访客模式和双重 dispatch

Question

我知道这是一个常被践踏的领域，但我有一个具体问题……我保证。

在静态类型、面向对象的世界中花费的时间很少，我最近在阅读 Crafting Interpreters 时遇到了这种设计模式。 .虽然我理解这种模式允许在一组定义明确的现有类型(类)上实现可扩展的行为(方法)，但我不太明白将其描述为双重分派(dispatch)问题的解决方案，至少不是没有一些额外的假设。我认为它更像是对 expression problem 的权衡。 ，您将封闭类型换成开放方法。

在我见过的大多数例子中，你最终会得到这样的东西(无耻地从很棒的 Clojure Design Patterns 中偷来的)

public interface Visitor {
  void visit(Activity a);
  void visit(Message m);
}

public class PDFVisitor implements Visitor {
  @Override
  public void visit(Activity a) {
    PDFExporter.export(a);
  }

  @Override
  public void visit(Message m) {
    PDFExporter.export(m);
  }
}

public abstract class Item {
  abstract void accept(Visitor v);
}

class Message extends Item {
  @Override
  void accept(Visitor v) {
    v.visit(this);
  }
}

class Activity extends Item {
  @Override
  void accept(Visitor v) {
    v.visit(this);
  }
}

Item i = new Message();
Visitor v = new PDFVisitor(); 
i.accept(v);

这里我们有一组类型(Message 和 Activity)，它们可能是关闭的或不经常更改的，以及一组我们希望对扩展开放的方法(访问者)。现在我感到困惑的是，在大多数示例中，它们将展示如何在不触及现有类的情况下实现其他访问者，例如像这样:

public class XMLVisitor implements Visitor {
  @Override
  public void visit(Activity a) {
    XMLExporter.export(a);
  }

  @Override
  public void visit(Message m) {
    XMLExporter.export(m);
  }
}

然后用手暗示这是“双重 dispatch ”，但事实并非如此。这里 accept 动态调度 Item 的子类型，但在 accept 中，visit 方法静态调度给传入的访问者通过方法重载。所以我们在 Item 上有一个单独的调度，然后 accept 中的“第二个”静态调度实际上是关于选择一个行为(方法)来调用那个 Item 类型。只有一种“类型”被分派(dispatch)，而不是两种 - 第二种是一种行为。

当我想到双重分派(dispatch)时，我想到的是根据两个参数的类型进行分派(dispatch)的函数。一种行为，两种类型。

export(Activity,XML)
export(Activity,PDF)
export(Message,XML)
export(Message,PDF)

对我而言，这与访问者模式略有不同，访问者模式允许将任何行为集扩展到现有类，但这些行为不一定都代表与四个 export 中相同的行为上面的例子 - 它们可以是任何东西。如果我们添加另一个访客，它可能代表导出，但也可能不导出。从 API 层，您只需调用 accept 方法并相信传入的 Visitor 会执行您想要的操作，无论是什么。

我是不是看错了？

Answer 1

来自@user207421 的评论是正确的。如果一种语言本身不支持双重分派(dispatch)，则没有任何设计模式可以改变该语言以使其支持。一种模式仅提供一种替代方案，它可以解决双重分派(dispatch)将应用于另一种语言的一些问题。

已经了解双重 dispatch 的学习访问者模式的人可能会得到解释的帮助，例如“访问者解决了与双重 dispatch 解决的问题类似的一组问题”。不幸的是，这种解释通常被简化为“访问者实现双重调度”，这是不正确的。

您已经认识到这一点意味着您已经对这两个概念有了扎实的理解。