boostorg/iterator
1
0
Fork 1
mirror of https://github.com/boostorg/iterator.git synced 2025-07-29 04:17:32 +02:00
Code Issues Packages Projects Releases Wiki Activity

change Incrementable Iterator reqs to better match those of Input/Output Iterators

Browse Source 
[SVN r23510]
This commit is contained in:
Jeremy Siek
2004-07-13 19:50:09 +00:00
parent 2721c3c97e
commit f0bc339d55
1 changed files with 22 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

44
doc/new-iter-concepts.rst
View File

@ -433,9 +433,9 @@ iterator.
| | |where *cv* is an optional |
| | |cv-qualification. |
| | |pre: ``a`` is |
| | |dereferenceable. If ``a |
| | |== b`` then ``*a`` is |
| | |equivalent to ``*b``. |
| | |dereferenceable. ``a == b`` if and |
| | |only if ``*a`` is the same object |
| | |as ``*b``. |
+-------------+-----------+-----------------------------------+
@ -458,25 +458,25 @@ Constructible, the following expressions are valid and respect the
stated semantics.
+-------------------------------------------------------------------------------------+
|Incrementable Iterator Requirements (in addition to Assignable, Copy Constructible) |
| |
+--------------------------------+-------------------------------+--------------------+
|Expression |Return Type |Assertion/Semantics |
+================================+===============================+====================+
|``++r`` |``X&`` |``&r == &++r`` |
+--------------------------------+-------------------------------+--------------------+
|``r++`` |``X`` |:: |
| | | |
| | | { |
| | | X tmp = r; |
| | | ++r; |
| | | return tmp; |
| | | } |
+--------------------------------+-------------------------------+--------------------+
|``iterator_traversal<X>::type`` |Convertible to | |
| |``incrementable_traversal_tag``| |
+--------------------------------+-------------------------------+--------------------+
+-----------------------------------------------------------------------------------------------------------+
|Incrementable Iterator Requirements (in addition to Assignable, Copy Constructible) |
| |
+--------------------------------+----------------------------------+---------------------------------------+
|Expression |Return Type |Assertion/Semantics |
+================================+==================================+=======================================+
|``++r`` |``X&`` |``&r == &++r`` |
+--------------------------------+----------------------------------+---------------------------------------+
|``r++`` |if ``X`` is a *Writable Iterator* |if ``X`` is a *Writable Iterator* then |
| |then convertible to ``const X&`` |``X a(r++);`` is equivalent to |
| | |``X a(r); ++r;`` |
+--------------------------------+----------------------------------+---------------------------------------+
|``*r++`` |if ``X`` is a *Readable Iterator* |if ``X`` is a *Readable Iterator* then |
| |then ``T`` |``T z(*r++);`` is equivalent to |
| | |``T z(*r); ++r;`` |
+--------------------------------+----------------------------------+---------------------------------------+
|``iterator_traversal<X>::type`` |Convertible to | |
| |``incrementable_traversal_tag`` | |
+--------------------------------+----------------------------------+---------------------------------------+
.. TR1: incrementable_iterator_tag changed to
incrementable_traversal_tag for consistency.