Класс или встроенный типXмоделирует концепциюIncrementable Iterator, если, в дополнение кX, будучи Assignable и Copy Constructible, следующие выражения действительны и уважают заявленную семантику.
Incrementable Iterator Requirements (in addition to Assignable, Copy Constructible)
Expression
Return Type
Assertion/Semantics
++r
X&
&r==&++r
r++
X
<
{
X tmp = r;
++r;
return tmp;
}
>
iterator_traversal::type
Конвертируемый вincrementable_traversal_tag
Статья Incrementable Iterator Concept раздела может быть полезна для разработчиков на c++ и boost.