Why is partial specialization of a nested class template allowed, while complete isn’t?

by

My guess as to why this happens: complete specializations are no longer “template classes/functions”, they are are “real” classes/methods, and get to have real (linker-visible) symbols. But for a completely-specialized template inside a partially-specialized one, this would not be true.
Probably this decision was taken just to simplify the life of compiler-writers (and make life harder for coders, in the process 😛 ).

More Related Contents:

  1. Does C++ support compile-time counters?
  2. SFINAE to check for inherited member functions
  3. C++ SFINAE examples?
  4. Can you make custom operators in C++?
  5. Best introduction to C++ template metaprogramming? [closed]
  6. C++: How to require that one template type is derived from the other
  7. How to know if a type is a specialization of std::vector?
  8. How can I expand call to variadic template base classes?
  9. Template Metaprogramming – Difference Between Using Enum Hack and Static Const
  10. C++11 is_same type trait for templates
  11. C++ Template Metaprogramming – Is it possible to output the generated code?
  12. calculating factorial using template meta-programming
  13. Obtain container type from (its) iterator type in C++ (STL)
  14. Template metaprogram converting type to unique number
  15. Why do I get “unresolved external symbol” errors when using templates? [duplicate]
  16. What does it mean to “ODR-use” something?
  17. How does `is_base_of` work?
  18. constexpr if and static_assert
  19. Detecting constexpr with SFINAE
  20. C++11: Compile Time Calculation of Array
  21. Select class constructor using enable_if
  22. Why do auto and template type deduction differ for braced initializers?
  23. c++ template and header files [duplicate]
  24. Strong typedefs [duplicate]
  25. Standard Library Containers with additional optional template parameters?
  26. Compile time sizeof_array without using a macro
  27. Restrict variadic template arguments
  28. Incomplete class usage in template
  29. “Permanent” std::setw
  30. How to combine std::bind(), variadic templates, and perfect forwarding?

Leave a Comment