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 the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.