“行为变化”模式
在组件构建的过程中,组件行为的变化经常导致组件本身剧烈变化,“行为变化”模式将组件的行为和组件本身进行解耦,从而支持组件行为变化,实现两者之间的松耦合
动机
在软件构造的过程中,由于需求的改变,某些类层次结构中常常需要增加新的行为(方法),如果直接在基类中做这样的更改,将会给子类带来很繁重的变更负担,甚至破坏原有设计
如何在不更改类层次结构的前提下,在运行是根据需要透明的为类层次结构上的各个类动态添加新的操作,从而避免上述问题?
模板定义
表示一个作用于某对象结构中各元素的操作,使得可以在不改变(稳定)各元素类的前提下定义(扩展)作用于这些元素的新操作(变化)
class Element
{
public:
virtual void accept(Visitor& visitor) = 0; //第一次多态辨析
virtual ~Element(){}
};
class ElementA : public Element
{
public:
void accept(Visitor &visitor) override {
visitor.visitElementA(*this);
}
};
class ElementB : public Element
{
public:
void accept(Visitor &visitor) override {
visitor.visitElementB(*this); //第二次多态辨析
}
};
class Visitor{
public:
virtual void visitElementA(ElementA& element) = 0;
virtual void visitElementB(ElementB& element) = 0;
virtual ~Visitor(){}
};
//==================================
//扩展1
class Visitor1 : public Visitor{
public:
void visitElementA(ElementA& element) override{
cout << "Visitor1 is processing ElementA" << endl;
}
void visitElementB(ElementB& element) override{
cout << "Visitor1 is processing ElementB" << endl;
}
};
//扩展2
class Visitor2 : public Visitor{
public:
void visitElementA(ElementA& element) override{
cout << "Visitor2 is processing ElementA" << endl;
}
void visitElementB(ElementB& element) override{
cout << "Visitor2 is processing ElementB" << endl;
}
};
int main()
{
Visitor2 visitor;
ElementB elementB;
elementB.accept(visitor);// double dispatch
ElementA elementA;
elementA.accept(visitor);
return 0;
}
要点总结
- 访问器模式通过所谓双重分发来实现在不更改(不添加新的操作-编译时)Element类层次结构的前提下,在运行时透明的为类层次结构上的各个类动态添加新的操作(支持变化)
- 所谓双重分发及访问器包括两个多态分发(注意其中的多态机制),第一个为方法的多态解析,第二个为访问器的多态解析
- 访问器模式的最大缺陷在于扩展层次结构(增添新的访问器子类)会导致访问器的变化,因此访问器模式适用于“访问器层次稳定稳定”,其中操作却经常变化