Re: [Boost-users] [type_erasure] Problem with iterators

Subject: Re: [Boost-users] [type_erasure] Problem with iterators
From: Steven Watanabe (watanabesj_at_[hidden])
Date: 2015-01-28 16:21:04

AMDG

On 01/25/2015 03:24 PM, Marco Guazzone wrote:
> On Sun, Jan 25, 2015 at 7:43 PM, Steven Watanabe <watanabesj_at_[hidden]> wrote:
>> 
>> You still need same_type<_t, T>.  (Yes, I realize
>> the interface for forward_iterator isn't the best.
>> same_type<_t, xxx::value_type> shouldn't be necessary,
>> at the very least.)
>>
> 
> So, there is no way to make it work, is it?
> 
> I've tried many combinations of params, but none of them seems to work.
> 
> If someone ends up with a working solution, I would be very grateful
> if (s)he shares it with us :)
> 

I think you need two uses of same_type to make
it work.  _t, T, and ...::value_type all need
to be the same.  If all else fails, the iterator
concepts are just composed of a bunch of operators
with a specialization of concept_interface for
the iterator_traits typedefs.

In Christ,
Steven Watanabe