forked from boostorg/iterator
64 lines
2.7 KiB
HTML
64 lines
2.7 KiB
HTML
|
<?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.3.1: http://docutils.sourceforge.net/" />
|
||
|
|
<title>Single Pass Iterator Concept</title>
|
||
|
|
<link rel="stylesheet" href="default.css" type="text/css" />
|
||
|
|
</head>
|
||
|
|
<body>
|
||
|
|
<div class="document" id="single-pass-iterator-concept">
|
||
|
|
<h1 class="title">Single Pass Iterator Concept</h1>
|
||
|
|
<p>A class or built-in type <tt class="literal"><span class="pre">X</span></tt> models the <em>Single Pass Iterator</em>
|
||
|
|
concept if the following expressions are valid and respect the stated
|
||
|
|
semantics.</p>
|
||
|
|
<table border class="table">
|
||
|
|
<colgroup>
|
||
|
|
<col width="36%" />
|
||
|
|
<col width="33%" />
|
||
|
|
<col width="31%" />
|
||
|
|
</colgroup>
|
||
|
|
<thead valign="bottom">
|
||
|
|
<tr><th colspan="3">Single Pass Iterator Requirements (in addition to Incrementable Iterator and Equality
|
||
|
|
Comparable)</th>
|
||
|
|
</tr>
|
||
|
|
<tr><th>Expression</th>
|
||
|
|
<th>Return Type</th>
|
||
|
|
<th>Assertion/Semantics /
|
||
|
|
Pre-/Post-condition</th>
|
||
|
|
</tr>
|
||
|
|
</thead>
|
||
|
|
<tbody valign="top">
|
||
|
|
<tr><td><tt class="literal"><span class="pre">++r</span></tt></td>
|
||
|
|
<td><tt class="literal"><span class="pre">X&</span></tt></td>
|
||
|
|
<td>pre: <tt class="literal"><span class="pre">r</span></tt> is
|
||
|
|
dereferenceable; post:
|
||
|
|
<tt class="literal"><span class="pre">r</span></tt> is dereferenceable or
|
||
|
|
<tt class="literal"><span class="pre">r</span></tt> is past-the-end</td>
|
||
|
|
</tr>
|
||
|
|
<tr><td><tt class="literal"><span class="pre">a</span> <span class="pre">==</span> <span class="pre">b</span></tt></td>
|
||
|
|
<td>convertible to <tt class="literal"><span class="pre">bool</span></tt></td>
|
||
|
|
<td><tt class="literal"><span class="pre">==</span></tt> is an equivalence
|
||
|
|
relation over its domain</td>
|
||
|
|
</tr>
|
||
|
|
<tr><td><tt class="literal"><span class="pre">a</span> <span class="pre">!=</span> <span class="pre">b</span></tt></td>
|
||
|
|
<td>convertible to <tt class="literal"><span class="pre">bool</span></tt></td>
|
||
|
|
<td><tt class="literal"><span class="pre">!(a</span> <span class="pre">==</span> <span class="pre">b)</span></tt></td>
|
||
|
|
</tr>
|
||
|
|
<tr><td><tt class="literal"><span class="pre">iterator_traversal<X>::type</span></tt></td>
|
||
|
|
<td>Convertible to
|
||
|
|
<tt class="literal"><span class="pre">single_pass_traversal_tag</span></tt></td>
|
||
|
|
<td> </td>
|
||
|
|
</tr>
|
||
|
|
</tbody>
|
||
|
|
</table>
|
||
|
|
</div>
|
||
|
|
<hr class="footer" />
|
||
|
|
<div class="footer">
|
||
|
|
<a class="reference" href="SinglePassIterator.rst">View document source</a>.
|
||
|
|
Generated by <a class="reference" href="http://docutils.sourceforge.net/">Docutils</a> from <a class="reference" href="http://docutils.sourceforge.net/rst.html">reStructuredText</a> source.
|
||
|
|
</div>
|
||
|
|
</body>
|
||
|
|
</html>
|