Default template argument when using std::enable_if as templ. param.: why OK with two template functions that differ only in the enable_if parameter?

by

Notes

A common mistake is to declare two function templates that differ only in their default template arguments. This is illegal because default template arguments are not part of function template’s signature, and declaring two different function templates with the same signature is illegal.

Your functions don’t differ only in their default template arguments, they differ in their template parameters, so have different signatures.

In both cases the default template argument is nullptr, but the second template parameter is different in each case.

More Related Contents:

  1. Why should I avoid std::enable_if in function signatures
  2. Template specialization and enable_if problems [duplicate]
  3. How Does std::enable_if work?
  4. Optimization code for a debug function (c++11 with templates) [closed]
  5. C++11 does not deduce type when std::function or lambda functions are involved
  6. C++ template typedef
  7. initializer_list and move semantics
  8. How to convert a lambda to an std::function using templates
  9. static_assert fails compilation even though template function is called nowhere
  10. trailing return type using decltype with a variadic template function
  11. Selecting a member function using different enable_if conditions
  12. How to initialize std::array elegantly if T is not default constructible?
  13. When to use std::forward to forward arguments?
  14. Template tuple – calling a function on each element
  15. What does this variadic template code do?
  16. SFINAE works differently in cases of type and non-type template parameters
  17. Expansion with variadic templates [duplicate]
  18. Variadic templates
  19. Can the point-of-instantiation be delayed until the end of the translation unit?
  20. How can I expand call to variadic template base classes?
  21. C++11 is_same type trait for templates
  22. Why the initializer of std::function has to be CopyConstructible?
  23. gcc can compile a variadic template while clang cannot
  24. Interfacing C++11 array with Cython
  25. How to typedef a template class? [duplicate]
  26. using SFINAE for template class specialisation
  27. Why does the template-id in “A=0” not compile without space because of the greater-or-equal-than operator “>=”?
  28. Specializing a template on a lambda in C++0x
  29. Is there a way to write make_unique() in VS2012?
  30. using extern template (C++11) to avoid instantiation

Leave a Comment