Template specialization and enable_if problems [duplicate]

by

Default template arguments are not part of the signature of a function template. So in your example you have two identical overloads of less, which is illegal. clang complains about the redefinition of the default argument (which is also illegal according to ยง14.1/12 [temp.param]), while gcc produces the following error message:

error: redefinition of ‘template<class T, class> bool less(T, T)‘

To fix the error move the enable_if expression from default argument to a dummy template parameter

template <class T,
          typename std::enable_if<std::is_floating_point<T>::value, int>::type* = nullptr>
     bool less(T a, T b) {
  // ....
}

template <class T,
          typename std::enable_if<std::is_integral<T>::value, int>::type* = nullptr>
     bool less(T a, T b) {
  // ....
}

Another option is to use enable_if in the return type, though I feel this is harder to read.

template <class T>
      typename std::enable_if<std::is_floating_point<T>::value, bool>::type 
      less(T a, T b) {
  // ....
}

template <class T>
     typename std::enable_if<std::is_integral<T>::value, bool>::type 
     less(T a, T b) {
  // ....
}

More Related Contents:

  1. Why should I avoid std::enable_if in function signatures
  2. Check if a class has a member function of a given signature
  3. SFINAE working in return type but not as template parameter
  4. What exactly is the “immediate context” mentioned in the C++11 Standard for which SFINAE applies?
  5. What is “Expression SFINAE”?
  6. Selecting a member function using different enable_if conditions
  7. Why doesn’t SFINAE (enable_if) work for member functions of a class template?
  8. How to write a type trait `is_container` or `is_vector`?
  9. Detecting constexpr with SFINAE
  10. SFINAE works differently in cases of type and non-type template parameters
  11. How Does std::enable_if work?
  12. 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?
  13. using SFINAE for template class specialisation
  14. How to initialize std::array elegantly if T is not default constructible?
  15. Template tuple – calling a function on each element
  16. Calling a function for each variadic template argument and an array
  17. What is decltype with two arguments?
  18. Select class constructor using enable_if
  19. Disambiguate overloaded member function pointer being passed as template parameter
  20. C++ parameter pack, constrained to have instances of a single type?
  21. How can I expand call to variadic template base classes?
  22. Dependent name resolution & namespace std / Standard Library
  23. templated typedef?
  24. std::enable_if : parameter vs template parameter
  25. Assert that code does NOT compile
  26. Is there a way to write make_unique() in VS2012?
  27. How to combine std::bind(), variadic templates, and perfect forwarding?
  28. “What happened to my SFINAE” redux: conditional template class members?
  29. Concatenate compile-time strings in a template at compile time?
  30. using extern template (C++11) to avoid instantiation

Leave a Comment