iota_view<W,Bound>'s sentinel and iterator do no satisfy SizedSentinel when SizedSentinel<Bound,I> is satisfied

Question

iota_view<W,Bound>'s sentinel and iterator do no satisfy SizedSentinel when SizedSentinel<Bound,I> is satisfied

ericniebler opened this issue 6 years ago · 2 comments

Perhaps define something like a differenceable concept -- or just used SizedSentinel directly -- and use it to define an operator- friend function in class iota_view::sentinel.

Answer 1 · 2019-09-20T07:42:27.000Z

Fixed by p1522.

Answer 2 · 2021-10-01T04:25:32.000Z

Currently operator-s for iterator/sentinel types of iota_view<I1, I2>, where I1 and I2 are different integer types, are not enabled.
Should we also enable these operator-s to improve consistency with iota_view::size?

I've tried to submit an LWG issue (LWG3609) for this. What do you think about it?