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 ...