访问者(Visitor)模式

访问者(Visitor)模式

隶属类别——对象行为型模式

---

1. 意图

😄表示一个作用于某对象结构中的各元素的操作。它使你可以在不改变各元素的类的前提下定义作用于这些元素的新操作。

2. 别名

无

3. 动机

考虑一个编译器，它将源程序表示为一个抽象的语法树。该编译器需在抽象语法树上实施某些操作以进行“静态语义”分析，例如检查是否所有的变量都已经被定义了。它也需要生成代码。因此它可能要定义许多操纵以进行类型检查、代码优化、流程分析，检查变量是否在使用前被赋初值，等等。还可使用抽象语法树进行优美格式打印、程序重构、code instrumentation已以及对程序进行多种度量。

这些操作大多数要求对不同的结点进行不同的处理，例如对代表赋值语句的结点的处理就不同于对代表变量或者算术表达式的结点的处理。因此有用于赋值语句的类，有用于变量访问的类，还有用于算术表达式的类，等等。结点类的语言的集合当然依赖于被编译的语言，但对于一个给定的语言其变化不大。

上面的类图显示了Node层次的一部分。这里的问题是，将所有这些操作分散到各种节点类中会导致整个系统难以理解、难以维护和修改。将类型检查代码与优美格式打印代码或流程分析代码放在一起，将产生混乱。此外，增加新的操作通常需要通常需要重新编译所有这些类。如果可以独立地增加新的操作。并且使这些节点类独立于作用于其上的操作，将会更好一些。

要实现上述两个目标，我们可以将每一个类中相关的操作包装在一个独立的对象(称为一个Visitor)中，并在遍历抽象语法树时将此对象传递给当前访问的元素。当一个元素“接受”该访问者是，该元素向访问者发送一个包含自身类信息的请求。该请求同时也将该元素本身作为一个参数。然后访问者将为该元素执行该操作——这一操作以前是该元素的类中的。

例如，一个不使用访问者的编译器可能会通过在它的抽象语法树种调用typeCheck操作对一个过程进行类型检查。每一个结点将对调用它的成员的typeCheck以实现自身的typeCheck()。如果该编译器使用访问者对一个过程进行类型检查，那么它将会创建一个TypeCheckingVisitor对象，并以这个对象为一个参数在抽象语法树上调用Accept操作。每一个结点在实现Accept时将回回调访问者：一个赋值结点调用访问者的VisitAssignment操作，而一个变量引用将调用VisitorVaribleReference。以前类AssignmentNode的TypeCheck操作现在成为TypeCheckingVisitor的VisitAssignment操作。

为使访问者不仅仅只做类型检查，我们需要所有的抽象语法树的访问者有一个抽象的父类NodeVisitor。NodeVisitor必须为每一个结点类定义一个操作。一个需要计算程序度量的引用将定义NodeVisitor的新的子类，并且将不再需要在结点类中增加与特定于应用相关的代码。

Visitor模式将每一个编译步骤的操作封装在一个与该步骤相关的Visitor中。

使用Visitor模式，必须定义两个类层次：一个对应于接受操作的元素(Node层次)另一个对应于定义对元素的操作的访问者(NoteVisitor层次)。给访问者类层次增加一个新的子类即可创建一个新的操作。只要该编译器接受的语法不改变(即不需要增加新的Node子类)，我们就可以简单的定义新的NodeVisitor子类以增加新的功能。

4. 适用性

在下列情况使用Visitor模式：

• 一个对象结构包括很多类对象，它们有不同的接口，而你想对这些对象实施一些依赖于其具体类的操作。

• 需要对一个对象结构中的对象进行很多不同的并且不相关的操作，而你想避免让这些操作“污染”这些对象的类。Visitor使得你可以将相关的操作集中起来定义在一个类中。

  当该对象结构被很多应用共享是，用Visitor模式让每个应用仅包含需要用到的操作。

• 定义对象结构的类很少改变，但经常需要在此结构上定义新的操作。改变对象结构类需要重定义对所有访问者的接口，这可能需要很大的代价。如果对象结构类经常改变，那么可能还是在这些类中定义这些操作比较好。

5. 结构

6. 参与者

• Visitor(访问者，如NodeVisitor)
  • 为该对象结构中ConcreteElement每一个类声明一个Visit操作。该操作的名字和特征标识了发送Visit请求给该访问者的那个类。这使得访问者可以确定正被访问元素的具体的类。这样访问者就可以通过该元素的特定接口直接访问它。
• ConcreteVisitor(具体访问者，如TypeCheckingVisitor)
  • 实现每个由Visitor声明的操作。每个操作实现本算法的一部分，而该算法片段乃是对应于结构中对象的类。ConcreteVisitor为该算法提供了上下文并存储它的局部状态。这一状态常常在遍历该结构的过程中累积结果。
• Element(元素，如Node)
  • 定义一个accept操作，它以一个访问者为参数。
• ConcreteElement(具体元素，如AssignmentNode, VariableRefNode)
  • 实现accept操作，该操作以一个访问者为参数。
• ObjectStructure(对象结构，如Program)
  • 能枚举它的元素
  • 可以提供一个高层的接口以允许访问者访问它的元素。
  • 可以是一个组合或者使用一个集合，如一个列表或一个无序集合。

7. 协作

• 一个使用Visitor模式的客户必须创建一个ConcreteVisitor对象，然后遍历该对象结构，并用该访问者访问每一个元素。

• 当一个元素被访问时，它调用对应于它的类的Visitor的操作，如果必要的话，该元素将自身作为这个操作的一个参数以便访问者访问它的状态。

  下面的SequenceDiagram说了一个对象结构，一个访问者和两个元素之间的协作。

8. 效果

访问者模式的优点：

• 1. 访问者模式使得易于增加新的操作 访问者使得增加依赖于复杂对象结构的构件的操作变得容易了。仅需增加一个新的访问者即可在一个对象结构上定义一个新的操作。相反，如果每个功能都分散在多个类之上的话，定义新的操作时必须修改每一类。
• 2. 访问者集中相关的操作而分离无关的操作 相关的行为不是分布在定义该对象结构的各个类上，而是集中在一个访问者中。无关行为却被分别放在它们各自的访问者子类中。这就既简化了这些元素的类，也简化了在这些访问者中定义的算法。所有与它的算法相关的数据结构都可以被隐藏在放在访问者中。
• 3. 通过类层次进行访问 一个迭代器可以通过调用节点对象的特定操作来遍历整个对象结构，同时访问这些对象。但是迭代器不能对具有不同元素类型结构进行操作。

  这就意味着所有该迭代器能够访问的元素都有一个共同的父类Item。

  访问者没有这种限制。它可以访问不具有相同父类的对象。可以对一个Visitor接口增加任何类型的对象。例如,

  public interface Visitor {
       
      void visitMyType