Partial Specialization

You can choose to specialize only some of the parameters of a class template. This is known as partial specialization. Note that function templates cannot be partially specialized; use overloading to achieve the same effect.

A partial specialization is declared with a template header that contains one or more template parameters. (With no template parameters, it is a total specialization, not a partial specialization; see the previous section for details.) The class declaration that follows the template header must supply an argument for each parameter of the primary template (or rely on default arguments), and the arguments can depend on the template parameters of the partial specialization. For example, suppose you have a simple pair class, similar to the one in the standard library, but you want to allow one member of the pair to be void. In this case, an object can be made smaller and store only one item:

template<typename T, typename U>
struct pair {
  T first;
  U second;
};
template<typename X> struct pair<X, void> {
  X first;
};

The partial specialization of a class is a distinct template and must provide a complete class definition. You cannot partially specialize a member of a class template, only the entire class template.

Example 7-9 shows partial specializations of the type_traits template from Example 7-8. The first partial specialization applies to all pointer types. It sets the is_pointer member to 1, for example. The second partial specialization applies ...

Get C++ In a Nutshell now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.