Array decay to pointers in templates

by

Use the reference type for the parameter

template<typename T> void f(const T& x) 
{
  std::cout << sizeof(T);
}

in which case the array type will not decay.

Similarly, you can also prevent decay in your original version of f if you explicitly specify the template agument T as a reference-to-array type

f<int (&)[27]>(array);

In your original code sample, forcing the argument T to have the array type (i.e. non-reference array type, by using typeof or by specifying the type explicitly), will not prevent array type decay. While T itself will stand for array type (as you observed), the parameter x will still be declared as a pointer and sizeof x will still evaluate to pointer size.

More Related Contents:

  1. Why can templates only be implemented in the header file?
  2. What are some uses of template template parameters?
  3. Difference of keywords ‘typename’ and ‘class’ in templates?
  4. C++ templates that accept only certain types
  5. Function passed as template argument
  6. Is it possible to emulate template?
  7. Can standard container templates be instantiated with incomplete types?
  8. static_assert dependent on non-type template parameter (different behavior on gcc and clang)
  9. How to initialize std::array elegantly if T is not default constructible?
  10. Why should I avoid std::enable_if in function signatures
  11. Template tuple – calling a function on each element
  12. Calling a function for each variadic template argument and an array
  13. C++ templates, undefined reference
  14. Workaround for template argument deduction in non-deduced context
  15. Are C++ Templates just Macros in disguise?
  16. Restrict C++ Template Parameter to Subclass
  17. C++ template functions overload resolution
  18. Variadic templates
  19. using class name in a class template without template parameters
  20. Template instantiation details of GCC and MS compilers
  21. How can I expand call to variadic template base classes?
  22. Template Metaprogramming – Difference Between Using Enum Hack and Static Const
  23. Dependent name resolution & namespace std / Standard Library
  24. Local type as template arguments in C++ [duplicate]
  25. Switch passed type from template
  26. Default values in templates with template arguments ( C++ )
  27. pointer as non-type template argument
  28. Obtain container type from (its) iterator type in C++ (STL)
  29. Const and non const template specialization
  30. Template type deduction in C++ for Class vs Function?

Leave a Comment