This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of WP status.
Section: 220.127.116.11 [iterator.concept.random.access] Status: WP Submitter: Eric Niebler Opened: 2019-09-10 Last modified: 2020-09-06
View all other issues in [iterator.concept.random.access].
View all issues with WP status.
18.104.22.168 [iterator.concept.random.access]/p2.7 says:
(b += -n) is equal to a
Unary minus can do integer promotion. That is not the intent here.
[2019-10-12 Issue Prioritization]
Status to Tentatively Ready and priority to 0 after five positive votes on the reflector.
This wording is relative to N4830.
Modify 22.214.171.124 [iterator.concept.random.access] as indicated:
-2- Let a and b be valid iterators of type I such that b is reachable from a after n applications of ++a, let D be iter_difference_t<I>, and let n denote a value of type D. I models random_access_iterator only if:
(2.1) — (a += n) is equal to b.
(2.7) — (b += -n) is equal to a.