tmp/tmpklo8cwc7/{from.md → to.md}
RENAMED
|
@@ -20,8 +20,12 @@ non-dereferenceable iterator of type `I` such that `b` is reachable from
|
|
| 20 |
`a` and `c` is reachable from `b`, and let `D` be
|
| 21 |
`iter_difference_t<I>`. The type `I` models `contiguous_iterator` only
|
| 22 |
if
|
| 23 |
|
| 24 |
- `to_address(a) == addressof(*a)`,
|
| 25 |
-
- `to_address(b) == to_address(a) + D(b - a)`,
|
| 26 |
-
- `to_address(c) == to_address(a) + D(c - a)`
|
|
|
|
|
|
|
|
|
|
|
|
|
| 27 |
|
|
|
|
| 20 |
`a` and `c` is reachable from `b`, and let `D` be
|
| 21 |
`iter_difference_t<I>`. The type `I` models `contiguous_iterator` only
|
| 22 |
if
|
| 23 |
|
| 24 |
- `to_address(a) == addressof(*a)`,
|
| 25 |
+
- `to_address(b) == to_address(a) + D(b - a)`,
|
| 26 |
+
- `to_address(c) == to_address(a) + D(c - a)`,
|
| 27 |
+
- `ranges::iter_move(a)` has the same type, value category, and effects
|
| 28 |
+
as `std::move(*a)`, and
|
| 29 |
+
- if `ranges::iter_swap(a, b)` is well-formed, it has effects equivalent
|
| 30 |
+
to `ranges::swap(*a, *b)`.
|
| 31 |
|