php - 访问者模式对动态类型语言有用吗？

Question

访问者模式允许在不扩展对象类的情况下编写对对象的操作。当然。但为什么不写一个全局函数或静态类，从外部操纵我的对象集合呢？基本上，在像 java 这样的语言中，由于技术原因，需要一个 accept() 方法；但是在一种我可以在没有 accept() 方法的情况下实现相同设计的语言，访问者模式会变得微不足道吗？

说明:在访问者模式中，可访问类(实体)有一个方法.accept()，它的工作是调用访问者自身的.visit()方法.我可以看到 java 示例的逻辑:访问者为它支持的每个可访问类型 n 定义了不同的 .visit(n) 方法，并且 .accept () 技巧必须在运行时在它们之间进行选择。但是像 python 或 php 这样的语言具有动态类型并且没有方法重载。如果我是访问者，我可以调用实体方法(例如，.serialize())而无需知道实体的类型甚至方法的完整签名。 (这就是“双重 dispatch ”问题，对吧？)

我知道接受方法可以将 protected 数据传递给访问者，但这有什么意义呢？如果数据暴露给访问者类，它实际上是类接口(interface)的一部分，因为它的细节在类之外很重要。无论如何，公开私有(private)数据从未让我觉得是访问者模式的要点。

所以看起来在 python、ruby 或 php 中我可以在被访问对象中不使用 accept 方法(并且不使用反射)实现类似访问者的类，对吧？如果我可以处理一组异构对象并调用它们的公共(public)方法而无需“被访问”类的任何合作，这还配称为“访问者模式”吗？我是否遗漏了模式的本质，或者它只是归结为“编写一个从外部操纵您的对象以执行操作的新类”？

附言。我看了很多关于 SO 和其他地方的讨论，但找不到任何解决这个问题的东西。欢迎指点。

Answer 1

Visitor 特别有用的地方是 Visitor 需要打开 Visitees 的类型，并且无论出于何种原因，您都不想将该知识编码到 Visitees 中(想想插件架构)。考虑以下 Python 代码:

访客风格

class Banana(object):
      def visit(self, visitor):
          visitor.process_banana(self) 

class Apple(object):
      def visit(self, visitor):
          visitor.process_apple(self) 

class VisitorExample(object):
      def process_banana(self, banana):
          print "Mashing banana: ", banana

      def process_banana(self, apple):
          print "Crunching apple: ", apple

(请注意，我们可以使用基类/mixin 压缩访问者逻辑)。

比较:

非访客样式

class NonVisitorVisitor(object):
      def process(self, fruit):
          verb = {Banana: "Mashing banana: ", 
                  Apple: "Crunching apple: "}[type(fruit)]
          print verb, fruit

在第二个示例中，水果不需要对“访问者”的任何特殊支持，“访问者”处理给定类型的逻辑缺失。

相比之下，在 Java 或 C++ 中，第二个示例实际上是不可能的，访问方法(在被访问者中)可以使用一个名称来指代过程方法的所有版本；编译器将选择适用于所传递类型的版本；并且访问者可以轻松地为被访问者的类型提供根类的默认实现。在被访问者中也必须有一个访问方法，因为方法变体(例如 process(Banana b) vs process(Apple a))是在编译时选择的为访问者的 visit 方法生成的代码。

因此，在像 Python 或 Ruby 这样没有参数类型分派(dispatch)的语言中(或者更确切地说，程序员必须自己实现它)，就不需要访问者模式。或者，有人可能会说访问者模式在没有通过访问者方法进行分派(dispatch)的情况下实现得更好。

一般来说，在像 Python、Ruby 或 Smalltalk 这样的动态语言中，最好让“visitee”类携带所有需要的信息(这里是动词 applicable)，如果有必要，提供钩子(Hook)来支持“visitor” "，例如命令或策略模式，或使用此处显示的非访问者模式。

结论

非访问者是实现类型切换逻辑的一种干净方式，尽管显式类型切换通常是一种代码味道。请记住，Java 和 C++ 的实现方式也是在访问者中进行显式切换；这些语言中模式的优雅之处在于它避免了在访问者中使用显式切换逻辑，这在具有非类型化变量的动态语言中是不可能的。因此，顶部的访问者模式对动态语言不利，因为它重现了静态语言中的访问者模式试图避免的错误。

使用模式的关键在于，与其盲目地复制 UML 图，您必须了解它们试图完成什么，以及它们如何通过具体考虑的语言机制来实现这些目标。在这种情况下，实现相同优点的模式看起来不同，并且具有不同的调用模式。这样做将使您能够使它们适应不同的语言，但也能适应同一语言中的不同具体情况。

更新:这是一篇关于实现此模式的 ruby​​ 文章:http://blog.rubybestpractices.com/posts/aaronp/001_double_dispatch_dance.html

双重 dispatch 对我来说似乎是被迫的；据我所知，你完全可以取消它。