12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667 |
- <?xml version="1.0" encoding="utf-8" ?>
- <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
- <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
- <head>
- <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
- <meta name="generator" content="Docutils 0.5: http://docutils.sourceforge.net/" />
- <title>Forward Traversal Concept</title>
- <link rel="stylesheet" href="../../../rst.css" type="text/css" />
- </head>
- <body>
- <div class="document" id="forward-traversal-concept">
- <h1 class="title">Forward Traversal Concept</h1>
- <!-- Copyright David Abrahams 2006. Distributed under the Boost -->
- <!-- Software License, Version 1.0. (See accompanying -->
- <!-- file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) -->
- <p>A class or built-in type <tt class="docutils literal"><span class="pre">X</span></tt> models the <em>Forward Traversal</em>
- concept if, in addition to <tt class="docutils literal"><span class="pre">X</span></tt> meeting the requirements of Default
- Constructible and Single Pass Iterator, the following expressions are
- valid and respect the stated semantics.</p>
- <table border="1" class="docutils">
- <colgroup>
- <col width="38%" />
- <col width="34%" />
- <col width="27%" />
- </colgroup>
- <thead valign="bottom">
- <tr><th class="head" colspan="3">Forward Traversal Iterator Requirements (in addition to Default Constructible and Single Pass Iterator)</th>
- </tr>
- <tr><th class="head">Expression</th>
- <th class="head">Return Type</th>
- <th class="head">Assertion/Note</th>
- </tr>
- </thead>
- <tbody valign="top">
- <tr><td><tt class="docutils literal"><span class="pre">X</span> <span class="pre">u;</span></tt></td>
- <td><tt class="docutils literal"><span class="pre">X&</span></tt></td>
- <td>note: <tt class="docutils literal"><span class="pre">u</span></tt> may have a
- singular value.</td>
- </tr>
- <tr><td><tt class="docutils literal"><span class="pre">++r</span></tt></td>
- <td><tt class="docutils literal"><span class="pre">X&</span></tt></td>
- <td><tt class="docutils literal"><span class="pre">r</span> <span class="pre">==</span> <span class="pre">s</span></tt> and <tt class="docutils literal"><span class="pre">r</span></tt> is
- dereferenceable implies
- <tt class="docutils literal"><span class="pre">++r</span> <span class="pre">==</span> <span class="pre">++s.</span></tt></td>
- </tr>
- <tr><td><tt class="docutils literal"><span class="pre">iterator_traits<X>::difference_type</span></tt></td>
- <td>A signed integral type representing
- the distance between iterators</td>
- <td> </td>
- </tr>
- <tr><td><tt class="docutils literal"><span class="pre">iterator_traversal<X>::type</span></tt></td>
- <td>Convertible to
- <tt class="docutils literal"><span class="pre">forward_traversal_tag</span></tt></td>
- <td> </td>
- </tr>
- </tbody>
- </table>
- </div>
- <div class="footer">
- <hr class="footer" />
- <a class="reference external" href="ForwardTraversal.rst">View document source</a>.
- Generated by <a class="reference external" href="http://docutils.sourceforge.net/">Docutils</a> from <a class="reference external" href="http://docutils.sourceforge.net/rst.html">reStructuredText</a> source.
- </div>
- </body>
- </html>
|