3716. §[iterator.concept.forward][forward.iterators] Two different definitions of multi-pass guarantee

Section: 25.3.4.11 [iterator.concept.forward], 25.3.5.5 [forward.iterators] Status: New Submitter: Jiang An Opened: 2022-06-15 Last modified: 2022-07-06 16:27:07 UTC

Priority: 3

View all issues with New status.

Discussion:

There are two different definitions of multi-pass guarantee since P0896R4. The old one (perhaps introduced by N3066) seems less reasonable because it requires increment on rvalue iterators of class types, and the semantics of such increment is largely unspecified.

Perhaps only the new definition should be used.

[2022-07-06; Reflector poll]

Set priority to 3 after reflector poll.

Proposed resolution: