Boost C++ Libraries: Ticket #5014: stride doesn't end iteration properly

Neil Groves — Thu, 23 Dec 2010 00:17:57 GMT

The requirement for the strided adaptor were overly severe. It required boost::size(rng) % stride_size == 0.

I have modified the implementation of boost::size(rng) to enable modification of the strided_range constructors. This means that the strided_size no longer needs to be <= boost::size(rng), and that rng may now be a model of the SinglePassRangeConcept or better if the expression boost::size(rng) is also valid.

This has been committed to the trunk. The regression tests shall be monitored before merging to the release branch.

status, milestone changed; resolution set

Neil Groves — Thu, 23 Dec 2010 08:40:02 GMT

status new → closed
resolution → fixed
milestone To Be Determined → Boost 1.46.0

Resolved and passing regression tests.

status changed; resolution deleted

mimomorin@… — Fri, 24 Dec 2010 02:14:30 GMT

status closed → reopened
resolution fixed

The above code still prints "0 4 8 12 16 20 24" instead of "0 4 8 12 16 20 24 28". This is because, when constructing strided_range, the end iterator of an input range should advance forward rather than backward. The regression test (libs/range/test/adaptor_test/strided.cpp) passes because a similar thing happens when populating reference in strided_test_impl.

Please see: http://article.gmane.org/gmane.comp.lib.boost.devel/211975 (The codes in the mail assumes stride is greater than zero...)

status changed; resolution set

Neil Groves — Fri, 24 Dec 2010 15:07:06 GMT

status reopened → closed
resolution → fixed

I confirm that I made a design error yesterday while making the change to the strided adaptor. The code I committed yesterday did not support ForwardRange or SinglePassRange concepts. Additionally it did not perform as we wanted. It was setting the last iterator in the range to be the last valid iterator on a stride boundary.

To correct this I have added offset and max_offset information into the strided_iterator. This is required so that we can use the offset to go past the end of the range while avoiding advancing the underlying iterator beyond valid values. This change additionally corrects a defect with interoperability of strided iterators.

mimomorin@… — Tue, 11 Jan 2011 06:42:00 GMT

At line 12 of libs/range/test/adaptor_test/strided.cpp, could you change "Michel Morin" to "Maxim Yanchenko"? I believe Maxim should be credited there. Sorry for bothering you and thanks in advance.

Michel Morin — Thu, 20 Aug 2015 11:47:51 GMT

At line 12 of libs/range/test/adaptor_test/strided.cpp, could you change "Michel Morin" to "Maxim Yanchenko"?

I just made a PR on github.