Класс или встроенный типXмоделирует концепциюWritable Iterator, если в дополнение кXявляется копией Конструктивные, следующие выражения действительны и уважают заявленную семантику. Итераторы имеют ассоциированныйнабор типов значений.
Writable Iterator Requirements (in addition to Copy Constructible)
Expression
Return Type
Precondition
*a=o
Типoнаходится в наборе типов значенийX
Статья Writable Iterator Concept раздела может быть полезна для разработчиков на c++ и boost.