Non-type template parameters

by

The reason you can’t do this is because non-constant expressions can’t be parsed and substituted during compile-time. They could change during runtime, which would require the generation of a new template during runtime, which isn’t possible because templates are a compile-time concept.

Here’s what the standard allows for non-type template parameters (14.1 [temp.param] p4):

A non-type template-parameter shall have one of the following (optionally cv-qualified) types:

  • integral or enumeration type,
  • pointer to object or pointer to function,
  • lvalue reference to object or lvalue reference to function,
  • pointer to member,
  • std::nullptr_t.

More Related Contents:

  1. Why can templates only be implemented in the header file?
  2. Difference of keywords ‘typename’ and ‘class’ in templates?
  3. C++ templates that accept only certain types
  4. C++ static polymorphism (CRTP) and using typedefs from derived classes
  5. Propagating ‘typedef’ from based to derived class for ‘template’
  6. Static member initialization in a class template
  7. What is “Expression SFINAE”?
  8. Can the template parameters of a constructor be explicitly specified?
  9. template member function of template class called from template function
  10. C-Style Strings as template arguments? [duplicate]
  11. declare template friend function of template class
  12. Template within template: why “`>>’ should be `> >’ within a nested template argument list”
  13. Limiting range of value types in C++
  14. Parameter pack must be at the end of the parameter list… When and why?
  15. Can lambda functions be templated?
  16. Deducing first template argument with other template parameters defaulted
  17. Disambiguate overloaded member function pointer being passed as template parameter
  18. How to correctly initialize member variable of template type?
  19. “Undefined symbols” linker error with simple template class
  20. using class name in a class template without template parameters
  21. How can I expand call to variadic template base classes?
  22. Template Metaprogramming – Difference Between Using Enum Hack and Static Const
  23. How does C++ link template instances
  24. Dependent name resolution & namespace std / Standard Library
  25. templated typedef?
  26. std::enable_if : parameter vs template parameter
  27. Is there a way to write make_unique() in VS2012?
  28. Dependent scope and nested templates
  29. Concatenate compile-time strings in a template at compile time?
  30. using extern template (C++11) to avoid instantiation

Leave a Comment