[boost] Re: boost::dereferenceable<>::operator->() problem

"Pavel Kuznetsov" <pavel@despammed.com> writes:

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->()?

I'd be happy to evaluate your patch containing an assert. -- Dave Abrahams Boost Consulting http://www.boost-consulting.com