Boost logo

Boost :

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

Boost list run by bdawes at, gregod at, cpdaniel at, john at