tmp/tmpfdtc14mp/{from.md → to.md}
RENAMED
|
@@ -1,9 +1,9 @@
|
|
| 1 |
#### Forward iterators <a id="forward.iterators">[[forward.iterators]]</a>
|
| 2 |
|
| 3 |
-
A class or pointer type `X` meets the
|
| 4 |
-
if
|
| 5 |
|
| 6 |
- `X` meets the *Cpp17InputIterator* requirements [[input.iterators]],
|
| 7 |
- `X` meets the *Cpp17DefaultConstructible* requirements
|
| 8 |
[[utility.arg.requirements]],
|
| 9 |
- if `X` is a mutable iterator, `reference` is a reference to `T`; if
|
|
@@ -19,11 +19,11 @@ the same type.
|
|
| 19 |
|
| 20 |
[*Note 1*: Value-initialized iterators behave as if they refer past the
|
| 21 |
end of the same empty sequence. — *end note*]
|
| 22 |
|
| 23 |
Two dereferenceable iterators `a` and `b` of type `X` offer the
|
| 24 |
-
*multi-pass guarantee* if
|
| 25 |
|
| 26 |
- `a == b` implies `++a == ++b` and
|
| 27 |
- `X` is a pointer type or the expression `(void)++X(a), *a` is
|
| 28 |
equivalent to the expression `*a`.
|
| 29 |
|
|
|
|
| 1 |
#### Forward iterators <a id="forward.iterators">[[forward.iterators]]</a>
|
| 2 |
|
| 3 |
+
A class or pointer type `X` meets the *Cpp17ForwardIterator*
|
| 4 |
+
requirements if
|
| 5 |
|
| 6 |
- `X` meets the *Cpp17InputIterator* requirements [[input.iterators]],
|
| 7 |
- `X` meets the *Cpp17DefaultConstructible* requirements
|
| 8 |
[[utility.arg.requirements]],
|
| 9 |
- if `X` is a mutable iterator, `reference` is a reference to `T`; if
|
|
|
|
| 19 |
|
| 20 |
[*Note 1*: Value-initialized iterators behave as if they refer past the
|
| 21 |
end of the same empty sequence. — *end note*]
|
| 22 |
|
| 23 |
Two dereferenceable iterators `a` and `b` of type `X` offer the
|
| 24 |
+
*multi-pass guarantee* if
|
| 25 |
|
| 26 |
- `a == b` implies `++a == ++b` and
|
| 27 |
- `X` is a pointer type or the expression `(void)++X(a), *a` is
|
| 28 |
equivalent to the expression `*a`.
|
| 29 |
|