Reason for using non-type template parameter instead of regular parameter?

by

There are many applications for non-type template arguments; here are a few:

You can use non-type arguments to implement generic types representing fixed-sized arrays or matrices. For example, you might parameterize a Matrix type over its dimensions, so you could make a Matrix<4, 3> or a Matrix<2, 2>. If you then define overloaded operators for these types correctly, you can prevent accidental errors from adding or multiplying matrices of incorrect dimensions, and can make functions that explicitly communicate the expected dimensions of the matrices they accept. This prevents a huge class of runtime errors from occur by detecting the violations at compile-time.

You can use non-type arguments to implement compile-time function evaluation through template metaprogramming. For example, here’s a simple template that computes factorial at compile-time:

template <unsigned n> struct Factorial {
    enum { 
       result = n * Factorial<n - 1>::result
    };
};
template <> struct Factorial<0> {
    enum {
       result = 1
    };
};

This allows you to write code like Factorial<10>::result to obtain, at compile-time, the value of 10!. This can prevent extra code execution at runtime.

Additionally, you can use non-type arguments to implement compile-time dimensional analysis, which allows you to define types for kilograms, meters, seconds, etc. such that the compiler can ensure that you don’t accidentally use kilograms where you meant meters, etc.

Hope this helps!

More Related Contents:

  1. Why do i have a random result on this template?
  2. Templated check for the existence of a class member function?
  3. Why do I get “unresolved external symbol” errors when using templates? [duplicate]
  4. How does `void_t` work
  5. using extern template (C++11)
  6. SFINAE working in return type but not as template parameter
  7. What does it mean to “ODR-use” something?
  8. How does `is_base_of` work?
  9. C++ syntax for explicit specialization of a template function in a template class?
  10. constexpr if and static_assert
  11. Template deduction for function based on its return type?
  12. Detecting constexpr with SFINAE
  13. Template static variable
  14. constant references with typedef and templates in c++
  15. Is it possible to “store” a template parameter pack without expanding it?
  16. C++11: Compile Time Calculation of Array
  17. How to reverse the order of arguments of a variadic template function?
  18. Template specialization and enable_if problems [duplicate]
  19. Why do auto and template type deduction differ for braced initializers?
  20. How to check for the type of a template parameter?
  21. Do c++ templates make programs slow?
  22. mixing templates with polymorphism
  23. Why is the STL so heavily based on templates instead of inheritance?
  24. How to make a variadic is_same?
  25. Understanding (simple?) C++ Partial Template Specialization
  26. Does reinterpret_cast lead to undefined behavior?
  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