Универсальный итератор

[__Heaven__]

2) Для универсальности можно было бы сделать его Random Access итератором..

Не совсем понятно, что должно быть реализовано для
X a;
b = a; (ну, тут наверное, просто копировать все поля)
a == b
a != b
a < b
a > b
a <= b
a >= b
Также не понятно, как должны выполняться операции типа a += n. Операторами ++ приходить к результату получается?

[m_ax]

Не совсем понятно, что должно быть реализовано для

Ну помимо перечисленного должно быть и operator+=(size_t n) и operator-=(size_t n).

Операторами ++ приходить к результату получается?

Нет, для тех контейнеров, которые random access использовать их средства, адя тех которые не поддерживают это, то да, остаётся ++)
Но это уже всё есть в стандартной библиотеке http://en.cppreference.com/w/cpp/iterator. В частности есть специализации таких функций как
advance
distance
next
prev
Они умеют работать и с C масивами и с обычными контейнерами.

Я не совсем понимаю, как вы ваш универсальный итератор будет работать с стандартными алгоритмами? Например с std::sort? 

[__Heaven__]

Под словом универсальность я больше подразумевал то, что этот шаблон позволяет пробежаться по элементам любого контейнера. А так да, его не применишь его к алгоритмам. С названием темы я всё-таки ошибся.
Про operator+=(size_t n) более менее понятно. Вроде как должно появиться в классе поле current_, которое будет смещаться.

[__Heaven__]

Хотя, можно прикрутить методы begin(), end() и подавать в sort. Вроде

[m_ax]

Под словом универсальность я больше подразумевал то, что этот шаблон позволяет пробежаться по элементам любого контейнера.

За исключением C массивов)

Вроде как должно появиться в классе поле current_, которое будет смещаться.

Нет, не надо никакого доп. поля, просто:

Код

C++ (Qt)
operator+=(size_t n)
{
     return std::advance(current_, n);
}
 

Причём, advance знает к какой категории (std::iterator_traits<decltype(begin_)>::iterator_category) относитчя begin_ и будет подсовывать свою соответствующую специализацию.

Кстатии, с вашим итератором std::iterator_traits работать не сможет.. Поэтому я и писал выше, что для stl совместимости лучше наследоваться от std::iterator.

[__Heaven__]

Спасибо. Посижу ещё почитаю