tmp/tmpgi67m00g/{from.md → to.md}
RENAMED
|
@@ -12,11 +12,14 @@ iterator if
|
|
| 12 |
- the expressions in Table [[tab:iterator.forward.requirements]] are
|
| 13 |
valid and have the indicated semantics, and
|
| 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.
|
|
|
|
|
|
|
|
|
|
| 18 |
|
| 19 |
Two dereferenceable iterators `a` and `b` of type `X` offer the
|
| 20 |
*multi-pass guarantee* if:
|
| 21 |
|
| 22 |
- `a == b` implies `++a == ++b` and
|
|
|
|
| 12 |
- the expressions in Table [[tab:iterator.forward.requirements]] are
|
| 13 |
valid and have the indicated semantics, and
|
| 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
|
| 19 |
+
the same type. value initialized iterators behave as if they refer past
|
| 20 |
+
the end of the same empty sequence
|
| 21 |
|
| 22 |
Two dereferenceable iterators `a` and `b` of type `X` offer the
|
| 23 |
*multi-pass guarantee* if:
|
| 24 |
|
| 25 |
- `a == b` implies `++a == ++b` and
|