设计模式模式游客(Visitor)摘录

23种子GOF设计模式一般分为三类：创建模式、结构模型、行为模式。

创建模式抽象的实例，怎样创建、组合和表示它的那些对象。一个类创建型模式使用继承改变被实例化的类，而一个对象创建型模式将实例化托付给还有一个对象。创建型模式有两个不断出现的主旋律。第一，它们都将关于该系统使用哪些详细的类的信息封装起来。第二，它们隐藏了这些类的实例是怎样被创建和放在一起的。整个系统关于这些对象所知道的是由抽象类所定义的接口。因此，创建型模式在什么被创建，谁创建它，它是怎样被创建的，以及何时创建这些方面给予了非常大的灵活性。它们同意用结构和功能区别非常大的“产品”对象配置一个系统。配置能够是静态的(即在编译时指定)，也能够是动态的(在执行时)。

结构型模式涉及到怎样组合类和对象以获得更大的结构。结构型类模式採用继承机制来组合接口或实现。

结构型对象模式不是对接口和实现进行组合。而是描写叙述了怎样对一些对象进行组合，从而实现新功能的一些方法。由于能够在执行时刻改变对象组合关系。所以对象组合方式具有更大的灵活性。而这样的机制用静态类组合是不可能实现的。

行为模式涉及到算法和对象间职责的分配。行为模式不仅描写叙述对象或类的模式，还描写叙述它们之间的通信模式。这些模式刻画了在执行时难以跟踪的复杂的控制流。它们将用户的注意力从控制流转移到对象间的联系方式上来。

行为类模式使用继承机制在类间分派行为。

行为对象模式使用对象复合而不是继承。一些行为对象模式描写叙述了一组对等的对象怎样相互协作以完毕当中任一个对象都无法单独完毕的任务。

创建型模式包含：1、FactoryMethod(工厂方法模式)。2、Abstract Factory(抽象工厂模式)；3、Singleton(单例模式)。4、Builder(建造者模式、生成器模式)；5、Prototype(原型模式).

结构型模式包含：6、Bridge(桥接模式)；7、Adapter(适配器模式)；8、Decorator(装饰模式)；9、Composite(组合模式)。10、Flyweight(享元模式)；11、Facade(外观模式)。12、Proxy(代理模式).

行为模式包含：13、TemplateMethod(模板方法模式)。14、Strategy(策略模式)；15、State(状态模式)。16、Observer(观察者模式)；17、Memento(备忘录模式)；18、Mediator(中介者模式)；19、Command(命令模式)；20、Visitor(訪问者模式)；21、Chain of Responsibility(责任链模式)。22、Iterator(迭代器模式)。23、Interpreter(解释器模式).

Factory Method：定义一个用于创建对象的接口，让子类决定将哪一个类实例化。Factory Method使一个类的实例化延迟到其子类。

Abstract Factory：提供一个创建一系列相关或相互依赖对象的接口，而无需指定他们详细的类。

Singleton：保证一个类仅有一个实例，并提供一个訪问它的全局訪问点。

Builder：将一个复杂对象的构建与它的表示分离，使得相同的构建过程能够创建不同的表示。

Prototype：用原型实例指定创建对象的种类，而且通过拷贝这个原型来创建新的对象。

Bridge：将抽象部分与它的实现部分分离，使它们都能够独立地变化。

Adapter：将一个类的接口转换成客户希望的另外一个接口。Adapter模式使得原本由于接口不兼容而不能一起工作的那些类能够一起工作。

Decorator：动态地给一个对象加入一些额外的职责。就扩展功能而言， Decorator模式比生成子类方式更为灵活。

Composite：将对象组合成树形结构以表示“部分-总体”的层次结构。Composite使得客户对单个对象和复合对象的使用具有一致性。

Flyweight：运用共享技术有效地支持大量细粒度的对象。

Facade：为子系统中的一组接口提供一个一致的界面， Facade模式定义了一个高层接口。这个接口使得这一子系统更加easy使用。

Proxy：为其它对象提供一个代理以控制对这个对象的訪问。

Template Method：定义一个操作中的算法的骨架，而将一些步骤延迟到子类中。Template Method使得子类能够不改变一个算法的结构就可以重定义该算法的某些特定步骤。

Strategy：定义一系列的算法,把它们一个个封装起来, 而且使它们可相互替换。

本模式使得算法的变化可独立于使用它的客户。

State：同意一个对象在其内部状态改变时改变它的行为。对象看起来似乎改动了它所属的类。

Observer：定义对象间的一种一对多的依赖关系,以便当一个对象的状态发生改变时,全部依赖于它的对象都得到通知并自己主动刷新。

Memento：在不破坏封装性的前提下。捕获一个对象的内部状态，并在该对象之外保存这个状态。这样以后就可将该对象恢复到保存的状态。

Mediator：用一个中介对象来封装一系列的对象交互。中介者使各对象不须要显式地相互引用。从而使其耦合松散，而且能够独立地改变它们之间的交互。

Command：将一个请求封装为一个对象，从而使你可用不同的请求对客户进行參数化。对请求排队或记录请求日志。以及支持可取消的操作。

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

Chain of Responsibility：为解除请求的发送者和接收者之间耦合。而使多个对象都有机会处理这个请求。将这些对象连成一条链，并沿着这条链传递该请求。直到有一个对象处理它。

Iterator：提供一种方法顺序訪问一个聚合对象中各个元素, 而又不需暴露该对象的内部表示。

Interpreter：给定一个语言, 定义它的文法的一种表示。并定义一个解释器, 该解释器使用该表示来解释语言中的句子。

         Visitor：(1)、意图： 表示一个作用于某对象结构中的各元素的操作。

它使你能够在不改变各元素的类的前提下定义作用于这些元素的新操作。

         (2)、适用性：A、一个对象结构包含非常多类对象。它们有不同的接口，而你想对这些对象实施一些依赖于其详细类的操作。B、须要对一个对象结构中的对象进行非常多不同的而且不相关的操作，而你想避免让这些操作”污染”这些对象的类。

Visitor使得你能够将相关的操作集中起来定义在一个类中。

当该对象结构被非常多应用共享时，用Visitor模式让每个应用仅包含须要用到的操作。C、定义对象结构的类非常少改变，但常常须要在此结构上定义新的操作。

改变对象结构类须要重定义对全部訪问者的接口。这可能须要非常大的代价。

假设对象结构类常常改变，那么可能还是在这些类中定义这些操作较好。

         (3)、优缺点：A、訪问者模式使得易于添加新的操作：訪问者使得添加依赖于复杂对象结构的构件的操作变得easy了。

仅需添加一个新的訪问者就可以在一个对象结构上定义一个新的操作。

相反，假设每个功能都分散在多个类之上的话，定义新的操作时必须改动每一类。B、訪问者集中相关的操作而分离无关的操作：相关的行为不是分布在定义该对象结构的各个类上，而是集中在一个訪问者中。无关行为却被分别放在它们各自的訪问者子类中。

这就既简化了这些元素的类，也简化了在这些訪问者中定义的算法。

全部与它的算法相关的数据结构都能够被隐藏在訪问者中。C、添加新的ConcreteElement类非常困难：Visitor模式使得难以添加新的Element的子类。每加入一个新的ConcreteElement都要在Visitor中加入一个新的抽象操作，并在每个ConcreteVisitor类中实现对应的操作。有时能够在Visitor中提供一个缺省的实现，这一实现能够被大多数的ConcreteVisitor继承，但这与其说是一个规律还不如说是一个例外。

所以在应用訪问者模式时考虑关键的问题是系统的哪个部分会常常变化，是作用于对象结构上的算法呢还是构成该结构的各个对象的类。假设老是有新的ConcreteElement类加入进来的话。Visitor类层次将变得难以维护。

在这样的情况下，直接在构成该结构的类中定义这些操作可能更easy一些。假设Element类层次是稳定的。而你不断地添加操作或改动算法，訪问者模式能够帮助你管理这些改动。

D、通过类层次进行訪问：一个迭代器能够通过调用节点对象的特定操作来遍历整个对象结构。同一时候訪问这些对象。

可是迭代器不能对具有不同元素类型的对象结构进行操作。

E、累积状态：当訪问者訪问对象结构中的每个元素时，它可能会累积状态。

假设没有訪问者，这一状态将作为额外的參数传递给进行遍历的操作，或者定义为全局变量。F、破坏封装：訪问者无法假定ConcreteElement接口的功能足够强。足以让訪问者进行它们的工作。结果是，该模式常常迫使你提供訪问元素内部状态的公共操作。这可能会破坏它的封装性。

         (4)、相关模式：A、Composite：訪问者能够用于对一个由Composite模式定义的对象结构进行操作。

B、Interpreter：訪问者能够用于解释。

         (5)、訪问者模式适用于数据结构稳定的系统。

它把数据结构和作用于数据结构上的操作分离开，使得操作集合。

长处：新添加操作非常easy。由于添加新操作就相当于添加一个訪问者，訪问者模式将有关的行为集中到一个訪问者对象中。

         (6)、Visitor模式在不去破坏类的前提下，为类提供添加新的操作。

Visitor模式的关键是双分派(Double-Dispatch)的技术。

C++语言支持的是单分派。

双分派意味着执行的操作将取决于请求的种类和接收者的类型。

         (7)、Visitor模式能够使得Element在不改动自己的同一时候添加新的操作，可是这也带来了至少下面的两个显著问题：A、破坏了封装性：Visitor模式要求Visitor能够从外部改动Element对象的状态。这一般通过两个方式来实现。i、Element提供足够的public接口。使得Visitor能够通过调用这些接口达到改动Element状态的目的；ii、Element暴露很多其它的细节给Visitor，或者让Element提供public的实现给Visitor(当然也给了系统中其它的对象)。或者将Visitor声明为Element的friend类，仅将细节暴露给Visitor。

可是不管哪种情况，特别是后者都将破坏封装性原则(实际上就是C++的friend机制得到了非常多的面向对象专家的诟病)。

B、ConcreteElement的扩展非常困难：每添加一个Element的子类，就要改动Visitor的接口。使得能够提供给这个新添加的子类的訪问机制。或者添加一个用于处理新增类的visit()接口，或者重载一个处理新增类的visit()操作，或者要改动RTTI(执行时类型识别：Runtime type identification)方式实现的visit()实现。

不管哪种方式都给扩展新的Element子类带来了困难。RTTI给接口带来了简单一致性，可是付出的代价是时间(RTTI的实现)和代码的Hard编码(要进行强制转换)。

演示样例代码1：

#include <iostream>
#include <string>
#include <vector>

using namespace std;

class Man;
class Woman;

//行为
class Action
{
public:
	virtual void GetManConclusion(Man* concreteElementA) = 0;
	virtual void GetWomanConclusion(Woman* concreteElementB) = 0;
};

//成功
class Success : public Action
{
public:
	virtual void GetManConclusion(Man* concreteElementA)
	{
		cout<<"男人成功时。背后有个伟大的女人"<<endl;
	}

	virtual void GetWomanConclusion(Woman* concreteElementB)
	{
		cout<<"女人成功时，背后有个无用的男人"<<endl;
	}
};

//失败
class Failure : public Action
{
public:
	virtual void GetManConclusion(Man* concreteElementA)
	{
		cout<<"男人失败时。背后有个伟大的女人"<<endl;
	}

	virtual void GetWomanConclusion(Woman* concreteElementB)
	{
		cout<<"女人失败时。背后有个无用的男人"<<endl;
	}
};

//抽象人类
class Person
{
public:
	virtual void Accept(Action* visitor) = 0;
};

//男人
class Man : public Person
{
public:
	virtual void Accept(Action* visitor)
	{
		visitor->GetManConclusion(this);
	}
};

//女人
class Woman : public Person
{
public:
	virtual void Accept(Action* visitor)
	{
		visitor->GetWomanConclusion(this);
	}
};

//对象结构类
class ObjectStructure
{
private:
	vector<Person*> m_personList;
public:
	void Add(Person* p)
	{
		m_personList.push_back(p);
	}

	void Display(Action* a)
	{
		vector<Person*>::iterator p = m_personList.begin();

		while (p != m_personList.end()) {
			(*p)->Accept(a);
			p ++;
		}
	}
};

//client
int main()
{
	ObjectStructure* os = new ObjectStructure();
	os->Add(new Man());
	os->Add(new Woman());

	Success* success = new Success();
	os->Display(success);

	Failure* fl = new Failure();
	os->Display(fl);

	/*result
		男人成功时，背后有个伟大的女人
		女人成功时，背后有个无用的男人
		男人失败时，背后有个伟大的女人
		女人失败时。背后有个无用的男人
	*/

	return 0;
}

Visitor.h:

#ifndef _VISITOR_H_
#define _VISITOR_H_

class ConcreteElementA;
class ConcreteElementB;
class Element;

class Visitor
{
public:
	virtual ~Visitor();
	virtual void VisitConcreteElementA(Element* elm) = 0;
	virtual void VisitConcreteElementB(Element* elm) = 0;
protected:
	Visitor();
private:
};

class ConcreteVisitorA : public Visitor
{
public:
	ConcreteVisitorA();
	virtual ~ConcreteVisitorA();
	virtual void VisitConcreteElementA(Element* elm);
	virtual void VisitConcreteElementB(Element* elm);
protected:
private:
};

class ConcreteVisitorB : public Visitor
{
public:
	ConcreteVisitorB();
	virtual ~ConcreteVisitorB();
	virtual void VisitConcreteElementA(Element* elm);
	virtual void VisitConcreteElementB(Element* elm);
protected:
private:
};


#endif//~_VISITOR_H_

#include "Visitor.h"
#include "Element.h"
#include <iostream>

using namespace std;

Visitor::Visitor()
{

}

Visitor::~Visitor()
{

}

ConcreteVisitorA::ConcreteVisitorA()
{

}

ConcreteVisitorA::~ConcreteVisitorA()
{

}

void ConcreteVisitorA::VisitConcreteElementA(Element* elm)
{
	cout<<"I will visit ConcreteElementA ..."<<endl;
}

void ConcreteVisitorA::VisitConcreteElementB(Element* elm)
{
	cout<<"I will visit ConcreteElementB ..."<<endl;
}

ConcreteVisitorB::ConcreteVisitorB()
{

}

ConcreteVisitorB::~ConcreteVisitorB()
{

}

void ConcreteVisitorB::VisitConcreteElementA(Element* elm)
{
	cout<<"I will visit ConcreteElementA ..."<<endl;
}

void ConcreteVisitorB::VisitConcreteElementB(Element* elm)
{
	cout<<"I will visit ConcreteElementB ..."<<endl;
}

#ifndef _ELEMENT_H_
#define _ELEMENT_H_

class Visitor;

class Element
{
public:
	virtual ~Element();
	virtual void Accept(Visitor* vis) = 0;
protected:
	Element();
private:
};

class ConcreteElementA : public Element
{
public:
	ConcreteElementA();
	~ConcreteElementA();
	void Accept(Visitor* vis);
protected:
private:
};

class ConcreteElementB : public Element
{
public:
	ConcreteElementB();
	~ConcreteElementB();
	void Accept(Visitor* vis);
protected:
private:
};

#endif//~_ELEMENT_H_

#include "Element.h"
#include "Visitor.h"
#include <iostream>

using namespace std;

Element::Element()
{

}

Element::~Element()
{

}

void Element::Accept(Visitor* vis)
{

}

ConcreteElementA::ConcreteElementA()
{

}

ConcreteElementA::~ConcreteElementA()
{

}

void ConcreteElementA::Accept(Visitor* vis)
{
	vis->VisitConcreteElementA(this);
	cout<<"visiting ConcreteElementA ..."<<endl;
}

ConcreteElementB::ConcreteElementB()
{

}

ConcreteElementB::~ConcreteElementB()
{

}

void ConcreteElementB::Accept(Visitor* vis)
{
	cout<<"visiting ConcreteElementB ..."<<endl;
	vis->VisitConcreteElementB(this);
}

#include "Element.h"
#include "Visitor.h"
#include <iostream>

using namespace std;

int main()
{
	Visitor* vis = new ConcreteVisitorA();
	Element* elm = new ConcreteElementA();
	elm->Accept(vis);

	/*result
		I will visit ConcreteElementA ...
		visiting ConcreteElementA ...
	*/

	return 0;
}

參考文献：

1、《大话设计模式C++》

2、《设计模式精解----GoF23分析设计模式》

3、《设计模式----可重用的对象取向软件基础》