Thorsten Ottosen <thorsten.ottosen@dezide.com> writes:
David Abrahams wrote:
Thorsten Ottosen <thorsten.ottosen@dezide.com> writes:
I think counting_iterator is not a valid random access iterator because operator[]() does not yield a reference.
That is not a requirement of random access iterator.
Reading the working draft from n2009, table 93 states that
a[n] should be convertible to const T&.
Yes. That does not require it to yield a reference.
Counting iterator should define its reference-type to be the type it returns from operator[]() (even though it is not a reference). Then I think it would work.
Do the authors of the iterator lib agree?
No. There are good reasons that it works the way it does.
So there is no way to infer the the type of oprerator[]() until we get decltype?
Or concept support; either would do. -- Dave Abrahams Boost Consulting www.boost-consulting.com