SinglePassIterator.html 3.2 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768
  1. <?xml version="1.0" encoding="utf-8" ?>
  2. <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
  3. <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
  4. <head>
  5. <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
  6. <meta name="generator" content="Docutils 0.5: http://docutils.sourceforge.net/" />
  7. <title>Single Pass Iterator Concept</title>
  8. <link rel="stylesheet" href="../../../rst.css" type="text/css" />
  9. </head>
  10. <body>
  11. <div class="document" id="single-pass-iterator-concept">
  12. <h1 class="title">Single Pass Iterator Concept</h1>
  13. <!-- Copyright David Abrahams 2006. Distributed under the Boost -->
  14. <!-- Software License, Version 1.0. (See accompanying -->
  15. <!-- file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) -->
  16. <p>A class or built-in type <tt class="docutils literal"><span class="pre">X</span></tt> models the <em>Single Pass Iterator</em>
  17. concept if the following expressions are valid and respect the stated
  18. semantics.</p>
  19. <table border="1" class="docutils">
  20. <colgroup>
  21. <col width="36%" />
  22. <col width="33%" />
  23. <col width="31%" />
  24. </colgroup>
  25. <thead valign="bottom">
  26. <tr><th class="head" colspan="3">Single Pass Iterator Requirements (in addition to Incrementable Iterator and Equality
  27. Comparable)</th>
  28. </tr>
  29. <tr><th class="head">Expression</th>
  30. <th class="head">Return Type</th>
  31. <th class="head">Assertion/Semantics /
  32. Pre-/Post-condition</th>
  33. </tr>
  34. </thead>
  35. <tbody valign="top">
  36. <tr><td><tt class="docutils literal"><span class="pre">++r</span></tt></td>
  37. <td><tt class="docutils literal"><span class="pre">X&amp;</span></tt></td>
  38. <td>pre: <tt class="docutils literal"><span class="pre">r</span></tt> is
  39. dereferenceable; post:
  40. <tt class="docutils literal"><span class="pre">r</span></tt> is dereferenceable or
  41. <tt class="docutils literal"><span class="pre">r</span></tt> is past-the-end</td>
  42. </tr>
  43. <tr><td><tt class="docutils literal"><span class="pre">a</span> <span class="pre">==</span> <span class="pre">b</span></tt></td>
  44. <td>convertible to <tt class="docutils literal"><span class="pre">bool</span></tt></td>
  45. <td><tt class="docutils literal"><span class="pre">==</span></tt> is an equivalence
  46. relation over its domain</td>
  47. </tr>
  48. <tr><td><tt class="docutils literal"><span class="pre">a</span> <span class="pre">!=</span> <span class="pre">b</span></tt></td>
  49. <td>convertible to <tt class="docutils literal"><span class="pre">bool</span></tt></td>
  50. <td><tt class="docutils literal"><span class="pre">!(a</span> <span class="pre">==</span> <span class="pre">b)</span></tt></td>
  51. </tr>
  52. <tr><td><tt class="docutils literal"><span class="pre">iterator_traversal&lt;X&gt;::type</span></tt></td>
  53. <td>Convertible to
  54. <tt class="docutils literal"><span class="pre">single_pass_traversal_tag</span></tt></td>
  55. <td>&nbsp;</td>
  56. </tr>
  57. </tbody>
  58. </table>
  59. </div>
  60. <div class="footer">
  61. <hr class="footer" />
  62. <a class="reference external" href="SinglePassIterator.rst">View document source</a>.
  63. 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.
  64. </div>
  65. </body>
  66. </html>