Как определить черту типа is_iterator?

Как я сказал в комментариях, представленные здесь решения полагаются на непереносимые свойства iterators_traits в некоторых реализациях. В соответствии со стандартами C++03 и C++11, iterator_traits определено только для итераторов (и особого случая указателей), поэтому любое другое использование является поведением undefined. В частности, использование iterator_traits<T>::pointer в контексте SFINAE не гарантирует работу, потому что создание экземпляра iterator_traits<T> будет ссылаться на T::value_type, T::pointer, T::iterator_category и т. д., а это происходит вне «непосредственного контекста», к которому SFINAE не применяется.

C++14 исправит это должен был это исправить (это произошло после C++14 с DR 2408), но для C++11 безопасный способ определить is_iterator — написать трейт, который проверяет все необходимые операции, которые должен определить итератор. Единственные операции, которые должны поддерживать все итераторы, — это operator*, а также пре- и пост-инкремент. К сожалению, могут быть типы, определяющие те операции, которые не являются допустимыми итераторами, поэтому написать правильный трейт довольно сложно.

Ваша проверка завершается ошибкой, если std::iterator_traits<T>::pointer не является указателем, например, если T = std::ostream_iterator<U>.

Я думаю, что лучше проверить, является ли std::iterator_traits<T>::iterator_category либо std::input_iterator_tag, либо производным типом, либо std::output_iterator_tag.

template <class, class Enable = void> struct is_iterator : std::false_type {};
template <typename T> 
struct is_iterator
<T, 
 typename std::enable_if<
    std::is_base_of<std::input_iterator_tag, typename std::iterator_traits<T>::iterator_category>::value ||
    std::is_same<std::output_iterator_tag, typename std::iterator_traits<T>::iterator_category>::value 
 >::type> 
 : std::true_type {};

Я думаю, что нет необходимости проверять какое-либо конкретное свойство вложенных определений типов iterator_traits. Достаточно просто проверить наличие iterator_traits<T>::value_type (или любого другого вложенного typedef, если уж на то пошло), потому что он есть у каждого итератора.

#include <type_traits>
#include <iostream>
#include <iterator>

template<typename>
struct void_ {
  typedef void type;
};
// remove typename spam below:
template<typename Discard>
using void_t=typename void_<Discard>::type;
template<typename T>
using decay_t=typename std::decay<T>::type;    

// stick helper types into details, so the interface
// for is_iterator is cleaner:
namespace details {
  template<typename T, typename Enable=void>
  sturct is_iterator : is_iterator2<T, Enable> {};

  // special case: void* is not an iterator
  // but T* specialization would pick it up
  // if there weren't the following:

  template<typename V>
  struct is_iterator<V*, decay_t<V>> : std::false_type {};

  // phase 2: SFINAE pass to std::iterator_traits test
  // valid in C++14, and in many C++11 compilers, except
  // for above void issue:
  template<typename, typename Enable = void>
  struct is_iterator2 : std::false_type {};

  template<typename T>
  struct is_iterator2<T, 
    void_t< typename std::iterator_traits<T>::value_type>
  > : std::true_type {};
}
template<typename T>
struct is_iterator : details::is_iterator<T> {};

int main()
{
    std::cout
        << is_iterator<int*>::value
        << is_iterator<double>::value;
}

К сожалению, это не гарантирует работу в С++ 11, но С++ 14 это исправит (спасибо Jonathan Wakely за указание на это).