Click here to Skip to main content
Click here to Skip to main content

Templates in C++ - Pros and Cons

, 3 Dec 2011
Rate this:
Please Sign up or sign in to vote.
Advantages and drawbacks of using templates in C++ projects

Introduction to C++ Templates - Pros and Cons

Once upon a time, I decided to collect and organize all the advantages and drawbacks you may experience when using templates in C++.

Advantages

C++ templates enable you to define a family of functions or classes that can operate on different types of information.

  • Use templates in situations that result in duplication of the same code for multiple types.
    For example, you can use function templates to create a set of functions that apply the same algorithm to different data types.
  • You can also use class templates to develop a set of typesafe classes.
  • Templates are sometimes a better solution than C macros and void pointers,
    and they are especially useful when working with collections (one of the main uses for templates in MFC) and smart pointers (from MSDN).
  • A. Stepanov (the creator of STL) notes that some things that seem trivial using templates (such as equality operator, for example) are very difficult to implement with conventional OO techniques such as inheritance and polymorphism.
  • Because their parameters are known at compile time, template classes are more typesafe, and could be preferred over run-time resolved code structures (such as abstract classes). There are some modern techniques that can dramatically reduce code bloat when using templates. Note that these techniques are very complex either.
  • Often, the main reason to use templates in combination with STL – it can drastically reduce development time.

Disadvantages

  • Historically, some compilers exhibited poor support for templates. So, the use of templates could decrease code portability.
  • Many compilers lack clear instructions when they detect a template definition error. This can increase the effort of developing templates, and has prompted the development of Concepts for possible inclusion in a future C++ standard.
  • Since the compiler generates additional code for each template type, indiscriminate use of templates can lead to code bloat, resulting in larger executables. For example, used in Adobe products "… GIL (Generic Image Library) implements type generators.
    One of these generators generates all image types that are combinations of given sets of color spaces and channels.
    This code defines any image t to be one of 4×3×2×2 = 48 possible image types. It can have any of the four listed color spaces, any of the three listed channel depths, it can be interleaved or planar and its pixels can be adjacent or non-adjacent in memory.
    The above code generates 48 × 48 = 2304 instantiations. Without any special handling, the code bloat will be out of control."
    See Efficient Run-Time Dispatching in Generic Programming with Minimal Code Bloat, 2004.
  • Because a template by its nature exposes its implementation, injudicious use in large systems can lead to longer build times.
  • It can be difficult to debug code that is developed using templates. Since the compiler replaces the templates, it becomes difficult for the debugger to locate the code at runtime.
  • Templates are in the headers, which require a complete rebuild of all project pieces when changes are made.
  • No information hiding. All code is exposed in the header file. No one library can solely contain the code (from Wikipedia).
  • Though STL itself is a collection of template classes, templates are not used to write conventional libraries.
    The libraries of templates are header-only: the library code is included in and compiled with the user's code.
    Though, this makes installation and usage of the libraries relatively easy.

In The C++ Programming Language (3rd Edition), B.Stroustrup presents over 20 factors to take into account when programming templates.
Many of them have to do with ensuring that your code is reliable for all input classes, and maintainable.
B. Stroustrup recognizes these pitfalls:

  • The ease with which unmaintainable "spaghetti code" can be generated
  • Automatically generated source code can become overwhelmingly huge
  • Compile-time processing of templates can be extremely time consuming
  • Debugging is not intuitive for most programmers
  • Context dependencies can be difficult to diagnose and even harder to correct (from comments here)

And here is B. Stroustrup's more recent view on templates usage:

  • Prefer a template over derived classes when run-time efficiency is at a premium
  • Prefer derived classes over a template if adding new variants without recompilation is important
  • Prefer a template over derived classes when no common base can be defined
  • Prefer a template over derived classes when built-in types and structures with compatibility constraints are important

See Joint strike fighter air vehicle C++ coding standards, December 2005.

In sharp contrast to the claim that templates cause code bloat, it so happens that templates can be used to save code space.
C++ compiler is not allowed to generate code for an unused template function. This implies that if a program uses only 3 of a template class’ 7 member functions, only those three functions will occupy space in memory. The equivalent optimization for non-template classes is not common (the standard doesn’t require it) and extremely hard to achieve for virtual functions.

See Abstraction and the C++ machine model, B. Stroustrup, 2004.

References

History

  • 29.10.2011 - Initial submission of article
  • 03.12.2011 - Article updated

License

This article, along with any associated source code and files, is licensed under The Code Project Open License (CPOL)

Share

About the Author

Sergey Chepurin

Russian Federation Russian Federation
No Biography provided

Comments and Discussions

 
GeneralMy vote of 5 - Very important article PinpremiumMichael N. Haephrati13-Jul-14 6:59 
QuestionNice PinprofessionalManikandan106-Jun-14 20:38 
QuestionMessage Automatically Removed PinmemberMember 102203673-Sep-13 1:11 
SuggestionMessage Automatically Removed PinmemberMember 102203673-Sep-13 1:07 
QuestionNo information hiding. PinmemberShakti Misra15-Nov-11 23:15 
AnswerRe: No information hiding. Pinmembersteveb17-Aug-13 4:12 
AnswerMessage Automatically Removed PinmemberMember 102203673-Sep-13 1:12 
QuestionTemplates Pinmembergeoyar3-Nov-11 14:38 
AnswerRe: Templates PinmemberSergey Chepurin3-Nov-11 20:48 
GeneralRe: Templates Pinmembergeoyar4-Nov-11 15:11 
GeneralRe: Templates PinmemberSergey Chepurin4-Nov-11 20:58 
QuestionLong compilation times PinmemberLorenzo Gatti2-Nov-11 6:45 
AnswerRe: Long compilation times [modified] PinmemberSergey Chepurin2-Nov-11 22:33 
QuestionA couple of comments... Pinmember_J0N0_29-Oct-11 17:51 
AnswerRe: A couple of comments... [modified] PinmemberSergey Chepurin29-Oct-11 23:41 

General General    News News    Suggestion Suggestion    Question Question    Bug Bug    Answer Answer    Joke Joke    Rant Rant    Admin Admin   

Use Ctrl+Left/Right to switch messages, Ctrl+Up/Down to switch threads, Ctrl+Shift+Left/Right to switch pages.

| Advertise | Privacy | Mobile
Web04 | 2.8.140902.1 | Last Updated 3 Dec 2011
Article Copyright 2011 by Sergey Chepurin
Everything else Copyright © CodeProject, 1999-2014
Terms of Service
Layout: fixed | fluid