tmp/tmpkh24rgkp/{from.md → to.md}
RENAMED
|
@@ -1,18 +1,17 @@
|
|
| 1 |
-
### Forward iterators <a id="forward.iterators">[[forward.iterators]]</a>
|
| 2 |
|
| 3 |
-
A class or pointer type `X`
|
| 4 |
-
|
| 5 |
|
| 6 |
-
- `X`
|
| 7 |
-
|
| 8 |
-
|
| 9 |
-
[[utility.arg.requirements]]),
|
| 10 |
- if `X` is a mutable iterator, `reference` is a reference to `T`; if
|
| 11 |
`X` is a constant iterator, `reference` is a reference to `const T`,
|
| 12 |
-
- the expressions in
|
| 13 |
-
|
| 14 |
- objects of type `X` offer the multi-pass guarantee, described below.
|
| 15 |
|
| 16 |
The domain of `==` for forward iterators is that of iterators over the
|
| 17 |
same underlying sequence. However, value-initialized iterators may be
|
| 18 |
compared and shall compare equal to other value-initialized iterators of
|
|
|
|
| 1 |
+
#### Forward iterators <a id="forward.iterators">[[forward.iterators]]</a>
|
| 2 |
|
| 3 |
+
A class or pointer type `X` meets the requirements of a forward iterator
|
| 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
|
| 10 |
`X` is a constant iterator, `reference` is a reference to `const T`,
|
| 11 |
+
- the expressions in [[forwarditerator]] are valid and have the
|
| 12 |
+
indicated semantics, and
|
| 13 |
- objects of type `X` offer the multi-pass guarantee, described below.
|
| 14 |
|
| 15 |
The domain of `==` for forward iterators is that of iterators over the
|
| 16 |
same underlying sequence. However, value-initialized iterators may be
|
| 17 |
compared and shall compare equal to other value-initialized iterators of
|