Default template parameter partial specialization

by

The default argument applies to the specialization — and, in fact, a specialization must accept (so to speak) the base template’s default argument(s). Attempting to specify a default in the specialization:

template<class A = int, class B=double>
class Base
{};

template<class B=char>
// ...

…is an error.

Likewise, if we change the specialization so that its specialization is for a type other than the default provided by the base template:

template<class A = int, class B=double>
class Base
{};

template<class B>
class Base <char, B>

…then the base template will be chosen.

So, what’s happening is this: first the types for the template arguments are chosen. In this case (no type specified at instantiation), both types are based on the default template arguments specified in the base template.

Then (as a basically separate step) it carries out an analog of overload resolution on all templates that fit those argument types. As usual for overload resolution, a type that’s specified explicitly is preferred over one that’s specified implicitly, so your specialization (which specified int explicitly) is preferred over the base template (which specified int implicitly).

More Related Contents:

  1. Default template argument and partial specialization
  2. explicit specialization of template class member function
  3. Template specialization of particular members?
  4. c++ template partial specialization member function [duplicate]
  5. Selecting a member function using different enable_if conditions
  6. Template specialization of a single method from a templated class
  7. static member initialization for specialized template class
  8. Specializing function template for reference types
  9. Specializing a template on a lambda in C++0x
  10. friend declaration declares a non-template function [duplicate]
  11. Template specialization based on inherit class
  12. Why C++ containers don’t allow incomplete types?
  13. Why is the template argument deduction not working here?
  14. using std::is_same, why my function still can’t work for 2 types
  15. Alias template specialisation
  16. Explicit specialization in non-namespace scope does not compile in GCC
  17. Can you make custom operators in C++?
  18. String literals not allowed as non type template parameters
  19. (Partially) specializing a non-type template parameter of dependent type
  20. C++ convert integer to string at compile time
  21. Lambda expressions as class template parameters
  22. Do c++ templates make programs slow?
  23. Using export keyword with templates
  24. How to make a variadic is_same?
  25. Understanding (simple?) C++ Partial Template Specialization
  26. How to typedef a template class? [duplicate]
  27. C++ template function compiles in header but not implementation
  28. if / else at compile time in C++?
  29. Conditional compilation based on template values?
  30. How to test whether class B is derived from template family of classes

Leave a Comment