Template Method模式
定义一个操作的算法框架在基类中,而将算法的一些步骤延迟到子类中实现。显然,模板方法可以在不改变一个算法的结构的情况下,重新定义该算法的某些特定步骤。
一个通用的Template Method模式的结构图如下:
Template Method结构图
Template Method模式实际上就是利用面向对象中多态的概念实现算法细节与高层接口的松耦合。可以看到Template Method模式采取的是继承方式实现的。也正是由于继承
是一种强约束性条件,因此也给Template Method模式带来了许多不方便的地方。
当我们知道算法的步骤,并确定执行顺序,但步骤的具体实现和运行环境相关时,可以使用模板方法。在模板方法中,工作流程由父类控制,具体工作内容由子类实现。
源码示意:
#include<iostream>
using namespace std;
// 模板方法 Template Method
class Abstractclass
{
public:
void TemplateMethod()
{
this->Primitive1();
this->Primitive2();
}
protected:
virtual void Primitive1() = 0;
virtual void Primitive2() = 0;
};
class ConcreteClass1 : public Abstractclass
{
protected:
void Primitive1(){cout<<"ConcreteClass1Op1"<<endl;}
void Primitive2(){cout<<"ConcreteClass1Op2"<<endl;}
};
class ConcreteClass2 : public Abstractclass
{
protected:
void Primitive1(){cout<<"ConcreteClass2Op1"<<endl;}
void Primitive2(){cout<<"ConcreteClass2Op2"<<endl;}
};
Abstractclass* a = new ConcreteClass1();
a->TemplateMethod();
a = new ConcreteClass2();
a->TemplateMethod();
Template Method模式的实现关键是将通用算法(逻辑)封装起来,而将算法细节让子类实现(多态)。唯一注意的是我们将原语操作(细节算法)定义为受保护(Protected)成员,对外部只提供模板方法供调用。
Template模式是很简单模式,但是也应用很广的模式。Template Method是采用继承的方式实现算法的异构,其关键点就是将通用算法封装在抽象基类中,并将不同的算法细节放到子类中实现。
Template Method模式获得一种反向控制结构效果,这也是面向对象系统的分析和设计中一个原则----DIP(依赖倒置:Dependency Inversion Principles)。其含义就是父类调用子类的操作(高层模块调用低层模块的操作),低层模块实现高层模块声明的接口。这样控制权在父类(高层模块),低层模块反而要依赖高层模块。
继承的强制性约束关系也让Template Method模式有不足的地方,我们可以看到对于各个ConcreteClass类中的实现的原语方法Primitive (),是不能被别的类复用的。假设我们要创建一个AbstractClass的变体AnotherAbstractClass,并且两者只是通用算法不一样,其原语操作想复用AbstractClass的子类的实现。但是这是不可能实现的,因为ConcreteClass继承自AbstractClass,也就继承了AbstractClass的通用算法,AnotherAbstractClass是复用不了ConcreteClass的实现,因为后者不是继承自前者。
Template Method模式暴露的问题也正是继承所固有的问题,Strategy模式则通过组合(委托)来达到和Template Method模式类似的效果,其代价就是空间和时间上的代价。