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

From: Pavel Kuznetsov (pavel_at_[hidden])
Date: 2004-08-23 16:54:48

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