How to check if a template parameter is an iterator type or not?

by

How about something like this?

template<typename T, typename = void>
struct is_iterator
{
   static constexpr bool value = false;
};

template<typename T>
struct is_iterator<T, typename std::enable_if<!std::is_same<typename std::iterator_traits<T>::value_type, void>::value>::type>
{
   static constexpr bool value = true;
};

example:

#include <iostream>
#include <type_traits>
#include <vector>

template<typename T, typename = void>
struct is_iterator
{
   static constexpr bool value = false;
};

template<typename T>
struct is_iterator<T, typename std::enable_if<!std::is_same<typename std::iterator_traits<T>::value_type, void>::value>::type>
{
   static constexpr bool value = true;
};

int main()
{
   static_assert(!is_iterator<int>::value);
   static_assert(is_iterator<int*>::value);
   static_assert(is_iterator<std::vector<int>::iterator>::value);
}

http://liveworkspace.org/code/7dcf96c97fd0b7a69f12658fc7b2693e

More Related Contents:

  1. Templated check for the existence of a class member function?
  2. How can I add reflection to a C++ application?
  3. Check if a class has a member function of a given signature
  4. How does `void_t` work
  5. How to detect whether there is a specific member variable in class?
  6. SFINAE working in return type but not as template parameter
  7. What exactly is the “immediate context” mentioned in the C++11 Standard for which SFINAE applies?
  8. What is “Expression SFINAE”?
  9. Metaprograming: Failure of Function Definition Defines a Separate Function
  10. SFINAE to check for inherited member functions
  11. C++ SFINAE examples?
  12. Selecting a member function using different enable_if conditions
  13. Why should I avoid std::enable_if in function signatures
  14. How to write a type trait `is_container` or `is_vector`?
  15. Detecting constexpr with SFINAE
  16. How to detect existence of a class using SFINAE?
  17. check if member exists using enable_if
  18. Template specialization and enable_if problems [duplicate]
  19. SFINAE works differently in cases of type and non-type template parameters
  20. Select class constructor using enable_if
  21. Using SFINAE to check for global operator
  22. using SFINAE for template class specialisation
  23. SFINAE tried with bool gives compiler error: “template argument ‘T::value’ involves template parameter” [duplicate]
  24. How to test whether class B is derived from template family of classes
  25. How do we use void_t for SFINAE?
  26. C++ templates that accept only certain types
  27. Are C++ Templates just Macros in disguise?
  28. How to use sfinae for selecting constructors?
  29. c++ template parameter type inference
  30. Why does the template-id in “A=0” not compile without space because of the greater-or-equal-than operator “>=”?

Leave a Comment