概述
访问者模式是一种较为复杂的行为型设计模式，它包含访问者和被访问元素两个主要组成部分，这些被访问的元素通常具有不同的类型，且不同的访问者可以对它们进行不同的访问操作。例如处方单中的各种药品信息就是被访问的元素，而划价人员和药房工作人员就是访问者。访问者模式使得用户可以在不修改现有系统的情况下扩展系统的功能，为这些不同类型的元素增加新的操作。
在使用访问者模式时，被访问元素通常不是单独存在的，它们存储在一个集合中，这个集合称为 "对象结构"，访问者通过遍历对象结构实现对其中存储的元素的逐个操作。
访问者模式定义如下：提供一个作用于某对象结构中的各元素的操作表示，它使得可以在不改变各元素的类的前提下定义作用于这些元素的新操作。访问者模式是一种对象行为型模式。
从图中可以看出，在访问者模式结构图中包含以下 5 个角色：
- Vistor(抽象访问者)：抽象访问者为对象结构中每一个具体元素类 ConcreteElement 声明一个访问操作，从这个操作的名称或参数类型可以清楚知道需要访问的具体元素的类型，具体访问者需要实现这些操作方法，定义对这些元素的访问操作。
- Concrete Visitor(具体访问者)：具体访问者实现了每个由抽象访问者声明的操作，每一个操作用于访问对象结构中一种类型的元素。
- Element(抽象元素)：抽象元素一般是抽象类或者接口，它定义一个 accept() 方法，该方法通常以一个抽象访问者作为参数。
- ConcreteElement(具体元素)：具体元素实现了 accept() 方法，在 accept() 方法中用访问者的访问方法以便完成对一个元素的操作。
- ObjectStructure(对象结构)：对象结构是一个元素的集合，它用于存放元素对象，并且提供了遍历其内部元素的方法。它可以结合组合模式来实现，也可以是一个简单的集合对象，例如一个List对象或一个Set对象。
访问者模式中对象结构存储了不同类型的元素对象，以供不同访问者访问。访问者模式包括两个层次结构：一个是访问者层次结构，提供了抽象访问者和具体访问者；另一个是元素层次结构，提供了抽象元素和具体元素。相同的访问者可以以不同的方式访问不同的元素，相同的元素可以接受不同访问者以不同访问方式访问。在访问者模式中，增加新的访问者无须修改原有系统，系统具有较好的可扩展性。
在访问者模式中，抽象访问者定义了访问元素对象的方法，通常为每一种类型的元素对象都提供一个访问方法，而具体访问者可以实现这些访问方法。这些访问方法的命名一般有两种方式：一种是直接在方法名中标明待访问元素对象的具体类型，例如visitElementA(ElementA elementA); 另有一种是统一取名为 visit()，通过参数类型的不同来定义一系列重载的visit() 方法。当然，如果所有的访问者对某一类型的元素的访问操作都相同，则可以将操作代码移到抽象访问者类中，其典型代码如下：
class Visitor {
public:
virtual void visit(ConcreteElementA* elementA) = 0;
virtual void visit(ConcreteElementB* elementB) = 0;
void visit(ConcreteElementC* elementC) {
// 元素 ConcreteElementC 的操作代码
}
};
在这里使用了重载 visit() 方法的方式来定义多个方法用于操作不同类型的元素对象。在抽象访问者 Visitor 类的子类 ConcreteVisitor 中实现了抽象的访问方法，用于定义对不同类型元素对象的操作，具体访问者类典型代码如下：
class ConcreteVisitor : public Visitor {
public:
virtual void visit(ConcreteElementA* elementA) override;
virtual void visit(ConcreteElementB* elementB) override;
};
对于元素类而言，在其中一般都定义了一个 accept() 方法，用于接收访问者的访问，典型的抽象元素类代码如下：
class Element {
public:
virtual void accept(Visitor* visitor) = 0;
};
需要注意的是，该方法传入了一个抽象访问者 Visitor 类型的参数，即针对抽象访问者进行编程，而不是具体访问者，在程序运行时再确定具体访问者的类型，并调用具体访问者对象的 visit() 方法实现对元素对象的操作。在抽象元素类 Element 的子类中实现了 accept() 方法，用于接受访问者的访问，在具体元素类中还可以定义不同类型的元素所特有的业务方法，其典型代码如下：
class ConcreteElementA : public Element {
public:
virtual void accept(Visitor* visitor) {
visitor->visit(this);
}
void operationA() {
// 业务方法
}
};
在具体元素类 ConcreteElementA 的 accept() 方法中，通过调用 Visitor 类的 visit() 方法实现对元素的访问，并以当前对象作为 visit() 方法的参数。其具体执行过程如下：
- 调用具体元素类的 accept(Visitor* visitor) 方法，并将 Visitor 子类对象作为其参数。
- 在具体元素类 accept(Visitor* visitor) 方法内部调用传入的 Visitor 对象的 visit() 方法，例如 visit(ConcreteElementA* elementA)，将当前具体元素类对象(this)作为参数，例如 visitor.visit(this)。
- 执行 Visitor 对象的 visit() 方法，在其中还可以调用具体元素对象的业务方法。
这种调用机制也称为 "双重分派"。正因为使用了双重分派机制，使得增加新的访问者无须修改现有类库代码，只需将新的访问者对象作为参数传入具体元素对象的 accept() 方法，程序运行时将回调在新增 Visitor 类中定义的 visit() 方法，从而增加新的元素访问方式。
在访问者模式中，对象结构是一个集合，它用于存储元素对象并接受访问者的访问，其典型代码如下：
class ObjectStructure {
public:
// 接受访问者的访问操作
void accept(Visitor* visitor) {
for (int i = 0; i < vec.size(); i++) {
vec[i]->accept(visiotr);
}
}
void addElement(Element* element) {
vec.push_back(element);
}
void removeElement(Element* element) {
for (auto iter = vec.begin(); iter != vec.end(); ++iter) {
if (*iter == element) {
iter = vec.erase(iter);
}
}
}
private:
vector<Element*> vec;
};
访问者模式和组合模式联用
在访问者模式中，包含一个用于存储元素对象集合的对象结构，通常可以使用迭代器来遍历对象结构，同时具体元素之间可以存在整体与部分关系，有些元素作为容器对象，有些元素作为成员对象，可以使用组合模式来组织元素。引入组合模式后的访问者模式结构图如图所示:
需要注意的是，在上图所示结构中，由于叶子元素的遍历操作已经在容器元素中完成，因此要防止单独将已增加到容器元素中的叶子元素再次加入对象结构中，对象结构中只保存容器元素和孤立的叶子元素。
访问者模式总结
由于访问者模式的使用条件较为苛刻，本身结构也较为复杂，因此在实际应用中使用频率不是特别高。当系统中存在一个较为复杂的对象结构，且不同访问者对其所采取的操作也不相同时，可以考虑使用访问者模式进行设计。在XML文档解析、编译器的设计、复杂集合对象的处理等领域，访问者模式得到了一定的应用。
优点
- 增加新的访问操作很方便。使用访问者模式，增加新的访问操作就意味着增加个新的具体访问者类，实现简单，无须修改源代码，符合开闭原则。
- 将有关元素对象的访问行为集中到一个访问者对象中，而不是分散在一个个的元素类中。类的职责更加清晰，有利于对象结构中元素对象的复用，相同的对象结构可以供多个不同的访问者访问。
- 让用户能够在不修改现有元素类层次结构的情况下，定义作用于该层次结构的操作。
缺点
- 增加新的元素类很困难。在访问者模式中，每增加一个新的元素类都意味着要在抽象访问者角色中增加一个新的抽象操作，并在每一个具体访问者类中增加相应的具体操作，这违背了开闭原则的要求。
- 破坏封装。访问者模式要求访问者对象访问并调用每一个元素对象的操作，这意味着元素对象有时候必须暴露一些自己的内部操作和内部状态，否则无法供访问者访问。
适用场景
- 一个对象结构包含多个类型的对象，希望对这些对象实施一些依赖其具体类型的操作。在访问者中针对每一种具体的类型都提供了一个访问操作，不同类型的对象可以有不同的访问操作。
- 需要对一个对象结构中的对象进行很多不同的并且不相关的操作，而且需要避免让这些操作“污染”这些对象的类，也不希望在增加新操作时修改这些类。访问者模式将相关的访问操作集中起来定义在访问者类中，对象结构可以被多个不同的访问者类所使用，将对象本身与对象的访问操作分离。
- 对象结构中对象对应的类很少改变，但经常需要在此对象结构上定义新的操作。