а я не реализую операцию += 


Представь что итератор пользуется несколькими ф-ями из контейнера, для перехода по элементам. Эти ф-ии логично сделать закрытыми, так как клиентам класса не нужно их использовать напрямую, а для этого приходится делать класс другом. Дружба действительно оч. сильная связь, следующая после наследования по силе, но итератор по определению должен быть связан с классом коллекции, так как это всего-лишь вспомогательный класс для доступа к данным коллекции.

Дружба сильнее наследования поскольку она снимает private а наследование (и то, только public) снимает лишь protected.


А вообще чем больше смотрю на твою проблему, тем более она мне напоминает паттерн proxy. А ещё точнее secure proxy. Потому-что все-таки итератор ассоциируется с random access. Если ты запретишь += то я, как юзер, ваще не вникну в чем дело. 

Да! Мне кажется что основной класс похож на storage и ничего не делает кроме того что хранит данные. ИМХО имеет смысл тупо написать:


А уже потом декорировать как хочешь итераторами и всякой фигней. 

ЗЫ. Пока модератора нет, вот ещё кусок кода на обозрение публики.

Даже не хранит, а является посредником, но это не важно. Важно то что элементы storage можно получать только строго по порядку, так как туда записываются только изменения(как в cvs репозитории). Т.е. что-бы вычислить следующий элемент нужно знать предыдущий. 
Методы для вычисления очередного элементы содержит класс - storage? так как только он знает формат их хранения, а итератор их вызывает, и хранит промежуточные данные.
Так что сдесь скорее такая схема

и использовать можно будет так

жаль в языке нельзя ограничить отношение дружбы несколькими нужными ф-ями

Когда это понятия iterator и random access iterator стали означать одно и то же?

Дык выдели этот функционал в отдельный класс и именно с ним дружи, если уж за чистоту борешься...