Created on 2019-09-09.00:00:00 last changed 33 months ago
This wording is relative to N4830.
Modify [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.6) — If (a + D(n - 1)) is valid, then (a + n) is equal to
++(a + D(n - 1)).
[ 2019-09-24 Issue Prioritization ]
Status to Tentatively Ready and priority to 0 after six positive votes on the reflector.
See [iterator.concept.random.access]/2.6, which shows ++ being applied to a prvalue iterator.A similar change has already been made to [range.iota.view]/4.6. Suggest priority P0 or P1 because it effects the definition of a concept.
|2021-02-25 10:48:01||admin||set||status: wp -> c++20|
|2019-11-19 14:48:30||admin||set||status: voting -> wp|
|2019-10-07 02:48:00||admin||set||status: ready -> voting|
|2019-09-24 19:42:50||admin||set||messages: + msg10670|
|2019-09-24 19:42:50||admin||set||status: new -> ready|
|2019-09-15 12:19:28||admin||set||messages: + msg10625|