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

more fixes from Dave

Browse Source 
[SVN r21676]
This commit is contained in:
Jeremy Siek
2004-01-13 14:10:54 +00:00
parent 4e1b53ed36
commit 527b5e3caa
3 changed files with 39 additions and 30 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
doc/counting_iterator_ref.rst
View File

@ -32,21 +32,20 @@ type. Otherwise ``difference_type`` is ``Difference``.
If ``CategoryOrTraversal`` is not ``use_default`` then the member
``iterator_category`` is ``CategoryOrTraversal``. Otherwise, if
``Incrementable`` is a numberic type ``iterator_category`` is a
type convertible to ``random_access_iterator_tag``. Otherwise,
``iterator_category`` is unspecified, and the ``counting_iterator``
specialization models the same iterator traversal concepts modeled
by ``Incrementable``.
``numeric_limits<Incrementable>::is_specialized``, then
``iterator_category`` is a type convertible to
``random_access_iterator_tag``. Otherwise, ``iterator_category`` is
unspecified, and the ``counting_iterator`` specialization models the
same iterator traversal concepts modeled by ``Incrementable``.
[*Note:* implementers are encouraged to provide an implementation of
``operator-`` and a ``difference_type`` that avoid overflows in
``operator-`` and a ``difference_type`` that avoids overflows in
the cases when the ``Incrementable`` type is a numeric type.]
``counting_iterator`` requirements
..................................
``Incrementable`` must be Default Constructible, Copy
Constructible, and Assignable.
The ``Incrementable`` argument shall be Copy Constructible and Assignable.
If ``iterator_category`` is convertible to ``forward_iterator_tag``
or ``forward_traversal_tag``, the following must be well-formed::
@ -76,7 +75,9 @@ the following must must also be valid::
Specializations of ``counting_iterator`` model Readable Lvalue
Iterator. In addition, they model the concepts corresponding to the
iterator tags to which their ``iterator_category`` is convertible.
iterator tags to which their ``iterator_category`` is convertible and
also corresponding to ``CategoryOrTraversal`` when
``CategoryOrTraversal`` is an iterator tag (and not ``use_default``).
``counting_iterator`` operations
@ -89,6 +90,7 @@ operations.
``counting_iterator();``
:Requires: ``Incrementable`` is Default Constructible.
:Effects: Default construct the member ``m_inc``.