C++设计模式(1) Template Method

前言

学习李建忠老师 C++设计模式课程时的笔记，非本人原创

组件协作

我们在开发中常常会使用一些库或者框架，而库和框架往往是稳定的，应用程序与框架之间联系并不紧密，“组件协作”模式通过晚期绑定，来实现框架与应用程序之间的松耦合，是二者之间协作时常用的模式
典型模式
• Template Method
• Observer / Event
• Strategy

动机

对于某一项任务，它的流程往往是相同的，只是在某些具体情况下子步骤有变化。比如RANSAC算法，它的流程是相同的，但针对具体的模型，其计算模型和验证模型的子步骤是不同的。我们希望根据这种稳定的流程结构，灵活应对各类模型的需求。

定义

定义一个操作中的算法的骨架 (稳定)，而将一些步骤延迟(变化)到子类中。 Template Method使得子类可以不改变(复用)一个算法的结构即可重定义(override 重写)该算法的某些特定步骤。

结构

实例

考虑这样一个算法，一个分5步的算法，其中1、3、5步为固定步骤，2、4步骤是根据需求发生变化的步骤，并且这5步有着固定的流程。

//流程固定的算法
        
Step1();//固定
if (Step2()) { //变化 
   Step3(); //固定
}
for (int i = 0; i < 4; i++){
    Step4(); //变化 
}
Step5();//固定

在一般情况下，我们开发的程序都是早绑定，即客户程序调用编译好的库函数。如果这样做，库函数中需要实现Step1()，Step3()和Step5()，然后客户程序编写整个算法流程，调用库函数中Step1()，Step3()和Step5()并且实现自己的Step2()和Step4()。这样做不太好，因为流程是固定的，这一部分工作是可以由库函数编写者来完成的。

那么我们改为晚绑定的方式，即库函数调用在未来实现的方法，利用继承的方式，将固定的部分(步骤1、3、5和整个流程)写进基类，两个变化的步骤作为虚方法或纯虚方法，在固定的流程中调用虚函数，虚函数由子类继承基类后自行实现。这样以来，子类只需要实现少量方法就能实现功能。

基类中的Run()方法是整个算法的流程,也就是Template。对于固定的步骤，在基类中对该步骤进行实现。对于变化的方法，将其作为虚方法由子类实现。

class Library{
public:
	//稳定 template method
    void Run(){
        
        Step1();

        if (Step2()) { //支持变化 ==> 虚函数的多态调用
            Step3(); 
        }

        for (int i = 0; i < 4; i++){
            Step4(); //支持变化 ==> 虚函数的多态调用
        }

        Step5();

    }
	virtual ~Library(){ }

protected:
	
	void Step1() { //稳定
        //.....
    }
	void Step3() {//稳定
        //.....
    }
	void Step5() { //稳定
		//.....
	}

	virtual bool Step2() = 0;//变化
    virtual void Step4() =0; //变化
};

 子类中实现基类中的纯虚函数

class Application : public Library {
protected:
	virtual bool Step2(){
		//... 子类重写实现
    }

    virtual void Step4() {
		//... 子类重写实现
    }
};

主函数，多态调用，动态绑定

int main()
	{
	    Library* pLib=new Application();
	    lib->Run();

		delete pLib;
	}
}