设计模式之一 Template Method

由于排版问题，访问https://www.stdstring.com/2020/02/09/%E8%AE%BE%E8%AE%A1%E6%A8%A1%E5%BC%8F%E4%B9%8B%E4%B8%80%20Template%20Method/获得更好的阅读体验。

没有该设计模式的情况

{% tabs 没有该设计模式 %}

#include <iostream>

using namespace std;

class Library
{

public:
	void Step1()
	{
		cout << "Step1" << endl;
	}

	void Step3()
	{
		cout << "Step3" << endl;
	}

	void Step5()
	{
		cout << "Step5" << endl;
	}
};

#include "template1_lib.cpp"


class Application
{
  public:
	bool Step2()
	{
		cout << "myStep2" << endl;
		return true;
	}

	void Step4()
	{
		cout << "myStep4" << endl;
	}
};

int main()
{
	Library lib;
	Application app;

	lib.Step1();

	if (app.Step2())
	{
		lib.Step3();
	}

	for (int i = 0; i < 4; i++)
	{
		app.Step4();
	}

	lib.Step5();
}

{% endtabs %}

程序库部分，定义一个类Library，其中定义并实现了方法step1()、step3()、step5()。应用程序部分，定义了类Application，其中定义并实现了方法step2()、step4()。这两个类并没有继承关系。在这里，程序的整体逻辑，由应用端程序员实现，应用端程序员知道程序的执行过程。这里类似于模块化编程风格。

使用 Template Method 设计模式

{% tabs 使用-Template-Method-设计模式 %}

#include <iostream>

using namespace std;

//程序库开发人员
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()
    { //稳定
        cout << "Step1" << endl;
    }
    void Step3()
    { //稳定
        cout << "Step3" << endl;
    }
    void Step5()
    {   //稳定
        cout << "Step5" << endl;
    }

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

#include "template2_lib.cpp"
#include <iostream>

using namespace std;

//应用程序开发人员
class Application : public Library
{
  protected:
	virtual bool Step2()
	{
		//... 子类重写实现
		cout << "override Step2" << endl;
		return true;
	}

	virtual void Step4()
	{
		//... 子类重写实现
		cout << "override Step4" << endl;
	}
};

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

	delete pLib;
}

{% endtabs %}

程序库部分，定义一个类Library，在其中定义了所有方法，并实现step1()、step3()、step5()这三个方法，其余方法为虚函数，交给子类实现。应用程序部分，定义了类Application，并继承自类Library，其中重写了方法step2()、step4()。在这里，程序的整体逻辑，由框架端程序员来定义，只是需要有变化的部分由应用端程序员来重写该方法。这里，应用端程序员不知道程序整体的执行过程。

何时使用这种设计模式

{% note info %}

Note

非常常见的情况是在框架与应用之间，框架开发人员要应对应用开发人员的不同需求，而整体是具有稳定的操作结构的，只是子步骤需要改变。此时，可以使用Template Method 设计模式

{% endnote %}

怎么来定义这种模式

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

小结

• 它用最简洁的机制（虚函数的多态性） 为很多应用程序框架提供了灵活的扩展点，是代码复用方面的基本实现结构。
• 除了可以灵活应对子步骤的变化外， “不要调用我，让我来调用你” 的{% label warning @反向控制结构 %}是Template Method的典型应用。
• 在具体实现方面，被Template Method调用的虚方法可以具有实现，也可以没有任何实现（抽象方法、纯虚方法），但一般推荐将它们设置为protected方法。

由于排版问题，访问https://www.stdstring.com/2020/02/09/%E8%AE%BE%E8%AE%A1%E6%A8%A1%E5%BC%8F%E4%B9%8B%E4%B8%80%20Template%20Method/获得更好的阅读体验。