25
Iterators library
[iterators]
25.3
Iterator requirements
[iterator.requirements]
25.3.5
C++17 iterator requirements
[iterator.cpp17]
25.3.5.4
Output iterators
[output.iterators]
Table 88:
Cpp17OutputIterator
requirements (in addition to
Cpp17Iterator
)
[tab:outputiterator]
🔗
Expression
Return type
Operational
Assertion/note
🔗
semantics
pre-/post-condition
🔗
*
r
=
o
result is not used
Remarks
: After this operation
r
is not required to be dereferenceable
.
Postconditions
:
r
is incrementable
.
🔗
+
+
r
X
&
addressof
(
r
)
=
=
addressof
(
+
+
r
)
.
Remarks
: After this operation
r
is not required to be dereferenceable
.
Postconditions
:
r
is incrementable
.
🔗
r
+
+
convertible to
const
X
&
{
X tmp
=
r;
+
+
r;
return
tmp;
}
Remarks
: After this operation
r
is not required to be dereferenceable
.
Postconditions
:
r
is incrementable
.
🔗
*
r
+
+
=
o
result is not used
Remarks
: After this operation
r
is not required to be dereferenceable
.
Postconditions
:
r
is incrementable
.