Класс или встроенный тип X моделирует концепцию Readable Iterator для типа значения T, если, помимо того, что X является Подлежащим и Копируемым, следующие выражения являются действительными и уважают заявленную семантику. U - тип любого указанного элемента типа T.
Readable Iterator Requirements (in addition to Assignable and Copy Constructible)
Expression
Return Type
Note/Precondition
iterator_traits::value_type
T
Любой нессылочный, не-cv-квалифицированный тип
*a
Преобразуется в T
pre: a является уважительным. Если a==b, то *a
эквивалентно *b.
a>m
U&
pre: pre:(*a.m четко определен. Эквивалент (*a.m.
Статья Readable Iterator Concept раздела может быть полезна для разработчиков на c++ и boost.
