Why is it disallowed for partial specialization in a non-type argument to use nested template parameters

by

I think a lot of it is historical. Non-type template parameters weren’t originally allowed at all. When they were added, there were lots of limitations. As people tried different possibilities, and confirmed that they didn’t cause problems, some of the limitations were removed.

Some of those original limitations remain for no particular reason beyond the fact that nobody bothered to work at changing them. Much like there, many of them can be worked around so removing them generally often wouldn’t cause any particular difficulty. Mostly it comes down to a question of whether anybody cared enough about this particular case to write a paper about it.

More Related Contents:

  1. C++ function template partial specialization?
  2. “invalid use of incomplete type” error with partial template specialization
  3. Why function template cannot be partially specialized?
  4. (Partially) specializing a non-type template parameter of dependent type
  5. Multiple SFINAE class template specialisations using void_t
  6. Partial specialization of function templates
  7. Is there a way to instantiate objects from a string holding their class name?
  8. How to get memory usage at runtime using C++?
  9. std::function vs template
  10. How can I create cartesian product of vector of vectors?
  11. Why is the destructor of a future returned from `std::async` blocking?
  12. When is a private constructor not a private constructor?
  13. In STL maps, is it better to use map::insert than []?
  14. Protecting executable from reverse engineering?
  15. When is overloading pass by reference (l-value and r-value) preferred to pass-by-value?
  16. What is the precision of long double in C++?
  17. Finding smallest value in an array most efficiently
  18. Lambda capture and parameter with same name – who shadows the other? (clang vs gcc)
  19. Repeated typedefs – invalid in C but valid in C++?
  20. Trouble launching CUDA kernels from static initialization code
  21. Configuring the GCC compiler switches in Qt, QtCreator, and QMake
  22. Partial class template argument deduction in C++17
  23. What does “for(;;)” mean?
  24. Is it wise to ignore gcc/clang’s “-Wmissing-braces” warning?
  25. How to write a Float Mat to a file in OpenCV
  26. How to clone object in C++ ? Or Is there another solution?
  27. weak_ptr, make_shared and memory deallocation
  28. C++ Virtual function being hidden
  29. How is floating point conversion actually done in C++?(double to float or float to double)
  30. Questions regarding C++ non-POD unions

Leave a Comment