Template method pattern

Last updated

In object-oriented programming, the template method is one of the behavioral design patterns identified by Gamma et al. [1] in the book Design Patterns . The template method is a method in a superclass, usually an abstract superclass, and defines the skeleton of an operation in terms of a number of high-level steps. These steps are themselves implemented by additional helper methods in the same class as the template method.

Contents

The helper methods may be either abstract methods , in which case subclasses are required to provide concrete implementations, or hook methods, which have empty bodies in the superclass. Subclasses can (but are not required to) customize the operation by overriding the hook methods. The intent of the template method is to define the overall structure of the operation, while allowing subclasses to refine, or redefine, certain steps. [2]

Overview

This pattern has two main parts:

At run-time, the algorithm represented by the template method is executed by sending the template message to an instance of one of the concrete subclasses. Through inheritance, the template method in the base class starts to execute. When the template method sends a message to self requesting one of the helper methods, the message will be received by the concrete sub-instance. If the helper method has been overridden, the overriding implementation in the sub-instance will execute; if it has not been overridden, the inherited implementation in the base class will execute. This mechanism ensures that the overall algorithm follows the same steps every time while allowing the details of some steps to depend on which instance received the original request to execute the algorithm.

This pattern is an example of inversion of control because the high-level code no longer determines what algorithms to run; a lower-level algorithm is instead selected at run-time.

Some of the self-messages sent by the template method may be to hook methods. These methods are implemented in the same base class as the template method, but with empty bodies (i.e., they do nothing). Hook methods exist so that subclasses can override them, and can thus fine-tune the action of the algorithm without the need to override the template method itself. In other words, they provide a "hook" on which to "hang" variant implementations.

Structure

UML class diagram

A sample UML class diagram for the Template Method design pattern. W3sDesign Template Method Design Pattern UML.jpg
A sample UML class diagram for the Template Method design pattern.

In the above UML class diagram, the AbstractClass defines a templateMethod() operation that defines the skeleton (template) of a behavior by

Template Method in LePUS3. Template Method pattern in LePUS3.gif
Template Method in LePUS3.

Usage

The template method is used in frameworks, where each implements the invariant parts of a domain's architecture, while providing hook methods for customization. This is an example of inversion of control. The template method is used for the following reasons. [3]

Use with code generators

The template pattern is useful when working with auto-generated code. The challenge of working with generated code is that changes to the source code will lead to changes in the generated code; if hand-written modifications have been made to the generated code, these will be lost. How, then, should the generated code be customized?

The Template pattern provides a solution. If the generated code follows the template method pattern, the generated code will all be an abstract superclass. Provided that hand-written customizations are confined to a subclass, the code generator can be run again without risk of over-writing these modifications. When used with code generation, this pattern is sometimes referred to as the generation gap pattern. [7]

C++ example

This C++23 implementation is based on the pre C++98 implementation in the book.

Cpp template method pattern UML.svg

importstd;usingstd::unique_ptr;// abstract classclassView{private:voidsetFocus(){std::println("View::setFocus called");}voidresetFocus(){std::println("View::resetFocus called");}public:// defines abstract primitive operations that concrete subclasses define to implement steps of an algorithm.virtualvoiddoDisplay()=0;// implements a template method defining the skeleton of an algorithm. The template method calls primitive operations as well as operations defined in AbstractClass or those of other objects.voiddisplay(){setFocus();doDisplay();resetFocus();}virtual~View()=default;};// concrete classclassMyView:publicView{public:// implements the primitive operations to carry out subclass-specific steps of the algorithm.voiddoDisplay()override{// render the view's contentsstd::println("MyView::doDisplay called");}};intmain(intargc,char*argv[]){unique_ptr<View>myview=std::make_unique<MyView>();myview->display();}

The program output is

View::setFocuscalledMyView::doDisplaycalledView::resetFocuscalled

See also

References

  1. 1 2 Gamma, Erich; Helm, Richard; Johnson, Ralph; Vlissides, John (1994). "Template Method". Design Patterns. Addison-Wesley. pp.  325–330. ISBN   0-201-63361-2.
  2. Freeman, Eric; Freeman, Elisabeth; Sierra, Kathy; Bates, Bert (2004). Hendrickson, Mike; Loukides, Mike (eds.). Head First Design Patterns (paperback). Vol. 1. O'REILLY. pp. 289, 311. ISBN   978-0-596-00712-6 . Retrieved 2012-09-12.
  3. 1 2 "Template Method Design Pattern". Source Making - teaching IT professional. Retrieved 2012-09-12. Template Method is used prominently in frameworks.
  4. "The Template Method design pattern - Structure". w3sDesign.com. Retrieved 2017-08-12.
  5. LePUS3 legend. Retrieved from http://lepus.org.uk/ref/legend/legend.xml.
  6. 1 2 3 Chung, Carlo (2011). Pro Objective-C Design Patterns for iOS. Berkeley, CA: Apress. p. 266. ISBN   978-1-4302-3331-2.
  7. Vlissides, John (1998-06-22). Pattern Hatching: Design Patterns Applied. Addison-Wesley Professional. pp. 85–101. ISBN   978-0201432930.