在组件的构建过程中,组件行为的变化经常导致组件本身剧烈的变化。“行为变化”模式将组件的行为和组件本身进行解耦,从而支持组件行为的变化,实现两者之间的松耦合。
典型模式:Command、 Visitor。
命令模式(Command)
定义
将一个请求(行为)封装为一个对象,从而使你可用不同的请求对客户进行参数化;对请求排队或记录请求日志,以及支持可撤销的操作。
——《设计模式》GoF
动机
- 在软件构建过程中,“行为请求者”与“行为实现者"通常呈现一种“紧隅合”。但在某些场合——比如需要对行为进行“记录、撤销/重做(undo/redo)、事务”等处理,这种无法抵御变化的紧耦合是不合适的。
- 在这种情况下,如何将“行为请求者”与“行为实现者”解耦?将一组行为抽象为对象,可以实现二者之间的松耦合。
结构图
代码
#inctude <vector>
#include <string>
using namespace std;
class Command{
public:
virtual void execute() = 0;
};
class ConcreteCommand1: public Command{
string arg;
public:
ConcreteCommand1(const string & a) : arg(a) {}
void execute() override{
cout<< "#1 process.…"<<arg<<endl;
}
};
class ConcreteCommand2: public Command{
string arg;
public:
ConcreteCommand2(const string & a) : arg(a) {}
void execute() override{
cout<< "#2 process.…"<<arg<<endl;
}
};
class MacroCommand : public Command{
vector<Command*> commands;
public:
void addCommand(Command *c) { commands.push_back(c);}
void execute() override{
for (auto &c : commands){
c->execute();
}
};
int main(){
ConcreteCommand1 command1(receiver, "Arg ###");
command1.execute();
ConcreteCommand2 command2(receiver, "Arg $$$");
MacroCommand macro;
macro.addCommand(&command1);
macro.addCommand(&command2);
macro.execute();
}
要点
- Command模式的根本目的在于将“行为请求者”与“行为实现者”解耦,在面向对象语言中,常见的实现手段是“将行为抽象为对象”。
- 实现Command接口的具体命令对象ConcreteCommand有时候根据需要可能会保存一些额外的状态信息。通过使用Composite模式,可以将多个“命令”封装为一个“复合命令” ——MacroCommand。
- Command模式与C++中的函数对象有些类似。但两者定义行为接☐的规范有所区别:Command以面向对象中的“接口—实现’来定义行为接口规范,更严格,但有性能损失;C++函数对象以函数签名来定义行为接口规范,更灵活,性能更高。
总结
将命令实现成一个个对象,就可以将他们当作对象处理。例如在执行完一个操作后就可以将该操作存入一个Stack中,在撤销时再将其弹出并执行对应得undo操作。
访问器模式(visitor)
定义
表示一个作用于某对象结构中的各元素的操作。使得可以在不改变(稳定)各元素的类的前提下定义(扩展)作用于这些元素的新操作(变化)。
——《设计模式》GoF
动机
- 在软件构建过程中,由于需求的改变,某些类层次结构中常常需要增加新的行为(方法),如果直接在基类中做这样的更改,将会给子类带来很繁重的变更负担,甚至破坏原有设计。
- 如何在不更改类层次结构的前提下,在运行时根据需要透明地为类层次结构上的各个类动态添加新的操作,从而避免上述问题?
结构图
代码
#include <iostream>
using namespace std;
class Visitor;
class Element{
public:
//前提是能够预先设计未来可能会增加新的功能,
//预留引入Visitor的接口,接受新的扩展操作
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(ElementAs 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 element;
//ElementB执行扩展操作2
element.accept(visitor); //double dispatch:二次多态辨析
return 0;
}
要点
- Visitor模式通过所谓双重分发(double dispatch)来实现在不更改(不添加新的操作-编译时)Element类层次结构的前提下,在运行时透明地为类层次结构上的各个类动态添加新的操作(支持变化)。
- 所谓双重分发即Visitor模式中间包括了两个多态分发(注意其中的多态机制):第一个为accept方法的多态辨析;第二个为visitElementX方法的多态辨析。
- Visitor模式的最大缺点在于扩展类层次结构(增添新的Element子类),会导致Visitor类的改变。因此Vistor模式适用于“Element类层次结构稳定,而其中的操作却经常面临频繁改动”。
总结
- visitor模式要求原先的类预留一个可以接受新操作的接口(accept(Visitor & visitor)),然后在需要添加新操作的时候将整个类层次结构的一组新操作封装成一个对象(Visitor1),这样就可以在不改变原有类代码的情况下动态的为原有类扩展新的操作。
- visitor模式要求Element类层次结构稳定,不发生变化,因为一旦Element类层次结构发生变化(比如添加一个新的类继承Element类),就会导致Visitor基类发生变化(需要添加一个新的visitElementX方法),这样就再次违反了开闭原则,失去了模式意义。