12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880188118821883188418851886188718881889189018911892189318941895189618971898189919001901190219031904190519061907190819091910191119121913191419151916191719181919192019211922192319241925192619271928192919301931193219331934193519361937193819391940194119421943194419451946194719481949195019511952195319541955195619571958195919601961196219631964196519661967196819691970197119721973197419751976197719781979198019811982198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520262027202820292030203120322033203420352036203720382039204020412042204320442045204620472048204920502051205220532054205520562057205820592060206120622063206420652066206720682069207020712072207320742075207620772078207920802081208220832084208520862087208820892090209120922093209420952096209720982099210021012102210321042105210621072108210921102111211221132114211521162117211821192120212121222123212421252126212721282129213021312132213321342135213621372138213921402141214221432144 |
- <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
- <html>
- <head>
- <meta name="generator" content=
- "HTML Tidy for Windows (vers 1st August 2002), see www.w3.org">
- <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
- <title>Header <boost/operators.hpp> Documentation</title>
- </head>
- <body text="black" bgcolor="white" link="blue" vlink="purple" alink="red">
- <h1><img src="../../boost.png" alt="boost.png (6897 bytes)" align=
- "middle" width="277" height="86">Header <cite><<a href=
- "../../boost/operators.hpp">boost/operators.hpp</a>></cite></h1>
- <p>The header <cite><<a href=
- "../../boost/operators.hpp">boost/operators.hpp</a>></cite> supplies
- several sets of class templates (in namespace <code>boost</code>). These
- templates define operators at namespace scope in terms of a minimal
- number of fundamental operators provided by the class.</p>
- <h2><a name="contents">Contents</a></h2>
- <ul>
- <li><a href="#contents">Contents</a></li>
- <li>
- <a href="#rationale">Rationale</a>
- <ul>
- <li><a href="#semantics">Summary of Template Semantics</a></li>
- <li><a href="#concepts_note">Use of <i>concepts</i></a></li>
- </ul>
- </li>
- <li>
- <a href="#usage">Usage</a>
- <ul>
- <li>
- <a href="#two_arg">Two-Argument Template Forms</a>
- <ul>
- <li><a href="#two_arg_gen">General Considerations</a></li>
- <li><a href="#mixed_arithmetics">Mixed arithmetics</a></li>
- </ul>
- </li>
- <li><a href="#chaining">Base Class Chaining and Object
- Size</a></li>
- <li><a href="#explicit_instantiation">Separate, Explicit
- Instantiation</a></li>
- <li><a href="#portability">Requirement Portability</a></li>
- </ul>
- </li>
- <li><a href="#example">Example</a></li>
- <li>
- <a href="#arithmetic">Arithmetic operators</a>
- <ul>
- <li>
- <a href="#smpl_oprs">Simple Arithmetic Operators</a>
- <ul>
- <li><a href="#ordering">Ordering Note</a></li>
- <li><a href="#symmetry">Symmetry Note</a></li>
- </ul>
- </li>
- <li><a href="#grpd_oprs">Grouped Arithmetic Operators</a></li>
- <li><a href="#ex_oprs">Example Templates</a></li>
- <li><a href="#a_demo">Arithmetic Operators Demonstration and Test
- Program</a></li>
- </ul>
- </li>
- <li>
- <a href="#deref">Dereference Operators and Iterator Helpers</a>
- <ul>
- <li><a href="#dereference">Dereference operators</a></li>
- <li><a href="#grpd_iter_oprs">Grouped Iterator Operators</a></li>
- <li>
- <a href="#iterator">Iterator Helpers</a>
- <ul>
- <li><a href="#iterator_helpers_notes">Iterator Helper
- Notes</a></li>
- </ul>
- </li>
- <li><a href="#i_demo">Iterator Demonstration and Test
- Program</a></li>
- </ul>
- </li>
- <li><a href="#contributors">Contributors</a></li>
- <li><a href="#old_lib_note">Note for Users of Older Versions</a></li>
- </ul>
- <h2><a name="rationale">Rationale</a></h2>
- <p>Overloaded operators for class types typically occur in groups. If you
- can write <code>x + y</code>, you probably also want to be able
- to write <code>x += y</code>. If you can write <code>x < y,</code> you
- also want <code>x > y, x >= y,</code> and <code>x <= y</code>.
- Moreover, unless your class has really surprising behavior, some of these
- related operators can be defined in terms of others (e.g. <code>x >= y
- is equivalent to !(x < y)</code>). Replicating this boilerplate for
- multiple classes is both tedious and error-prone. The <cite><a href=
- "../../boost/operators.hpp">boost/operators.hpp</a></cite> templates help
- by generating operators for you at namespace scope based on other
- operators you've defined in your class.</p>
- <p>If, for example, you declare a class like this:</p>
- <blockquote>
- <pre>
- class MyInt
- : boost::operators<MyInt>
- {
- bool operator<(const MyInt& x) const;
- bool operator==(const MyInt& x) const;
- MyInt& operator+=(const MyInt& x);
- MyInt& operator-=(const MyInt& x);
- MyInt& operator*=(const MyInt& x);
- MyInt& operator/=(const MyInt& x);
- MyInt& operator%=(const MyInt& x);
- MyInt& operator|=(const MyInt& x);
- MyInt& operator&=(const MyInt& x);
- MyInt& operator^=(const MyInt& x);
- MyInt& operator++();
- MyInt& operator--();
- };
- </pre>
- </blockquote>
- <p>then the <code><a href="#operators1">operators<></a></code>
- template adds more than a dozen additional operators, such as
- <code>operator></code>, <code><=</code>, <code>>=</code>, and
- (binary) <code>+</code>. <a href="#two_arg">Two-argument forms</a> of the
- templates are also provided to allow interaction with other types.</p>
- <h3>Summary of Template <a name="semantics">Semantics</a></h3>
- <ol>
- <li>Each operator template completes the concept(s) it describes by
- defining overloaded operators for its target class.</li>
- <li>The name of an operator class template indicates the <a href=
- "#concepts_note">concept</a> that its target class will model.</li>
- <li>Usually, the target class uses an instantation of the operator
- class template as a base class. Some operator templates support an <a
- href="#explicit_instantiation">alternate method</a>.</li>
- <li>The concept can be compound, <i>i.e.</i> it may represent a common
- combination of other, simpler concepts.</li>
- <li>Most operator templates require their target class to support
- operations related to the operators supplied by the template. In
- accordance with widely accepted <a href=
- "http://www.gotw.ca/gotw/004.htm">coding style recommendations</a>, the
- target class is often required to supply the assignment counterpart
- operator of the concept's "main operator." For example, the
- <code>addable</code> template requires <code>operator+=(T
- const&)</code> and in turn supplies <code>operator+(T const&, T
- const&)</code>.</li>
- </ol>
- <h3>Use of <i><a name="concepts_note">concepts</a></i></h3>
- <p>The discussed concepts are not necessarily the standard library's
- concepts (CopyConstructible, <i>etc.</i>), although some of them could
- be; they are what we call <i>concepts with a small 'c'</i>. In
- particular, they are different from the former ones in that they <em>do
- not</em> describe precise semantics of the operators they require to be
- defined, except the requirements that (a) the semantics of the operators
- grouped in one concept should be consistent (<i>e.g.</i> effects of
- evaluating of <code>a += b</code> and
- <code>a = a + b</code> expressions should be the
- same), and (b) that the return types of the operators should follow
- semantics of return types of corresponding operators for built-in types
- (<i>e.g.</i> <code>operator<</code> should return a type convertible
- to <code>bool</code>, and <code>T::operator-=</code> should return type
- convertible to <code>T</code>). Such "loose" requirements make operators
- library applicable to broader set of target classes from different
- domains, <i>i.e.</i> eventually more useful.</p>
- <h2><a name="usage">Usage</a></h2>
- <h3><a name="two_arg">Two-Argument</a> Template Forms</h3>
- <h4><a name="two_arg_gen">General Considerations</a></h4>
- <p>The arguments to a binary operator commonly have identical types, but
- it is not unusual to want to define operators which combine different
- types. For <a href="#example">example</a>, one might want to multiply a
- mathematical vector by a scalar. The two-argument template forms of the
- arithmetic operator templates are supplied for this purpose. When
- applying the two-argument form of a template, the desired return type of
- the operators typically determines which of the two types in question
- should be derived from the operator template. For example, if the result
- of <code>T + U</code> is of type <code>T</code>, then
- <code>T</code> (not <code>U</code>) should be derived from <code><a href=
- "#addable2">addable<T, U></a></code>. The comparison templates
- (<code><a href="#less_than_comparable2">less_than_comparable<T,
- U></a></code>, <code><a href=
- "#equality_comparable2">equality_comparable<T, U></a></code>,
- <code><a href="#equivalent2">equivalent<T, U></a></code>, and
- <code><a href="#partially_ordered2">partially_ordered<T,
- U></a></code>) are exceptions to this guideline, since the return type
- of the operators they define is <code>bool</code>.</p>
- <p>On compilers which do not support partial specialization, the
- two-argument forms must be specified by using the names shown below with
- the trailing <code>'2'</code>. The single-argument forms with the
- trailing <code>'1'</code> are provided for symmetry and to enable certain
- applications of the <a href="#chaining">base class chaining</a>
- technique.</p>
- <h4><a name="mixed_arithmetics">Mixed Arithmetics</a></h4>
- <p>Another application of the two-argument template forms is for mixed
- arithmetics between a type <code>T</code> and a type <code>U</code> that
- is convertible to <code>T</code>. In this case there are two ways where
- the two-argument template forms are helpful: one is to provide the
- respective signatures for operator overloading, the second is
- performance.</p>
- <p>With respect to the operator overloading assume <i>e.g.</i> that
- <code>U</code> is <code>int</code>, that <code>T</code> is an
- user-defined unlimited integer type, and that <code>double
- operator-(double, const T&)</code> exists. If one wants to compute
- <code>int - T</code> and does not provide <code>T operator-(int, const
- T&)</code>, the compiler will consider <code>double operator-(double,
- const T&)</code> to be a better match than <code>T operator-(const
- T&, const T&)</code>, which will probably be different from the
- user's intention. To define a complete set of operator signatures,
- additional 'left' forms of the two-argument template forms are provided
- (<code><a href="#subtractable2_left">subtractable2_left<T,
- U></a></code>, <code><a href="#dividable2_left">dividable2_left<T,
- U></a></code>, <code><a href="#modable2_left">modable2_left<T,
- U></a></code>) that define the signatures for non-commutative
- operators where <code>U</code> appears on the left hand side
- (<code>operator-(const U&, const T&)</code>,
- <code>operator/(const U&, const T&)</code>, <code>operator%(const
- U&, const T&)</code>).</p>
- <p>With respect to the performance observe that when one uses the single
- type binary operator for mixed type arithmetics, the type <code>U</code>
- argument has to be converted to type <code>T</code>. In practice,
- however, there are often more efficient implementations of, say
- <code>T::operator-=(const U&)</code> that avoid unnecessary
- conversions from <code>U</code> to <code>T</code>. The two-argument
- template forms of the arithmetic operator create additional operator
- interfaces that use these more efficient implementations. There is,
- however, no performance gain in the 'left' forms: they still need a
- conversion from <code>U</code> to <code>T</code> and have an
- implementation equivalent to the code that would be automatically created
- by the compiler if it considered the single type binary operator to be
- the best match.</p>
- <h3>Base Class <a name="chaining">Chaining</a> and Object Size</h3>
- <p>Every operator class template, except the <a href=
- "#ex_oprs">arithmetic examples</a> and the <a href="#iterator">iterator
- helpers</a>, has an additional, but optional, template type parameter
- <code>B</code>. This parameter will be a publicly-derived base class of
- the instantiated template. This means it must be a class type. It can be
- used to avoid the bloating of object sizes that is commonly associated
- with multiple-inheritance from several empty base classes (see the <a
- href="#old_lib_note">note for users of older versions</a> for more
- details). To provide support for a group of operators, use the
- <code>B</code> parameter to chain operator templates into a single-base
- class hierarchy, demostrated in the <a href="#example">usage example</a>.
- The technique is also used by the composite operator templates to group
- operator definitions. If a chain becomes too long for the compiler to
- support, try replacing some of the operator templates with a single
- grouped operator template that chains the old templates together; the
- length limit only applies to the number of templates directly in the
- chain, not those hidden in group templates.</p>
- <p><strong>Caveat:</strong> to chain to a base class which is
- <em>not</em> a Boost operator template when using the <a href=
- "#two_arg">single-argument form</a> of a Boost operator template, you
- must specify the operator template with the trailing <code>'1'</code> in
- its name. Otherwise the library will assume you mean to define a binary
- operation combining the class you intend to use as a base class and the
- class you're deriving.</p>
- <h3>Separate, <a name="explicit_instantiation">Explicit
- Instantiation</a></h3>
- <p>On some compilers (<i>e.g.</i> Borland, GCC) even single-inheritance
- seems to cause an increase in object size in some cases. If you are not
- defining a class template, you may get better object-size performance by
- avoiding derivation altogether, and instead explicitly instantiating the
- operator template as follows:</p>
- <blockquote>
- <pre>
- class myclass // lose the inheritance...
- {
- //...
- };
- // explicitly instantiate the operators I need.
- template struct less_than_comparable<myclass>;
- template struct equality_comparable<myclass>;
- template struct incrementable<myclass>;
- template struct decrementable<myclass>;
- template struct addable<myclass,long>;
- template struct subtractable<myclass,long>;
- </pre>
- </blockquote>
- <p>Note that some operator templates cannot use this workaround and must
- be a base class of their primary operand type. Those templates define
- operators which must be member functions, and the workaround needs the
- operators to be independent friend functions. The relevant templates
- are:</p>
- <ul>
- <li><code><a href=
- "#dereferenceable">dereferenceable<></a></code></li>
- <li><code><a href="#indexable">indexable<></a></code></li>
- <li>Any composite operator template that includes at least one of the
- above</li>
- </ul>
- <p>As Daniel Krügler pointed out, this technique violates 14.6.5/2
- and is thus non-portable. The reasoning is, that the operators injected
- by the instantiation of e.g.
- <code>less_than_comparable<myclass></code> can not be found
- by ADL according to the rules given by 3.4.2/2, since myclass is
- not an associated class of
- <code>less_than_comparable<myclass></code>.
- Thus only use this technique if all else fails.</p>
- <h3>Requirement <a name="portability">Portability</a></h3>
- <p>Many compilers (<i>e.g.</i> MSVC 6.3, GCC 2.95.2) will not enforce the
- requirements in the operator template tables unless the operations which
- depend on them are actually used. This is not standard-conforming
- behavior. In particular, although it would be convenient to derive all
- your classes which need binary operators from the <code><a href=
- "#operators1">operators<></a></code> and <code><a href=
- "#operators2">operators2<></a></code> templates, regardless of
- whether they implement all the requirements of those templates, this
- shortcut is not portable. Even if this currently works with your
- compiler, it may not work later.</p>
- <h2><a name="example">Example</a></h2>
- <p>This example shows how some of the <a href="#arithmetic">arithmetic
- operator templates</a> can be used with a geometric point class
- (template).</p>
- <pre>
- template <class T>
- class point // note: private inheritance is OK here!
- : boost::addable< point<T> // point + point
- , boost::subtractable< point<T> // point - point
- , boost::dividable2< point<T>, T // point / T
- , boost::multipliable2< point<T>, T // point * T, T * point
- > > > >
- {
- public:
- point(T, T);
- T x() const;
- T y() const;
- point operator+=(const point&);
- // point operator+(point, const point&) automatically
- // generated by addable.
- point operator-=(const point&);
- // point operator-(point, const point&) automatically
- // generated by subtractable.
- point operator*=(T);
- // point operator*(point, const T&) and
- // point operator*(const T&, point) auto-generated
- // by multipliable.
- point operator/=(T);
- // point operator/(point, const T&) auto-generated
- // by dividable.
- private:
- T x_;
- T y_;
- };
- // now use the point<> class:
- template <class T>
- T length(const point<T> p)
- {
- return sqrt(p.x()*p.x() + p.y()*p.y());
- }
- const point<float> right(0, 1);
- const point<float> up(1, 0);
- const point<float> pi_over_4 = up + right;
- const point<float> pi_over_4_normalized = pi_over_4 / length(pi_over_4);
- </pre>
- <h2><a name="arithmetic">Arithmetic</a> Operators</h2>
- <p>The arithmetic operator templates ease the task of creating a custom
- numeric type. Given a core set of operators, the templates add related
- operators to the numeric class. These operations are like the ones the
- standard arithmetic types have, and may include comparisons, adding,
- incrementing, logical and bitwise manipulations, <i>etc</i>. Further,
- since most numeric types need more than one of these operators, some
- templates are provided to combine several of the basic operator templates
- in one declaration.</p>
- <p>The requirements for the types used to instantiate the simple operator
- templates are specified in terms of expressions which must be valid and
- the expression's return type. The composite operator templates only list
- what other templates they use. The supplied operations and requirements
- of the composite operator templates can be inferred from the operations
- and requirements of the listed components.</p>
- <h3><a name="smpl_oprs">Simple Arithmetic Operators</a></h3>
- <p>These templates are "simple" since they provide operators based on a
- single operation the base type has to provide. They have an additional
- optional template parameter <code>B</code>, which is not shown, for the
- <a href="#chaining">base class chaining</a> technique.</p>
- <p>The primary operand type <code>T</code> needs to be of class type,
- built-in types are not supported.</p>
- <table cellpadding="5" border="1" align="center">
- <caption>
- Simple Arithmetic Operator Template Classes
- </caption>
- <tr>
- <td colspan="3">
- <table align="center" border="1">
- <caption>
- <em>Key</em>
- </caption>
- <tr>
- <td><code>T</code>: primary operand type</td>
- <td><code>U</code>: alternate operand type</td>
- </tr>
- <tr>
- <td><code>t</code>, <code>t1</code>: values of type
- <code>T</code></td>
- <td><code>u</code>: value of type <code>U</code></td>
- </tr>
- </table>
- </td>
- </tr>
- <tr>
- <th>Template</th>
- <th>Supplied Operations</th>
- <th>Requirements</th>
- </tr>
- <tr>
- <td><code><a name=
- "less_than_comparable1">less_than_comparable<T></a></code><br>
- <code>less_than_comparable1<T></code></td>
- <td><code>bool operator>(const T&, const T&)</code><br>
- <code>bool operator<=(const T&, const T&)</code><br>
- <code>bool operator>=(const T&, const T&)</code></td>
- <td><code>t < t1</code>.<br>
- Return convertible to <code>bool</code>. See the <a href=
- "#ordering">Ordering Note</a>.</td>
- </tr>
- <tr>
- <td><code><a name="less_than_comparable2">less_than_comparable<T,
- U></a></code><br>
- <code>less_than_comparable2<T, U></code></td>
- <td><code>bool operator<=(const T&, const U&)</code><br>
- <code>bool operator>=(const T&, const U&)</code><br>
- <code>bool operator>(const U&, const T&)</code><br>
- <code>bool operator<(const U&, const T&)</code><br>
- <code>bool operator<=(const U&, const T&)</code><br>
- <code>bool operator>=(const U&, const T&)</code></td>
- <td><code>t < u</code>. <code>t > u</code>.<br>
- Returns convertible to <code>bool</code>. See the <a href=
- "#ordering">Ordering Note</a>.</td>
- </tr>
- <tr>
- <td><code><a name=
- "equality_comparable1">equality_comparable<T></a></code><br>
- <code>equality_comparable1<T></code></td>
- <td><code>bool operator!=(const T&, const T&)</code></td>
- <td><code>t == t1</code>.<br>
- Return convertible to <code>bool</code>.</td>
- </tr>
- <tr>
- <td><code><a name="equality_comparable2">equality_comparable<T,
- U></a></code><br>
- <code>equality_comparable2<T, U></code></td>
- <td><code>bool operator==(const U&, const T&)</code><br>
- <code>bool operator!=(const U&, const T&)</code><br>
- <code>bool operator!=(const T&, const U&)</code></td>
- <td><code>t == u</code>.<br>
- Return convertible to <code>bool</code>.</td>
- </tr>
- <tr>
- <td><code><a name="addable1">addable<T></a></code><br>
- <code>addable1<T></code></td>
- <td><code>T operator+(const T&, const T&)</code></td>
- <td><code>T temp(t); temp += t1</code>.<br>
- Return convertible to <code>T</code>. See the <a href=
- "#symmetry">Symmetry Note</a>.</td>
- </tr>
- <tr>
- <td><code><a name="addable2">addable<T, U></a></code><br>
- <code>addable2<T, U></code></td>
- <td><code>T operator+(const T&, const U&)</code><br>
- <code>T operator+(const U&, const T& )</code></td>
- <td><code>T temp(t); temp += u</code>.<br>
- Return convertible to <code>T</code>. See the <a href=
- "#symmetry">Symmetry Note</a>.</td>
- </tr>
- <tr>
- <td><code><a name=
- "subtractable1">subtractable<T></a></code><br>
- <code>subtractable1<T></code></td>
- <td><code>T operator-(const T&, const T&)</code></td>
- <td><code>T temp(t); temp -= t1</code>.<br>
- Return convertible to <code>T</code>. See the <a href=
- "#symmetry">Symmetry Note</a>.</td>
- </tr>
- <tr>
- <td><code><a name="subtractable2">subtractable<T,
- U></a></code><br>
- <code>subtractable2<T, U></code></td>
- <td><code>T operator-(const T&, const U&)</code></td>
- <td><code>T temp(t); temp -= u</code>.<br>
- Return convertible to <code>T</code>. See the <a href=
- "#symmetry">Symmetry Note</a>.</td>
- </tr>
- <tr>
- <td><code><a name="subtractable2_left">subtractable2_left<T,
- U></a></code></td>
- <td><code>T operator-(const U&, const T&)</code></td>
- <td><code>T temp(u); temp -= t</code>.<br>
- Return convertible to <code>T</code>.</td>
- </tr>
- <tr>
- <td><code><a name=
- "multipliable1">multipliable<T></a></code><br>
- <code>multipliable1<T></code></td>
- <td><code>T operator*(const T&, const T&)</code></td>
- <td><code>T temp(t); temp *= t1</code>.<br>
- Return convertible to <code>T</code>. See the <a href=
- "#symmetry">Symmetry Note</a>.</td>
- </tr>
- <tr>
- <td><code><a name="multipliable2">multipliable<T,
- U></a></code><br>
- <code>multipliable2<T, U></code></td>
- <td><code>T operator*(const T&, const U&)</code><br>
- <code>T operator*(const U&, const T&)</code></td>
- <td><code>T temp(t); temp *= u</code>.<br>
- Return convertible to <code>T</code>. See the <a href=
- "#symmetry">Symmetry Note</a>.</td>
- </tr>
- <tr>
- <td><code><a name="dividable1">dividable<T></a></code><br>
- <code>dividable1<T></code></td>
- <td><code>T operator/(const T&, const T&)</code></td>
- <td><code>T temp(t); temp /= t1</code>.<br>
- Return convertible to <code>T</code>. See the <a href=
- "#symmetry">Symmetry Note</a>.</td>
- </tr>
- <tr>
- <td><code><a name="dividable2">dividable<T, U></a></code><br>
- <code>dividable2<T, U></code></td>
- <td><code>T operator/(const T&, const U&)</code></td>
- <td><code>T temp(t); temp /= u</code>.<br>
- Return convertible to <code>T</code>. See the <a href=
- "#symmetry">Symmetry Note</a>.</td>
- </tr>
- <tr>
- <td><code><a name="dividable2_left">dividable2_left<T,
- U></a></code></td>
- <td><code>T operator/(const U&, const T&)</code></td>
- <td><code>T temp(u); temp /= t</code>.<br>
- Return convertible to <code>T</code>.</td>
- </tr>
- <tr>
- <td><code><a name="modable1">modable<T></a></code><br>
- <code>modable1<T></code></td>
- <td><code>T operator%(const T&, const T&)</code></td>
- <td><code>T temp(t); temp %= t1</code>.<br>
- Return convertible to <code>T</code>. See the <a href=
- "#symmetry">Symmetry Note</a>.</td>
- </tr>
- <tr>
- <td><code><a name="modable2">modable<T, U></a></code><br>
- <code>modable2<T, U></code></td>
- <td><code>T operator%(const T&, const U&)</code></td>
- <td><code>T temp(t); temp %= u</code>.<br>
- Return convertible to <code>T</code>. See the <a href=
- "#symmetry">Symmetry Note</a>.</td>
- </tr>
- <tr>
- <td><code><a name="modable2_left">modable2_left<T,
- U></a></code></td>
- <td><code>T operator%(const U&, const T&)</code></td>
- <td><code>T temp(u); temp %= t</code>.<br>
- Return convertible to <code>T</code>.</td>
- </tr>
- <tr>
- <td><code><a name="orable1">orable<T></a></code><br>
- <code>orable1<T></code></td>
- <td><code>T operator|(const T&, const T&)</code></td>
- <td><code>T temp(t); temp |= t1</code>.<br>
- Return convertible to <code>T</code>. See the <a href=
- "#symmetry">Symmetry Note</a>.</td>
- </tr>
- <tr>
- <td><code><a name="orable2">orable<T, U></a></code><br>
- <code>orable2<T, U></code></td>
- <td><code>T operator|(const T&, const U&)</code><br>
- <code>T operator|(const U&, const T&)</code></td>
- <td><code>T temp(t); temp |= u</code>.<br>
- Return convertible to <code>T</code>. See the <a href=
- "#symmetry">Symmetry Note</a>.</td>
- </tr>
- <tr>
- <td><code><a name="andable1">andable<T></a></code><br>
- <code>andable1<T></code></td>
- <td><code>T operator&(const T&, const T&)</code></td>
- <td><code>T temp(t); temp &= t1</code>.<br>
- Return convertible to <code>T</code>. See the <a href=
- "#symmetry">Symmetry Note</a>.</td>
- </tr>
- <tr>
- <td><code><a name="andable2">andable<T, U></a></code><br>
- <code>andable2<T, U></code></td>
- <td><code>T operator&(const T&, const U&)</code><br>
- <code>T operator&(const U&, const T&)</code></td>
- <td><code>T temp(t); temp &= u</code>.<br>
- Return convertible to <code>T</code>. See the <a href=
- "#symmetry">Symmetry Note</a>.</td>
- </tr>
- <tr>
- <td><code><a name="xorable1">xorable<T></a></code><br>
- <code>xorable1<T></code></td>
- <td><code>T operator^(const T&, const T&)</code></td>
- <td><code>T temp(t); temp ^= t1</code>.<br>
- Return convertible to <code>T</code>. See the <a href=
- "#symmetry">Symmetry Note</a>.</td>
- </tr>
- <tr>
- <td><code><a name="xorable2">xorable<T, U></a></code><br>
- <code>xorable2<T, U></code></td>
- <td><code>T operator^(const T&, const U&)</code><br>
- <code>T operator^(const U&, const T&)</code></td>
- <td><code>T temp(t); temp ^= u</code>.<br>
- Return convertible to <code>T</code>. See the <a href=
- "#symmetry">Symmetry Note</a>.</td>
- </tr>
- <tr>
- <td><code><a name=
- "incrementable">incrementable<T></a></code></td>
- <td><code>T operator++(T&, int)</code></td>
- <td><code>T temp(t); ++t</code><br>
- Return convertible to <code>T</code>.</td>
- </tr>
- <tr>
- <td><code><a name=
- "decrementable">decrementable<T></a></code></td>
- <td><code>T operator--(T&, int)</code></td>
- <td><code>T temp(t); --t;</code><br>
- Return convertible to <code>T</code>.</td>
- </tr>
- <tr>
- <td><code><a name=
- "left_shiftable1">left_shiftable<T></a></code><br>
- <code>left_shiftable1<T></code></td>
- <td><code>T operator<<(const T&, const T&)</code></td>
- <td><code>T temp(t); temp <<= t1</code>.<br>
- Return convertible to <code>T</code>. See the <a href=
- "#symmetry">Symmetry Note</a>.</td>
- </tr>
- <tr>
- <td><code><a name="left_shiftable2">left_shiftable<T,
- U></a></code><br>
- <code>left_shiftable2<T, U></code></td>
- <td><code>T operator<<(const T&, const U&)</code></td>
- <td><code>T temp(t); temp <<= u</code>.<br>
- Return convertible to <code>T</code>. See the <a href=
- "#symmetry">Symmetry Note</a>.</td>
- </tr>
- <tr>
- <td><code><a name=
- "right_shiftable1">right_shiftable<T></a></code><br>
- <code>right_shiftable1<T></code></td>
- <td><code>T operator>>(const T&, const T&)</code></td>
- <td><code>T temp(t); temp >>= t1</code>.<br>
- Return convertible to <code>T</code>. See the <a href=
- "#symmetry">Symmetry Note</a>.</td>
- </tr>
- <tr>
- <td><code><a name="right_shiftable2">right_shiftable<T,
- U></a></code><br>
- <code>right_shiftable2<T, U></code></td>
- <td><code>T operator>>(const T&, const U&)</code></td>
- <td><code>T temp(t); temp >>= u</code>.<br>
- Return convertible to <code>T</code>. See the <a href=
- "#symmetry">Symmetry Note</a>.</td>
- </tr>
- <tr>
- <td><code><a name="equivalent1">equivalent<T></a></code><br>
- <code>equivalent1<T></code></td>
- <td><code>bool operator==(const T&, const T&)</code></td>
- <td><code>t < t1</code>.<br>
- Return convertible to <code>bool</code>. See the <a href=
- "#ordering">Ordering Note</a>.</td>
- </tr>
- <tr>
- <td><code><a name="equivalent2">equivalent<T, U></a></code><br>
- <code>equivalent2<T, U></code></td>
- <td><code>bool operator==(const T&, const U&)</code></td>
- <td><code>t < u</code>. <code>t > u</code>.<br>
- Returns convertible to <code>bool</code>. See the <a href=
- "#ordering">Ordering Note</a>.</td>
- </tr>
- <tr>
- <td><code><a name=
- "partially_ordered1">partially_ordered<T></a></code><br>
- <code>partially_ordered1<T></code></td>
- <td><code>bool operator>(const T&, const T&)</code><br>
- <code>bool operator<=(const T&, const T&)</code><br>
- <code>bool operator>=(const T&, const T&)</code></td>
- <td><code>t < t1</code>. <code>t == t1</code>.<br>
- Returns convertible to <code>bool</code>. See the <a href=
- "#ordering">Ordering Note</a>.</td>
- </tr>
- <tr>
- <td><code><a name="partially_ordered2">partially_ordered<T,
- U></a></code><br>
- <code>partially_ordered2<T, U></code></td>
- <td><code>bool operator<=(const T&, const U&)</code><br>
- <code>bool operator>=(const T&, const U&)</code><br>
- <code>bool operator>(const U&, const T&)</code><br>
- <code>bool operator<(const U&, const T&)</code><br>
- <code>bool operator<=(const U&, const T&)</code><br>
- <code>bool operator>=(const U&, const T&)</code></td>
- <td><code>t < u</code>. <code>t > u</code>. <code>t ==
- u</code>.<br>
- Returns convertible to <code>bool</code>. See the <a href=
- "#ordering">Ordering Note</a>.</td>
- </tr>
- </table>
- <h4><a name="ordering">Ordering</a> Note</h4>
- <p>The <code><a href=
- "#less_than_comparable1">less_than_comparable<T></a></code> and
- <code><a href="#partially_ordered1">partially_ordered<T></a></code>
- templates provide the same set of operations. However, the workings of
- <code><a href=
- "#less_than_comparable1">less_than_comparable<T></a></code> assume
- that all values of type <code>T</code> can be placed in a total order. If
- that is not true (<i>e.g.</i> Not-a-Number values in IEEE floating point
- arithmetic), then <code><a href=
- "#partially_ordered1">partially_ordered<T></a></code> should be
- used. The <code><a href=
- "#partially_ordered1">partially_ordered<T></a></code> template can
- be used for a totally-ordered type, but it is not as efficient as
- <code><a href=
- "#less_than_comparable1">less_than_comparable<T></a></code>. This
- rule also applies for <code><a href=
- "#less_than_comparable2">less_than_comparable<T, U></a></code> and
- <code><a href="#partially_ordered2">partially_ordered<T,
- U></a></code> with respect to the ordering of all <code>T</code> and
- <code>U</code> values, and for both versions of <code><a href=
- "#equivalent1">equivalent<></a></code>. The solution for <code><a
- href="#equivalent1">equivalent<></a></code> is to write a custom
- <code>operator==</code> for the target class.</p>
- <h4><a name="symmetry">Symmetry</a> Note</h4>
- <p>Before talking about symmetry, we need to talk about optimizations to
- understand the reasons for the different implementation styles of
- operators. Let's have a look at <code>operator+</code> for a class
- <code>T</code> as an example:</p>
- <pre>
- T operator+( const T& lhs, const T& rhs )
- {
- return T( lhs ) += rhs;
- }
- </pre>
- This would be a normal implementation of <code>operator+</code>, but it
- is not an efficient one. An unnamed local copy of <code>lhs</code> is
- created, <code>operator+=</code> is called on it and it is copied to the
- function return value (which is another unnamed object of type
- <code>T</code>). The standard doesn't generally allow the intermediate
- object to be optimized away:
- <blockquote>
- 3.7.2/2: Automatic storage duration<br>
- <br>
- If a named automatic object has initialization or a destructor with
- side effects, it shall not be destroyed before the end of its block,
- nor shall it be eliminated as an optimization even if it appears to be
- unused, except that a class object or its copy may be eliminated as
- specified in 12.8.
- </blockquote>
- The reference to 12.8 is important for us:
- <blockquote>
- 12.8/15: Copying class objects<br>
- ...<br>
- For a function with a class return type, if the expression in the
- return statement is the name of a local object, and the cv-unqualified
- type of the local object is the same as the function return type, an
- implementation is permitted to omit creating the temporary object to
- hold the function return value, even if the class copy constructor or
- destructor has side effects.
- </blockquote>
- This optimization is known as the named return value optimization (NRVO),
- which leads us to the following implementation for
- <code>operator+</code>:
- <pre>
- T operator+( const T& lhs, const T& rhs )
- {
- T nrv( lhs );
- nrv += rhs;
- return nrv;
- }
- </pre>
- Given this implementation, the compiler is allowed to remove the
- intermediate object. Sadly, not all compiler implement the NRVO, some
- even implement it in an incorrect way which makes it useless here.
- Without the NRVO, the NRVO-friendly code is no worse than the original
- code showed above, but there is another possible implementation, which
- has some very special properties:
- <pre>
- T operator+( T lhs, const T& rhs )
- {
- return lhs += rhs;
- }
- </pre>
- The difference to the first implementation is that <code>lhs</code> is
- not taken as a constant reference used to create a copy; instead,
- <code>lhs</code> is a by-value parameter, thus it is already the copy
- needed. This allows another optimization (12.2/2) for some cases.
- Consider <code>a + b + c</code> where the result of
- <code>a + b</code> is not copied when used as <code>lhs</code>
- when adding <code>c</code>. This is more efficient than the original
- code, but not as efficient as a compiler using the NRVO. For most people,
- it is still preferable for compilers that don't implement the NRVO, but
- the <code>operator+</code> now has a different function signature. Also,
- the number of objects created differs for
- <code>(a + b ) + c</code> and
- <code>a + ( b + c )</code>. Most probably,
- this won't be a problem for you, but if your code relies on the function
- signature or a strict symmetric behaviour, you should set
- <code>BOOST_FORCE_SYMMETRIC_OPERATORS</code> in your user-config. This
- will force the NRVO-friendly implementation to be used even for compilers
- that don't implement the NRVO. <br>
- <br>
- <h3><a name="grpd_oprs">Grouped Arithmetic Operators</a></h3>
- <p>The following templates provide common groups of related operations.
- For example, since a type which is addable is usually also subractable,
- the <code><a href="#additive1">additive</a></code> template provides the
- combined operators of both. The grouped operator templates have an
- additional optional template parameter <code>B</code>, which is not
- shown, for the <a href="#chaining">base class chaining</a> technique.</p>
- <table cellpadding="5" border="1" align="center">
- <caption>
- Grouped Arithmetic Operator Template Classes
- </caption>
- <tr>
- <td colspan="2">
- <table align="center" border="1">
- <caption>
- <em>Key</em>
- </caption>
- <tr>
- <td><code>T</code>: primary operand type</td>
- <td><code>U</code>: alternate operand type</td>
- </tr>
- </table>
- </td>
- </tr>
- <tr>
- <th>Template</th>
- <th>Component Operator Templates</th>
- </tr>
- <tr>
- <td><code><a name=
- "totally_ordered1">totally_ordered<T></a></code><br>
- <code>totally_ordered1<T></code></td>
- <td>
- <ul>
- <li><code><a href=
- "#less_than_comparable1">less_than_comparable<T></a></code></li>
- <li><code><a href=
- "#equality_comparable1">equality_comparable<T></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name="totally_ordered2">totally_ordered<T,
- U></a></code><br>
- <code>totally_ordered2<T, U></code></td>
- <td>
- <ul>
- <li><code><a href=
- "#less_than_comparable2">less_than_comparable<T,
- U></a></code></li>
- <li><code><a href=
- "#equality_comparable2">equality_comparable<T,
- U></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name="additive1">additive<T></a></code><br>
- <code>additive1<T></code></td>
- <td>
- <ul>
- <li><code><a href="#addable1">addable<T></a></code></li>
- <li><code><a href=
- "#subtractable1">subtractable<T></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name="additive2">additive<T, U></a></code><br>
- <code>additive2<T, U></code></td>
- <td>
- <ul>
- <li><code><a href="#addable2">addable<T, U></a></code></li>
- <li><code><a href="#subtractable2">subtractable<T,
- U></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name=
- "multiplicative1">multiplicative<T></a></code><br>
- <code>multiplicative1<T></code></td>
- <td>
- <ul>
- <li><code><a href=
- "#multipliable1">multipliable<T></a></code></li>
- <li><code><a href=
- "#dividable1">dividable<T></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name="multiplicative2">multiplicative<T,
- U></a></code><br>
- <code>multiplicative2<T, U></code></td>
- <td>
- <ul>
- <li><code><a href="#multipliable2">multipliable<T,
- U></a></code></li>
- <li><code><a href="#dividable2">dividable<T,
- U></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name=
- "integer_multiplicative1">integer_multiplicative<T></a></code><br>
- <code>integer_multiplicative1<T></code></td>
- <td>
- <ul>
- <li><code><a href=
- "#multiplicative1">multiplicative<T></a></code></li>
- <li><code><a href="#modable1">modable<T></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name=
- "integer_multiplicative2">integer_multiplicative<T,
- U></a></code><br>
- <code>integer_multiplicative2<T, U></code></td>
- <td>
- <ul>
- <li><code><a href="#multiplicative2">multiplicative<T,
- U></a></code></li>
- <li><code><a href="#modable2">modable<T, U></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name="arithmetic1">arithmetic<T></a></code><br>
- <code>arithmetic1<T></code></td>
- <td>
- <ul>
- <li><code><a href="#additive1">additive<T></a></code></li>
- <li><code><a href=
- "#multiplicative1">multiplicative<T></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name="arithmetic2">arithmetic<T, U></a></code><br>
- <code>arithmetic2<T, U></code></td>
- <td>
- <ul>
- <li><code><a href="#additive2">additive<T,
- U></a></code></li>
- <li><code><a href="#multiplicative2">multiplicative<T,
- U></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name=
- "integer_arithmetic1">integer_arithmetic<T></a></code><br>
- <code>integer_arithmetic1<T></code></td>
- <td>
- <ul>
- <li><code><a href="#additive1">additive<T></a></code></li>
- <li><code><a href=
- "#integer_multiplicative1">integer_multiplicative<T></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name="integer_arithmetic2">integer_arithmetic<T,
- U></a></code><br>
- <code>integer_arithmetic2<T, U></code></td>
- <td>
- <ul>
- <li><code><a href="#additive2">additive<T,
- U></a></code></li>
- <li><code><a href=
- "#integer_multiplicative2">integer_multiplicative<T,
- U></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name="bitwise1">bitwise<T></a></code><br>
- <code>bitwise1<T></code></td>
- <td>
- <ul>
- <li><code><a href="#xorable1">xorable<T></a></code></li>
- <li><code><a href="#andable1">andable<T></a></code></li>
- <li><code><a href="#orable1">orable<T></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name="bitwise2">bitwise<T, U></a></code><br>
- <code>bitwise2<T, U></code></td>
- <td>
- <ul>
- <li><code><a href="#xorable2">xorable<T, U></a></code></li>
- <li><code><a href="#andable2">andable<T, U></a></code></li>
- <li><code><a href="#orable2">orable<T, U></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name=
- "unit_steppable">unit_steppable<T></a></code></td>
- <td>
- <ul>
- <li><code><a href=
- "#incrementable">incrementable<T></a></code></li>
- <li><code><a href=
- "#decrementable">decrementable<T></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name="shiftable1">shiftable<T></a></code><br>
- <code>shiftable1<T></code></td>
- <td>
- <ul>
- <li><code><a href=
- "#left_shiftable1">left_shiftable<T></a></code></li>
- <li><code><a href=
- "#right_shiftable1">right_shiftable<T></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name="shiftable2">shiftable<T, U></a></code><br>
- <code>shiftable2<T, U></code></td>
- <td>
- <ul>
- <li><code><a href="#left_shiftable2">left_shiftable<T,
- U></a></code></li>
- <li><code><a href="#right_shiftable2">right_shiftable<T,
- U></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name=
- "ring_operators1">ring_operators<T></a></code><br>
- <code>ring_operators1<T></code></td>
- <td>
- <ul>
- <li><code><a href="#additive1">additive<T></a></code></li>
- <li><code><a href=
- "#multipliable1">multipliable<T></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name="ring_operators2">ring_operators<T,
- U></a></code><br>
- <code>ring_operators2<T, U></code></td>
- <td>
- <ul>
- <li><code><a href="#additive2">additive<T,
- U></a></code></li>
- <li><code><a href="#subtractable2_left">subtractable2_left<T,
- U></a></code></li>
- <li><code><a href="#multipliable2">multipliable<T,
- U></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name=
- "ordered_ring_operators1">ordered_ring_operators<T></a></code><br>
- <code>ordered_ring_operators1<T></code></td>
- <td>
- <ul>
- <li><code><a href=
- "#ring_operators1">ring_operators<T></a></code></li>
- <li><code><a href=
- "#totally_ordered1">totally_ordered<T></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name=
- "ordered_ring_operators2">ordered_ring_operators<T,
- U></a></code><br>
- <code>ordered_ring_operators2<T, U></code></td>
- <td>
- <ul>
- <li><code><a href="#ring_operators2">ring_operators<T,
- U></a></code></li>
- <li><code><a href="#totally_ordered2">totally_ordered<T,
- U></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name=
- "field_operators1">field_operators<T></a></code><br>
- <code>field_operators1<T></code></td>
- <td>
- <ul>
- <li><code><a href=
- "#ring_operators1">ring_operators<T></a></code></li>
- <li><code><a href=
- "#dividable1">dividable<T></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name="field_operators2">field_operators<T,
- U></a></code><br>
- <code>field_operators2<T, U></code></td>
- <td>
- <ul>
- <li><code><a href="#ring_operators2">ring_operators<T,
- U></a></code></li>
- <li><code><a href="#dividable2">dividable<T,
- U></a></code></li>
- <li><code><a href="#dividable2_left">dividable2_left<T,
- U></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name=
- "ordered_field_operators1">ordered_field_operators<T></a></code><br>
- <code>ordered_field_operators1<T></code></td>
- <td>
- <ul>
- <li><code><a href=
- "#field_operators1">field_operators<T></a></code></li>
- <li><code><a href=
- "#totally_ordered1">totally_ordered<T></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name=
- "ordered_field_operators2">ordered_field_operators<T,
- U></a></code><br>
- <code>ordered_field_operators2<T, U></code></td>
- <td>
- <ul>
- <li><code><a href="#field_operators2">field_operators<T,
- U></a></code></li>
- <li><code><a href="#totally_ordered2">totally_ordered<T,
- U></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name=
- "euclidean_ring_operators1">euclidean_ring_operators<T></a></code><br>
- <code>euclidean_ring_operators1<T></code></td>
- <td>
- <ul>
- <li><code><a href=
- "#ring_operators1">ring_operators<T></a></code></li>
- <li><code><a href=
- "#dividable1">dividable<T></a></code></li>
- <li><code><a href="#modable1">modable<T></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name=
- "euclidean_ring_operators2">euclidean_ring_operators<T,
- U></a></code><br>
- <code>euclidean_ring_operators2<T, U></code></td>
- <td>
- <ul>
- <li><code><a href="#ring_operators2">ring_operators<T,
- U></a></code></li>
- <li><code><a href="#dividable2">dividable<T,
- U></a></code></li>
- <li><code><a href="#dividable2_left">dividable2_left<T,
- U></a></code></li>
- <li><code><a href="#modable2">modable<T, U></a></code></li>
- <li><code><a href="#modable2_left">modable2_left<T,
- U></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name=
- "ordered_euclidean_ring_operators1">ordered_euclidean_ring_operators<T></a></code><br>
- <code>ordered_euclidean_ring_operators1<T></code></td>
- <td>
- <ul>
- <li><code><a href=
- "#euclidean_ring_operators1">euclidean_ring_operators<T></a></code></li>
- <li><code><a href=
- "#totally_ordered1">totally_ordered<T></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name=
- "ordered_euclidean_ring_operators2">ordered_euclidean_ring_operators<T,
- U></a></code><br>
- <code>ordered_euclidean_ring_operators2<T, U></code></td>
- <td>
- <ul>
- <li><code><a href=
- "#euclidean_ring_operators2">euclidean_ring_operators<T,
- U></a></code></li>
- <li><code><a href="#totally_ordered2">totally_ordered<T,
- U></a></code></li>
- </ul>
- </td>
- </tr>
- </table>
- <h4>Spelling: euclidean vs. euclidian</h4>
- <p>Older versions of the Boost.Operators library used
- "<code>euclidian</code>", but it was pointed out that
- "<code>euclidean</code>" is the more common spelling.
- To be compatible with older version, the library now supports
- both spellings.
- </p>
- <h3><a name="ex_oprs">Example</a> Templates</h3>
- <p>The arithmetic operator class templates <code><a href=
- "#operators1">operators<></a></code> and <code><a href=
- "#operators2">operators2<></a></code> are examples of
- non-extensible operator grouping classes. These legacy class templates,
- from previous versions of the header, cannot be used for <a href=
- "#chaining">base class chaining</a>.</p>
- <table cellpadding="5" border="1" align="center">
- <caption>
- Final Arithmetic Operator Template Classes
- </caption>
- <tr>
- <td colspan="2">
- <table align="center" border="1">
- <caption>
- <em>Key</em>
- </caption>
- <tr>
- <td><code>T</code>: primary operand type</td>
- <td><code>U</code>: alternate operand type</td>
- </tr>
- </table>
- </td>
- </tr>
- <tr>
- <th>Template</th>
- <th>Component Operator Templates</th>
- </tr>
- <tr>
- <td><code><a name="operators1">operators<T></a></code></td>
- <td>
- <ul>
- <li><code><a href=
- "#totally_ordered1">totally_ordered<T></a></code></li>
- <li><code><a href=
- "#integer_arithmetic1">integer_arithmetic<T></a></code></li>
- <li><code><a href="#bitwise1">bitwise<T></a></code></li>
- <li><code><a href=
- "#unit_steppable">unit_steppable<T></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name="operators2">operators<T, U></a></code><br>
- <code>operators2<T, U></code></td>
- <td>
- <ul>
- <li><code><a href="#totally_ordered2">totally_ordered<T,
- U></a></code></li>
- <li><code><a href="#integer_arithmetic2">integer_arithmetic<T,
- U></a></code></li>
- <li><code><a href="#bitwise2">bitwise<T, U></a></code></li>
- </ul>
- </td>
- </tr>
- </table>
- <h3><a name="a_demo">Arithmetic Operators Demonstration</a> and Test
- Program</h3>
- <p>The <cite><a href="test/operators_test.cpp">operators_test.cpp</a></cite>
- program demonstrates the use of the arithmetic operator templates, and
- can also be used to verify correct operation. Check the compiler status
- report for the test results with selected platforms.</p>
- <h2><a name="deref">Dereference</a> Operators and Iterator Helpers</h2>
- <p>The <a href="#iterator">iterator helper</a> templates ease the task of
- creating a custom iterator. Similar to arithmetic types, a complete
- iterator has many operators that are "redundant" and can be implemented
- in terms of the core set of operators.</p>
- <p>The <a href="#dereference">dereference operators</a> were motivated by
- the <a href="#iterator">iterator helpers</a>, but are often useful in
- non-iterator contexts as well. Many of the redundant iterator operators
- are also arithmetic operators, so the iterator helper classes borrow many
- of the operators defined above. In fact, only two new operators need to
- be defined (the pointer-to-member <code>operator-></code> and the
- subscript <code>operator[]</code>)!</p>
- <p>The requirements for the types used to instantiate the dereference
- operators are specified in terms of expressions which must be valid and
- their return type. The composite operator templates list their component
- templates, which the instantiating type must support, and possibly other
- requirements.</p>
- <h3><a name="dereference">Dereference</a> Operators</h3>
- <p>All the dereference operator templates in this table accept an
- optional template parameter (not shown) to be used for <a href=
- "#chaining">base class chaining</a>.</p>
- <table cellpadding="5" border="1" align="center">
- <caption>
- Dereference Operator Template Classes
- </caption>
- <tr>
- <td colspan="3">
- <table align="center" border="1">
- <caption>
- <em>Key</em>
- </caption>
- <tr>
- <td><code>T</code>: operand type</td>
- <td><code>P</code>: <code>pointer</code> type</td>
- </tr>
- <tr>
- <td><code>D</code>: <code>difference_type</code></td>
- <td><code>R</code>: <code>reference</code> type</td>
- </tr>
- <tr>
- <td><code>i</code>: object of type <code>T</code> (an
- iterator)</td>
- <td><code>n</code>: object of type <code>D</code> (an
- index)</td>
- </tr>
- </table>
- </td>
- </tr>
- <tr>
- <th>Template</th>
- <th>Supplied Operations</th>
- <th>Requirements</th>
- </tr>
- <tr>
- <td><code><a name="dereferenceable">dereferenceable<T,
- P></a></code></td>
- <td><code>P operator->() const</code></td>
- <td><code>*i</code>. Address of the returned value convertible
- to <code>P</code>.</td>
- </tr>
- <tr>
- <td><code><a name="indexable">indexable<T, D,
- R></a></code></td>
- <td><code>R operator[](D n) const</code></td>
- <td><code>*(i + n)</code>. Return of type
- <code>R</code>.</td>
- </tr>
- </table>
- <h3><a name="grpd_iter_oprs">Grouped Iterator Operators</a></h3>
- <p>There are five iterator operator class templates, each for a different
- category of iterator. The following table shows the operator groups for
- any category that a custom iterator could define. These class templates
- have an additional optional template parameter <code>B</code>, which is
- not shown, to support <a href="#chaining">base class chaining</a>.</p>
- <table cellpadding="5" border="1" align="center">
- <caption>
- Iterator Operator Class Templates
- </caption>
- <tr>
- <td colspan="2">
- <table align="center" border="1">
- <caption>
- <em>Key</em>
- </caption>
- <tr>
- <td><code>T</code>: operand type</td>
- <td><code>P</code>: <code>pointer</code> type</td>
- </tr>
- <tr>
- <td><code>D</code>: <code>difference_type</code></td>
- <td><code>R</code>: <code>reference</code> type</td>
- </tr>
- <tr>
- <td><code>V</code>: <code>value_type</code></td>
- <td>
- </td>
- </tr>
- </table>
- </td>
- </tr>
- <tr>
- <th>Template</th>
- <th>Component Operator Templates</th>
- </tr>
- <tr>
- <td><code><a name="input_iteratable">input_iteratable<T,
- P></a></code></td>
- <td>
- <ul>
- <li><code><a href=
- "#equality_comparable1">equality_comparable<T></a></code></li>
- <li><code><a href=
- "#incrementable">incrementable<T></a></code></li>
- <li><code><a href="#dereferenceable">dereferenceable<T,
- P></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name=
- "output_iteratable">output_iteratable<T></a></code></td>
- <td>
- <ul>
- <li><code><a href=
- "#incrementable">incrementable<T></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name="forward_iteratable">forward_iteratable<T,
- P></a></code></td>
- <td>
- <ul>
- <li><code><a href="#input_iteratable">input_iteratable<T,
- P></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name=
- "bidirectional_iteratable">bidirectional_iteratable<T,
- P></a></code></td>
- <td>
- <ul>
- <li><code><a href="#forward_iteratable">forward_iteratable<T,
- P></a></code></li>
- <li><code><a href=
- "#decrementable">decrementable<T></a></code></li>
- </ul>
- </td>
- </tr>
- <tr>
- <td><code><a name=
- "random_access_iteratable">random_access_iteratable<T, P, D,
- R></a></code></td>
- <td>
- <ul>
- <li><code><a href=
- "#bidirectional_iteratable">bidirectional_iteratable<T,
- P></a></code></li>
- <li><code><a href=
- "#totally_ordered1">totally_ordered<T></a></code></li>
- <li><code><a href="#additive2">additive<T,
- D></a></code></li>
- <li><code><a href="#indexable">indexable<T, D,
- R></a></code></li>
- </ul>
- </td>
- </tr>
- </table>
- <h3><a name="iterator">Iterator</a> Helpers</h3>
- <p>There are also five iterator helper class templates, each
- corresponding to a different iterator category. These classes cannot be
- used for <a href="#chaining">base class chaining</a>. The following
- summaries show that these class templates supply both the iterator
- operators from the <a href="#grpd_iter_oprs">iterator operator class
- templates</a> and the iterator typedef's required by the C++ standard
- (<code>iterator_category</code>, <code>value_type</code>,
- <i>etc.</i>).</p>
- <table cellpadding="5" border="1" align="center">
- <caption>
- Iterator Helper Class Templates
- </caption>
- <tr>
- <td colspan="2">
- <table align="center" border="1">
- <caption>
- <em>Key</em>
- </caption>
- <tr>
- <td><code>T</code>: operand type</td>
- <td><code>P</code>: <code>pointer</code> type</td>
- </tr>
- <tr>
- <td><code>D</code>: <code>difference_type</code></td>
- <td><code>R</code>: <code>reference</code> type</td>
- </tr>
- <tr>
- <td><code>V</code>: <code>value_type</code></td>
- <td><code>x1, x2</code>: objects of type <code>T</code></td>
- </tr>
- </table>
- </td>
- </tr>
- <tr>
- <th>Template</th>
- <th>Operations & Requirements</th>
- </tr>
- <tr valign="baseline">
- <td><code><a name="input_iterator_helper">input_iterator_helper<T,
- V, D, P, R></a></code></td>
- <td>
- Supports the operations and has the requirements of
- <ul>
- <li><code><a href="#input_iteratable">input_iteratable<T,
- P></a></code></li>
- </ul>
- </td>
- </tr>
- <tr valign="baseline">
- <td><code><a name=
- "output_iterator_helper">output_iterator_helper<T></a></code></td>
- <td>
- Supports the operations and has the requirements of
- <ul>
- <li><code><a href=
- "#output_iteratable">output_iteratable<T></a></code></li>
- </ul>
- See also [<a href="#1">1</a>], [<a href="#2">2</a>].
- </td>
- </tr>
- <tr valign="baseline">
- <td><code><a name=
- "forward_iterator_helper">forward_iterator_helper<T, V, D, P,
- R></a></code></td>
- <td>
- Supports the operations and has the requirements of
- <ul>
- <li><code><a href="#forward_iteratable">forward_iteratable<T,
- P></a></code></li>
- </ul>
- </td>
- </tr>
- <tr valign="baseline">
- <td><code><a name=
- "bidirectional_iterator_helper">bidirectional_iterator_helper<T,
- V, D, P, R></a></code></td>
- <td>
- Supports the operations and has the requirements of
- <ul>
- <li><code><a href=
- "#bidirectional_iteratable">bidirectional_iteratable<T,
- P></a></code></li>
- </ul>
- </td>
- </tr>
- <tr valign="baseline">
- <td><code><a name=
- "random_access_iterator_helper">random_access_iterator_helper<T,
- V, D, P, R></a></code></td>
- <td>
- Supports the operations and has the requirements of
- <ul>
- <li><code><a href=
- "#random_access_iteratable">random_access_iteratable<T, P, D,
- R></a></code></li>
- </ul>
- To satisfy <cite><a href=
- "http://www.sgi.com/tech/stl/RandomAccessIterator.html">RandomAccessIterator</a></cite>,
- <code>x1 - x2</code> with return convertible to <code>D</code> is
- also required.
- </td>
- </tr>
- </table>
- <h4><a name="iterator_helpers_notes">Iterator Helper Notes</a></h4>
- <p><a name="1">[1]</a> Unlike other iterator helpers templates,
- <code>output_iterator_helper</code> takes only one template parameter -
- the type of its target class. Although to some it might seem like an
- unnecessary restriction, the standard requires
- <code>difference_type</code> and <code>value_type</code> of any output
- iterator to be <code>void</code> (24.3.1 [lib.iterator.traits]), and
- <code>output_iterator_helper</code> template respects this requirement.
- Also, output iterators in the standard have void <code>pointer</code> and
- <code>reference</code> types, so the <code>output_iterator_helper</code>
- does the same.</p>
- <p><a name="2">[2]</a> As self-proxying is the easiest and most common
- way to implement output iterators (see, for example, insert [24.4.2] and
- stream iterators [24.5] in the standard library),
- <code>output_iterator_helper</code> supports the idiom by defining
- <code>operator*</code> and <code>operator++</code> member functions which
- just return a non-const reference to the iterator itself. Support for
- self-proxying allows us, in many cases, to reduce the task of writing an
- output iterator to writing just two member functions - an appropriate
- constructor and a copy-assignment operator. For example, here is a
- possible implementation of <code><a href=
- "../iterator/doc/function_output_iterator.html">boost::function_output_iterator</a></code>
- adaptor:</p>
- <pre>
- template<class UnaryFunction>
- struct function_output_iterator
- : boost::output_iterator_helper< function_output_iterator<UnaryFunction> >
- {
- explicit function_output_iterator(UnaryFunction const& f = UnaryFunction())
- : func(f) {}
- template<typename T>
- function_output_iterator& operator=(T const& value)
- {
- this->func(value);
- return *this;
- }
- private:
- UnaryFunction func;
- };
- </pre>
- <p>Note that support for self-proxying does not prevent you from using
- <code>output_iterator_helper</code> to ease any other, different kind of
- output iterator's implementation. If
- <code>output_iterator_helper</code>'s target type provides its own
- definition of <code>operator*</code> or/and <code>operator++</code>, then
- these operators will get used and the ones supplied by
- <code>output_iterator_helper</code> will never be instantiated.</p>
- <h3><a name="i_demo">Iterator Demonstration</a> and Test Program</h3>
- <p>The <cite><a href="test/iterators_test.cpp">iterators_test.cpp</a></cite>
- program demonstrates the use of the iterator templates, and can also be
- used to verify correct operation. The following is the custom iterator
- defined in the test program. It demonstrates a correct (though trivial)
- implementation of the core operations that must be defined in order for
- the iterator helpers to "fill in" the rest of the iterator
- operations.</p>
- <blockquote>
- <pre>
- template <class T, class R, class P>
- struct test_iter
- : public boost::random_access_iterator_helper<
- test_iter<T,R,P>, T, std::ptrdiff_t, P, R>
- {
- typedef test_iter self;
- typedef R Reference;
- typedef std::ptrdiff_t Distance;
- public:
- explicit test_iter(T* i =0);
- test_iter(const self& x);
- self& operator=(const self& x);
- Reference operator*() const;
- self& operator++();
- self& operator--();
- self& operator+=(Distance n);
- self& operator-=(Distance n);
- bool operator==(const self& x) const;
- bool operator<(const self& x) const;
- friend Distance operator-(const self& x, const self& y);
- };
- </pre>
- </blockquote>
- <p>Check the <a href="http://www.boost.org/development/testing.html">compiler status
- report</a> for the test results with selected platforms.</p>
- <hr>
- <h2><a name="contributors">Contributors</a></h2>
- <dl>
- <dt><a href="http://www.boost.org/people/dave_abrahams.htm">Dave Abrahams</a></dt>
- <dd>Started the library and contributed the arithmetic operators in
- <cite><a href=
- "../../boost/operators.hpp">boost/operators.hpp</a></cite>.</dd>
- <dt><a href="http://www.boost.org/people/jeremy_siek.htm">Jeremy Siek</a></dt>
- <dd>Contributed the <a href="#deref">dereference operators and iterator
- helpers</a> in <cite><a href=
- "../../boost/operators.hpp">boost/operators.hpp</a></cite>. Also
- contributed <cite><a href=
- "iterators_test.cpp">iterators_test.cpp</a></cite>.</dd>
- <dt><a href="http://www.boost.org/people/aleksey_gurtovoy.htm">Aleksey
- Gurtovoy</a></dt>
- <dd>Contributed the code to support <a href="#chaining">base class
- chaining</a> while remaining backward-compatible with old versions of
- the library.</dd>
- <dt><a href="http://www.boost.org/people/beman_dawes.html">Beman Dawes</a></dt>
- <dd>Contributed <cite><a href=
- "test/operators_test.cpp">operators_test.cpp</a></cite>.</dd>
- <dt><a href="http://www.boost.org/people/daryle_walker.html">Daryle Walker</a></dt>
- <dd>Contributed classes for the shift operators, equivalence, partial
- ordering, and arithmetic conversions. Added the grouped operator
- classes. Added helper classes for input and output iterators.</dd>
- <dt>Helmut Zeisel</dt>
- <dd>Contributed the 'left' operators and added some grouped operator
- classes.</dd>
- <dt>Daniel Frey</dt>
- <dd>Contributed the NRVO-friendly and symmetric implementation of
- arithmetic operators.</dd>
- </dl>
- <h2>Note for Users of <a name="old_lib_note">Older Versions</a></h2>
- <p>The <a href="#chaining">changes in the library interface and
- recommended usage</a> were motivated by some practical issues described
- below. The new version of the library is still backward-compatible with
- the former one (so you're not <em>forced</em> change any existing code),
- but the old usage is deprecated. Though it was arguably simpler and more
- intuitive than using <a href="#chaining">base class chaining</a>, it has
- been discovered that the old practice of deriving from multiple operator
- templates can cause the resulting classes to be much larger than they
- should be. Most modern C++ compilers significantly bloat the size of
- classes derived from multiple empty base classes, even though the base
- classes themselves have no state. For instance, the size of
- <code>point<int></code> from the <a href="#example">example</a>
- above was 12-24 bytes on various compilers for the Win32 platform,
- instead of the expected 8 bytes.</p>
- <p>Strictly speaking, it was not the library's fault--the language rules
- allow the compiler to apply the empty base class optimization in that
- situation. In principle an arbitrary number of empty base classes can be
- allocated at the same offset, provided that none of them have a common
- ancestor (see section 10.5 [class.derived] paragraph 5 of the standard).
- But the language definition also doesn't <em>require</em> implementations
- to do the optimization, and few if any of today's compilers implement it
- when multiple inheritance is involved. What's worse, it is very unlikely
- that implementors will adopt it as a future enhancement to existing
- compilers, because it would break binary compatibility between code
- generated by two different versions of the same compiler. As Matt Austern
- said, "One of the few times when you have the freedom to do this sort of
- thing is when you're targeting a new architecture...". On the other hand,
- many common compilers will use the empty base optimization for single
- inheritance hierarchies.</p>
- <p>Given the importance of the issue for the users of the library (which
- aims to be useful for writing light-weight classes like
- <code>MyInt</code> or <code>point<></code>), and the forces
- described above, we decided to change the library interface so that the
- object size bloat could be eliminated even on compilers that support only
- the simplest form of the empty base class optimization. The current
- library interface is the result of those changes. Though the new usage is
- a bit more complicated than the old one, we think it's worth it to make
- the library more useful in real world. Alexy Gurtovoy contributed the
- code which supports the new usage idiom while allowing the library remain
- backward-compatible.</p>
- <hr>
- <p>Revised: 7 Aug 2008</p>
- <p>Copyright © Beman Dawes, David Abrahams, 1999-2001.</p>
- <p>Copyright © Daniel Frey, 2002-2009.</p>
- <p>Use, modification, and distribution is subject to the Boost Software
- License, Version 1.0. (See accompanying file
- <a href="../../LICENSE_1_0.txt">LICENSE_1_0.txt</a> or copy at
- <a href="http://www.boost.org/LICENSE_1_0.txt">
- www.boost.org/LICENSE_1_0.txt</a>)</p>
- </body>
- </html>
|