How to read the template partial specialization?

Question

Suppose the following declaration:

template  struct MyTemplate;

The following definition of the partial specialization se

Answer 1

Read it like this:

1. The primary template says "MyTemplate is a class template with one type parameter":

   template  struct MyTemplate;
   

2. The partial specialization says, "whenever there exists a type T"...

   template 
   

   ... such that a specialization of MyTemplate is requested for the type T *"...

   struct MyTemplate
   

   ... then use this alternative definition of the template.

3. You could also define explicit specializations. For example, could say "whenever the specialization is requested for type X, use this alternative definition:

   template <> struct MyTemplate { /* ... */ };
   

Note that explicit specializations of class templates define types, wheras partial specializations define templates.

To see it another way: A partial class template specialization deduces, or pattern-matches, the structure of the class template arguments:

template  struct MyTemplate
//       ^^^^^^^^^^^^                  ^^^^^
//       This is a new template        Argument passed to the original class
//                                     template parameter

The parameter names of this new template are matched structurally against the argument of the original class template's parameters.

Examples:

• MyTemplate: The type parameter of the class template is void, and the primary template is used for this specialization.

• MyTemplate: The type parameter is int *. There exists a type T, namely T = int, such that the requested type parameter is T *, and so the definition of the partial specialization of the template is used for this specialization.

• MyTemplate: The parameter type is X, and an explicit specialization has been defined for that parameter type, which is therefore used.