Specializing function template for reference types

by

The type of both the expression y and the expression z is int. A reference appearing in an expression won’t keep reference type. Instead, the type of the expression will be the referenced type, with the expression being an lvalue.

So in both cases, T is deduced to int, and thus the explicit specialization is not used at all.

What’s important to note (other than that you should really use overloading, as another guy said), is that you have a non-reference function parameter in your template. Before any deduction of T against the argument type is done, the argument type will be converted from arrays to a pointer to their first element (for functions, arguments will be converted to function pointers). So a function template with a non-reference function parameter doesn’t allow for accurate deduction anyway.

More Related Contents:

  1. C++ function template partial specialization?
  2. explicit specialization of template class member function
  3. Template specialization of particular members?
  4. c++ template partial specialization member function [duplicate]
  5. Selecting a member function using different enable_if conditions
  6. Template specialization of a single method from a templated class
  7. Why is it not possible to overload class templates?
  8. How to know if a type is a specialization of std::vector?
  9. static member initialization for specialized template class
  10. Understanding (simple?) C++ Partial Template Specialization
  11. Default template parameter partial specialization
  12. Specializing a template on a lambda in C++0x
  13. Specialized template function with deleted “general” case fails to compile with g++
  14. Default template argument and partial specialization
  15. friend declaration declares a non-template function [duplicate]
  16. Template specialization based on inherit class
  17. Difference of keywords ‘typename’ and ‘class’ in templates?
  18. C++ templates that accept only certain types
  19. How to easily map c++ enums to strings
  20. How to declare a templated struct/class as a friend?
  21. Why function template cannot be partially specialized?
  22. templates: parent class member variables not visible in inherited class
  23. Template issue causes linker error (C++) [duplicate]
  24. Workaround for template argument deduction in non-deduced context
  25. Are C++ Templates just Macros in disguise?
  26. How do I force a particular instance of a C++ template to instantiate?
  27. What is the easiest way to print a variadic parameter pack using std::ostream?
  28. Why is allocator::rebind necessary when we have template template parameters?
  29. Determine if Type is a pointer in a template function
  30. c++ template parameter type inference

Leave a Comment