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

AMDG On 01/25/2015 03:24 PM, Marco Guazzone wrote:

On Sun, Jan 25, 2015 at 7:43 PM, Steven Watanabe 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