search

cplusplus / nbballot

Handling of NB comments in response to ballots
14 stars 4 forks source link

US304 24.07.6.2 Interaction between begin and size on input ranges LWG 3286 #300

Closed wg21bot closed 4 years ago

wg21bot commented 5 years ago

24.07.6.2 24.5.3.1/p6

On an input (but not forward) range, begin(rng) is not required to be an equality-preserving expression (24.4.2 [range.range]/3.3). If the range is also sized, then it is not valid to call size(rng) after begin(rng) (24.4.3 [range.sized]/2.2). In several places in the ranges clause, this precondition is violated. A trivial re-expression of the effects clause fixes the problem.

Proposed change: Adopt the proposed resolution in https://cplusplus.github.io/LWG/issue3286

jwakely commented 5 years ago

Reviewed by LWG small group on Monday morning.

JeffGarland commented 5 years ago

Issue is Tentatively Ready as of 2019-10-14 based on reflector prioritization.