Java 访客模式和双重调度

我知道这是老生常谈的领域，但我有一个具体的问题.我保证.

在静态类型、面向对象的世界里花了很少时间，我最近在阅读Crafting Interpreters篇文章时遇到了这种设计模式.虽然我理解这种模式允许在一组定义良好的现有types(类)上使用可扩展的behavior(方法)，但我并不完全理解它作为双重分派问题解决方案的特性，至少在没有一些额外假设的情况下是如此.我认为这更像是对expression problem的一种折衷，在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);

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

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

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

然后用一些粗俗的言辞暗示这是"双重派遣"，而事实并非如此.

当我想到双重分派时，我会想到一个按两个参数类型进行分派的函数.一种行为，两种类型.

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

对我来说，这与访问者模式略有不同，访问者模式允许将任何行为集扩展到现有类，但这些行为不一定都表示与上面四个export个示例中相同的行为-它们可以是任何东西.如果我们增加另一个访问者，它可能代表出口，但也可能不是.从API层，您只需调用accept个方法，并相信传入的Visitor会做您想做的事情，不管是什么.

我是不是看错了方向？