Understanding Explicit Specialization
Explore the concept of explicit specialization in C++ templates, learning how to provide specialized definitions that override automatic code generation by the compiler. Understand applications for functions, class templates, static members, and the restrictions involved. This lesson prepares you to use explicit specialization effectively in metaprogramming and template design.
A template specialization is the definition created from a template instantiation. The template that is being specialized is called the primary template. We can provide an explicit specialized definition for a given set of template arguments, therefore overwriting the implicit code the compiler would generate instead. This is the technique that powers features such as type traits and conditional compilation, which are metaprogramming concepts we’ll explore in the “Type Traits and Conditional Compilation” section.
There are two forms of template specialization: explicit (full) specialization and partial specialization. We’ll look at both of these in detail in this lesson and the next lesson, respectively.
Explicit specialization
Explicit specialization (also called full specialization) occurs when we provide a definition for a template instantiation with the full set of template arguments. The following can be fully specialized:
Function templates
Class templates ...