tmp/tmpuo9_z9p_/{from.md → to.md}
RENAMED
|
@@ -178,11 +178,14 @@ iterator if
|
|
| 178 |
- the expressions in Table [[tab:iterator.forward.requirements]] are
|
| 179 |
valid and have the indicated semantics, and
|
| 180 |
- objects of type `X` offer the multi-pass guarantee, described below.
|
| 181 |
|
| 182 |
The domain of == for forward iterators is that of iterators over the
|
| 183 |
-
same underlying sequence.
|
|
|
|
|
|
|
|
|
|
| 184 |
|
| 185 |
Two dereferenceable iterators `a` and `b` of type `X` offer the
|
| 186 |
*multi-pass guarantee* if:
|
| 187 |
|
| 188 |
- `a == b` implies `++a == ++b` and
|
|
|
|
| 178 |
- the expressions in Table [[tab:iterator.forward.requirements]] are
|
| 179 |
valid and have the indicated semantics, and
|
| 180 |
- objects of type `X` offer the multi-pass guarantee, described below.
|
| 181 |
|
| 182 |
The domain of == for forward iterators is that of iterators over the
|
| 183 |
+
same underlying sequence. However, value-initialized iterators may be
|
| 184 |
+
compared and shall compare equal to other value-initialized iterators of
|
| 185 |
+
the same type. value initialized iterators behave as if they refer past
|
| 186 |
+
the end of the same empty sequence
|
| 187 |
|
| 188 |
Two dereferenceable iterators `a` and `b` of type `X` offer the
|
| 189 |
*multi-pass guarantee* if:
|
| 190 |
|
| 191 |
- `a == b` implies `++a == ++b` and
|