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 14<!-- Copyright David Abrahams 2006. Distributed under the Boost --> 15<!-- Software License, Version 1.0. (See accompanying --> 16<!-- file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) --> 17<p>A class or built-in type <tt class="docutils literal"><span class="pre">X</span></tt> models the <em>Single Pass Iterator</em> 18concept if the following expressions are valid and respect the stated 19semantics.</p> 20<table border="1" class="docutils"> 21<colgroup> 22<col width="36%" /> 23<col width="33%" /> 24<col width="31%" /> 25</colgroup> 26<thead valign="bottom"> 27<tr><th class="head" colspan="3">Single Pass Iterator Requirements (in addition to Incrementable Iterator and Equality 28Comparable)</th> 29</tr> 30<tr><th class="head">Expression</th> 31<th class="head">Return Type</th> 32<th class="head">Assertion/Semantics / 33Pre-/Post-condition</th> 34</tr> 35</thead> 36<tbody valign="top"> 37<tr><td><tt class="docutils literal"><span class="pre">++r</span></tt></td> 38<td><tt class="docutils literal"><span class="pre">X&</span></tt></td> 39<td>pre: <tt class="docutils literal"><span class="pre">r</span></tt> is 40dereferenceable; post: 41<tt class="docutils literal"><span class="pre">r</span></tt> is dereferenceable or 42<tt class="docutils literal"><span class="pre">r</span></tt> is past-the-end</td> 43</tr> 44<tr><td><tt class="docutils literal"><span class="pre">a</span> <span class="pre">==</span> <span class="pre">b</span></tt></td> 45<td>convertible to <tt class="docutils literal"><span class="pre">bool</span></tt></td> 46<td><tt class="docutils literal"><span class="pre">==</span></tt> is an equivalence 47relation over its domain</td> 48</tr> 49<tr><td><tt class="docutils literal"><span class="pre">a</span> <span class="pre">!=</span> <span class="pre">b</span></tt></td> 50<td>convertible to <tt class="docutils literal"><span class="pre">bool</span></tt></td> 51<td><tt class="docutils literal"><span class="pre">!(a</span> <span class="pre">==</span> <span class="pre">b)</span></tt></td> 52</tr> 53<tr><td><tt class="docutils literal"><span class="pre">iterator_traversal<X>::type</span></tt></td> 54<td>Convertible to 55<tt class="docutils literal"><span class="pre">single_pass_traversal_tag</span></tt></td> 56<td> </td> 57</tr> 58</tbody> 59</table> 60</div> 61<div class="footer"> 62<hr class="footer" /> 63<a class="reference external" href="SinglePassIterator.rst">View document source</a>. 64Generated 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. 65 66</div> 67</body> 68</html> 69