Template Function Specialization for Integer Types

by

Use SFINAE

// For all types except integral types:
template<typename T>
typename std::enable_if<!std::is_integral<T>::value>::type f(T t)
{
    // ...
}

// For integral types only:
template<typename T>
typename std::enable_if<std::is_integral<T>::value>::type f(T t)
{
    // ...
}

Note that you will have to include the full std::enable_if return value even for the declaration.

C++17 update:

// For all types except integral types:
template<typename T>
std::enable_if_t<!std::is_integral_v<T>> f(T t)
{
    // ...
}

// For integral types only:
template<typename T>
std::enable_if_t<std::is_integral_v<T>> f(T t)
{
    // ...
}

More Related Contents:

  1. Is it possible to pass a class as an argument of a function in C++
  2. Why do I have to access template base class members through the this pointer?
  3. Officially, what is typename for?
  4. Splitting templated C++ classes into .hpp/.cpp files–is it possible?
  5. Non-type template parameters
  6. What exactly is the “immediate context” mentioned in the C++11 Standard for which SFINAE applies?
  7. Why is the template argument deduction not working here?
  8. How does this template magic determine array parameter size?
  9. Specifying one type for all arguments passed to variadic function or variadic template function w/out using array, vector, structs, etc?
  10. How to write a type trait `is_container` or `is_vector`?
  11. Can you make custom operators in C++?
  12. Identifying primitive types in templates
  13. Doing a static_assert that a template type is another template
  14. Is there any difference between “T” and “const T” in template parameter?
  15. C++ convert integer to string at compile time
  16. Forwarding all constructors in C++0x
  17. How to know if a type is a specialization of std::vector?
  18. C++ : friend declaration ‘declares a non-template function
  19. Specify template parameters at runtime
  20. Lambda expressions as class template parameters
  21. Using export keyword with templates
  22. Default template parameter partial specialization
  23. ‘auto’ as a template argument placeholder for a function parameter
  24. Calculating and printing factorial at compile time in C++
  25. Passing a lambda into a function template
  26. How to tell if template type is an instance of a template class?
  27. Template assignment operator overloading mystery
  28. How to check if a template parameter is an iterator type or not?
  29. Will I be able to declare a constexpr lambda inside a template parameter?
  30. C++ template function default value

Leave a Comment