| <html> |
| <head> |
| <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII"> |
| <title>Predefined Concepts</title> |
| <link rel="stylesheet" href="../../../doc/src/boostbook.css" type="text/css"> |
| <meta name="generator" content="DocBook XSL Stylesheets V1.78.1"> |
| <link rel="home" href="../index.html" title="The Boost C++ Libraries BoostBook Documentation Subset"> |
| <link rel="up" href="../boost_typeerasure.html" title="Chapter 33. Boost.TypeErasure"> |
| <link rel="prev" href="conceptdef.html" title="Concept Definitions"> |
| <link rel="next" href="reference.html" title="Reference"> |
| </head> |
| <body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF"> |
| <table cellpadding="2" width="100%"><tr> |
| <td valign="top"><img alt="Boost C++ Libraries" width="277" height="86" src="../../../boost.png"></td> |
| <td align="center"><a href="../../../index.html">Home</a></td> |
| <td align="center"><a href="../../../libs/libraries.htm">Libraries</a></td> |
| <td align="center"><a href="http://www.boost.org/users/people.html">People</a></td> |
| <td align="center"><a href="http://www.boost.org/users/faq.html">FAQ</a></td> |
| <td align="center"><a href="../../../more/index.htm">More</a></td> |
| </tr></table> |
| <hr> |
| <div class="spirit-nav"> |
| <a accesskey="p" href="conceptdef.html"><img src="../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../boost_typeerasure.html"><img src="../../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="../index.html"><img src="../../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="reference.html"><img src="../../../doc/src/images/next.png" alt="Next"></a> |
| </div> |
| <div class="section"> |
| <div class="titlepage"><div><div><h2 class="title" style="clear: both"> |
| <a name="boost_typeerasure.predef"></a><a class="link" href="predef.html" title="Predefined Concepts">Predefined Concepts</a> |
| </h2></div></div></div> |
| <p> |
| In the following tables, <code class="computeroutput"><span class="identifier">T</span></code> |
| and <code class="computeroutput"><span class="identifier">U</span></code> are the types that the |
| operation applies to, <code class="computeroutput"><span class="identifier">R</span></code> is |
| the result type. <code class="computeroutput"><span class="identifier">T</span></code> always defaults |
| to <code class="computeroutput"><span class="identifier">_self</span></code> to match the default |
| behavior of any. These concepts assume normal semantics. Thus, comparison operators |
| always return bool, and references will be added to the arguments and results |
| as appropriate. |
| </p> |
| <p> |
| Except as otherwise noted, primitive concepts defined by the library can be |
| specialized to provide concept maps. <code class="computeroutput"><a class="link" href="../boost/type_erasure/copy_constructible.html" title="Struct template copy_constructible">copy_constructible</a></code>, |
| and the iterator concepts cannot be specialized because they are composites. |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/constructible.html" title="Struct template constructible">constructible</a></code>, |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/destructible.html" title="Struct template destructible">destructible</a></code>, |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/typeid_.html" title="Struct template typeid_">typeid_</a></code>, and <code class="computeroutput"><a class="link" href="../boost/type_erasure/same_type.html" title="Struct template same_type">same_type</a></code> cannot be specialized |
| because they require special handling in the library. |
| </p> |
| <div class="table"> |
| <a name="boost_typeerasure.predef.special"></a><p class="title"><b>Table 33.1. Special Members</b></p> |
| <div class="table-contents"><table class="table" summary="Special Members"> |
| <colgroup> |
| <col> |
| <col> |
| </colgroup> |
| <thead><tr> |
| <th> |
| <p> |
| concept |
| </p> |
| </th> |
| <th> |
| <p> |
| notes |
| </p> |
| </th> |
| </tr></thead> |
| <tbody> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/constructible.html" title="Struct template constructible">constructible</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">Sig</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/copy_constructible.html" title="Struct template copy_constructible">copy_constructible</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/destructible.html" title="Struct template destructible">destructible</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/assignable.html" title="Struct template assignable">assignable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/typeid_.html" title="Struct template typeid_">typeid_</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| </tbody> |
| </table></div> |
| </div> |
| <br class="table-break"><div class="table"> |
| <a name="boost_typeerasure.predef.unary"></a><p class="title"><b>Table 33.2. Unary Operators</b></p> |
| <div class="table-contents"><table class="table" summary="Unary Operators"> |
| <colgroup> |
| <col> |
| <col> |
| <col> |
| </colgroup> |
| <thead><tr> |
| <th> |
| <p> |
| operator |
| </p> |
| </th> |
| <th> |
| <p> |
| concept |
| </p> |
| </th> |
| <th> |
| <p> |
| notes |
| </p> |
| </th> |
| </tr></thead> |
| <tbody> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">++</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/incrementable.html" title="Struct template incrementable">incrementable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| There is no separate post-increment |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">--</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/decrementable.html" title="Struct template decrementable">decrementable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| There is no separate post-decrement |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">*</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/dereferenceable.html" title="Struct template dereferenceable">dereferenceable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">R</span><span class="special">,</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="identifier">R</span></code> should usually |
| be a reference |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">~</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/complementable.html" title="Struct template complementable">complementable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">R</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">-</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/negatable.html" title="Struct template negatable">negatable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">R</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| </tbody> |
| </table></div> |
| </div> |
| <br class="table-break"><div class="table"> |
| <a name="boost_typeerasure.predef.binary"></a><p class="title"><b>Table 33.3. Binary Operators</b></p> |
| <div class="table-contents"><table class="table" summary="Binary Operators"> |
| <colgroup> |
| <col> |
| <col> |
| <col> |
| </colgroup> |
| <thead><tr> |
| <th> |
| <p> |
| operator |
| </p> |
| </th> |
| <th> |
| <p> |
| concept |
| </p> |
| </th> |
| <th> |
| <p> |
| notes |
| </p> |
| </th> |
| </tr></thead> |
| <tbody> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">+</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/addable.html" title="Struct template addable">addable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">,</span> <span class="identifier">R</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">-</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/subtractable.html" title="Struct template subtractable">subtractable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">,</span> <span class="identifier">R</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">*</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/multipliable.html" title="Struct template multipliable">multipliable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">,</span> <span class="identifier">R</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">/</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/dividable.html" title="Struct template dividable">dividable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">,</span> <span class="identifier">R</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">%</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/modable.html" title="Struct template modable">modable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">,</span> <span class="identifier">R</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">&</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/bitandable.html" title="Struct template bitandable">bitandable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">,</span> <span class="identifier">R</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">|</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/bitorable.html" title="Struct template bitorable">bitorable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">,</span> <span class="identifier">R</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">^</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/bitxorable.html" title="Struct template bitxorable">bitxorable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">,</span> <span class="identifier">R</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special"><<</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/left_shiftable.html" title="Struct template left_shiftable">left_shiftable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">,</span> <span class="identifier">R</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">>></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/right_shiftable.html" title="Struct template right_shiftable">right_shiftable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">,</span> <span class="identifier">R</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">==</span></code> |
| and <code class="computeroutput"><span class="special">!=</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/equality_comparable.html" title="Struct template equality_comparable">equality_comparable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="special">!=</span></code> is implemented in |
| terms of <code class="computeroutput"><span class="special">==</span></code> |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special"><</span></code>, |
| <code class="computeroutput"><span class="special">></span></code>, <code class="computeroutput"><span class="special"><=</span></code>, and <code class="computeroutput"><span class="special">>=</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/less_than_comparable.html" title="Struct template less_than_comparable">less_than_comparable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| All are implemented in terms of <code class="computeroutput"><span class="special"><</span></code> |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">+=</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/add_assignable.html" title="Struct template add_assignable">add_assignable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">-=</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/subtract_assignable.html" title="Struct template subtract_assignable">subtract_assignable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">*=</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/multiply_assignable.html" title="Struct template multiply_assignable">multiply_assignable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">/=</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/divide_assignable.html" title="Struct template divide_assignable">divide_assignable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">%=</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/mod_assignable.html" title="Struct template mod_assignable">mod_assignable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">&=</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/bitand_assignable.html" title="Struct template bitand_assignable">bitand_assignable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">|=</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/bitor_assignable.html" title="Struct template bitor_assignable">bitor_assignable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">^=</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/bitxor_assignable.html" title="Struct template bitxor_assignable">bitxor_assignable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special"><<=</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/left_shift_assignable.html" title="Struct template left_shift_assignable">left_shift_assignable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">>>=</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/right_shift_assignable.html" title="Struct template right_shift_assignable">right_shift_assignable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special"><<</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/ostreamable.html" title="Struct template ostreamable">ostreamable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">Os</span> |
| <span class="special">=</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">ostream</span><span class="special">,</span> <span class="identifier">T</span> <span class="special">=</span> <span class="identifier">_self</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">>></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/istreamable.html" title="Struct template istreamable">istreamable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">Is</span> |
| <span class="special">=</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">istream</span><span class="special">,</span> <span class="identifier">T</span> <span class="special">=</span> <span class="identifier">_self</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| </tbody> |
| </table></div> |
| </div> |
| <br class="table-break"><div class="table"> |
| <a name="boost_typeerasure.predef.misc"></a><p class="title"><b>Table 33.4. Miscellaneous Operators</b></p> |
| <div class="table-contents"><table class="table" summary="Miscellaneous Operators"> |
| <colgroup> |
| <col> |
| <col> |
| <col> |
| </colgroup> |
| <thead><tr> |
| <th> |
| <p> |
| operator |
| </p> |
| </th> |
| <th> |
| <p> |
| concept |
| </p> |
| </th> |
| <th> |
| <p> |
| notes |
| </p> |
| </th> |
| </tr></thead> |
| <tbody> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">()</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/callable.html" title="Struct template callable">callable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">Sig</span><span class="special">,</span> <span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="identifier">Sig</span></code> should be a function |
| type. T may be const qualified. |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="keyword">operator</span><span class="special">[]</span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/subscriptable.html" title="Struct template subscriptable">subscriptable</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">R</span><span class="special">,</span> <span class="identifier">T</span><span class="special">,</span> <span class="identifier">N</span> <span class="special">=</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">ptrdiff_t</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| <code class="computeroutput"><span class="identifier">R</span></code> should usually |
| be a reference. <code class="computeroutput"><span class="identifier">T</span></code> |
| can be optionally const qualified. |
| </p> |
| </td> |
| </tr> |
| </tbody> |
| </table></div> |
| </div> |
| <br class="table-break"><div class="table"> |
| <a name="boost_typeerasure.predef.iterator"></a><p class="title"><b>Table 33.5. Iterator Concepts</b></p> |
| <div class="table-contents"><table class="table" summary="Iterator Concepts"> |
| <colgroup> |
| <col> |
| <col> |
| </colgroup> |
| <thead><tr> |
| <th> |
| <p> |
| concept |
| </p> |
| </th> |
| <th> |
| <p> |
| notes |
| </p> |
| </th> |
| </tr></thead> |
| <tbody> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/iterator.html" title="Struct template iterator">iterator</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">Traversal</span><span class="special">,</span> <span class="identifier">T</span><span class="special">,</span> <span class="identifier">Reference</span><span class="special">,</span> <span class="identifier">Difference</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| Use <code class="computeroutput"><a class="link" href="../boost/type_erasure/same_type.html" title="Struct template same_type">same_type</a></code> |
| to control the iterator's value type. |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/forward_iterator.html" title="Struct template forward_iterator">forward_iterator</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">Reference</span><span class="special">,</span> <span class="identifier">Difference</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/bidirectional_iterator.html" title="Struct template bidirectional_iterator">bidirectional_iterator</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">Reference</span><span class="special">,</span> <span class="identifier">Difference</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/random_access_iterator.html" title="Struct template random_access_iterator">random_access_iterator</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">Reference</span><span class="special">,</span> <span class="identifier">Difference</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| - |
| </p> |
| </td> |
| </tr> |
| </tbody> |
| </table></div> |
| </div> |
| <br class="table-break"><div class="table"> |
| <a name="boost_typeerasure.predef.special0"></a><p class="title"><b>Table 33.6. Special Concepts</b></p> |
| <div class="table-contents"><table class="table" summary="Special Concepts"> |
| <colgroup> |
| <col> |
| <col> |
| </colgroup> |
| <thead><tr> |
| <th> |
| <p> |
| concept |
| </p> |
| </th> |
| <th> |
| <p> |
| notes |
| </p> |
| </th> |
| </tr></thead> |
| <tbody><tr> |
| <td> |
| <p> |
| <code class="computeroutput"><a class="link" href="../boost/type_erasure/same_type.html" title="Struct template same_type">same_type</a></code><code class="computeroutput"><span class="special"><</span><span class="identifier">T</span><span class="special">></span></code> |
| </p> |
| </td> |
| <td> |
| <p> |
| Indicates that two types are the same. |
| </p> |
| </td> |
| </tr></tbody> |
| </table></div> |
| </div> |
| <br class="table-break"> |
| </div> |
| <table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr> |
| <td align="left"></td> |
| <td align="right"><div class="copyright-footer">Copyright © 2011-2013 Steven Watanabe<p> |
| Distributed under the Boost Software License, Version 1.0. (See accompanying |
| file LICENSE_1_0.txt or copy at <a href="http://www.boost.org/LICENSE_1_0.txt" target="_top">http://www.boost.org/LICENSE_1_0.txt</a>) |
| </p> |
| </div></td> |
| </tr></table> |
| <hr> |
| <div class="spirit-nav"> |
| <a accesskey="p" href="conceptdef.html"><img src="../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../boost_typeerasure.html"><img src="../../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="../index.html"><img src="../../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="reference.html"><img src="../../../doc/src/images/next.png" alt="Next"></a> |
| </div> |
| </body> |
| </html> |
