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

From: David Abrahams (dave_at_[hidden])
Date: 2004-08-23 17:48:04

"Pavel Kuznetsov" <pavel_at_[hidden]> 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