
23 Aug
2004
23 Aug
'04
9:54 p.m.
David Abrahams:
A standard-conforming random access iterator must return value_type& from its operator*.
Yes, I know that. It does not relevant here, since boost::input_iterator_helper uses the same boost::dereferenceable implementation, and input iterators are not required to return references, so the problem is still there...
I don't think we should pump up these old helper templates any more. Can you say "iterator_facade?"
Ok, I got your point. But maybe then it might be a good idea to add some kind of compile-time assert to boost::dereferenceable<>::operator->()? -- Pavel Kuznetsov MetaCommunications Engineering http://www.meta-comm.com/engineering