Opened 3 years ago

#11297 new Bugs

adaptors: Documentation for sliced reports the wrong precondition

Reported by: Frederik Aalund <frederikaalund@…> Owned by: Neil Groves
Milestone: To Be Determined Component: range
Version: Boost 1.58.0 Severity: Problem
Keywords: Cc:


Currently, the precondition for the sliced adaptor is

Precondition: 0 <= n && n <= m && m < distance(rng).

It should instead be

Precondition: 0 <= n && n <= m && m <= distance(rng).

Notice the <= instead of <.

The page in question is

Nitpicky: Maybe a better upper bound would be m <= size(rng) since boost::size returns a range_size<rng>::type which is the type of n and m (the parameters given to adaptors::sliced). Contrast this to boost::distance which returns a range_difference<rng>::type.

Attachments (0)

Change History (0)

Modify Ticket

Change Properties
Set your email in Preferences
as new The owner will remain Neil Groves.

Add Comment

E-mail address and name can be saved in the Preferences.

Note: See TracTickets for help on using tickets.