key_extraction.html 77 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139
  1. <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0.1 Transitional//EN">
  2. <html>
  3. <head>
  4. <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
  5. <title>Boost.MultiIndex Documentation - Tutorial - Key extraction</title>
  6. <link rel="stylesheet" href="../style.css" type="text/css">
  7. <link rel="start" href="../index.html">
  8. <link rel="prev" href="indices.html">
  9. <link rel="up" href="index.html">
  10. <link rel="next" href="creation.html">
  11. </head>
  12. <body>
  13. <h1><img src="../../../../boost.png" alt="boost.png (6897 bytes)" align=
  14. "middle" width="277" height="86">Boost.MultiIndex Tutorial: Key extraction</h1>
  15. <div class="prev_link"><a href="indices.html"><img src="../prev.gif" alt="index types" border="0"><br>
  16. Index types
  17. </a></div>
  18. <div class="up_link"><a href="index.html"><img src="../up.gif" alt="Boost.MultiIndex tutorial" border="0"><br>
  19. Boost.MultiIndex tutorial
  20. </a></div>
  21. <div class="next_link"><a href="creation.html"><img src="../next.gif" alt="container creation" border="0"><br>
  22. Container creation
  23. </a></div><br clear="all" style="clear: all;">
  24. <hr>
  25. <h2>Contents</h2>
  26. <ul>
  27. <li><a href="#intro">Introduction</a>
  28. <ul>
  29. <li><a href="#read_write_key_extractors">Read/write key extractors</a></li>
  30. </ul>
  31. </li>
  32. <li><a href="#predefined_key_extractors">Predefined key extractors</a>
  33. <ul>
  34. <li><a href="#identity"><code>identity</code></a></li>
  35. <li><a href="#member"><code>member</code></a></li>
  36. <li><a href="#const_mem_fun"><code>const_mem_fun</code> and <code>mem_fun</code></a>
  37. <ul>
  38. <li><a href="#x_mem_fun">Variants for other types of member functions</a></li>
  39. </ul>
  40. </li>
  41. <li><a href="#global_fun"><code>global_fun</code></a></li>
  42. </ul>
  43. </li>
  44. <li><a href="#user_defined_key_extractors">User-defined key extractors</a></li>
  45. <li><a href="#composite_keys">Composite keys</a>
  46. <ul>
  47. <li><a href="#composite_keys_hash">Composite keys and hashed indices</a></li>
  48. </ul>
  49. </li>
  50. <li><a href="#key">C++17 terse key specification syntax</a></li>
  51. <li><a href="#advanced_key_extractors">Advanced features of Boost.MultiIndex key
  52. extractors</a></li>
  53. </ul>
  54. <h2><a name="intro">Introduction</a></h2>
  55. <p>
  56. STL associative containers have a notion of key, albeit in a somewhat incipient
  57. form. So, the keys of such containers are identified by a nested type
  58. <code>key_type</code>; for <code>std::set</code>s and <code>std::multiset</code>s,
  59. <code>key_type</code> coincides with <code>value_type</code>, i.e. the key is the
  60. element itself. <code>std::map</code> and <code>std::multimap</code> manage
  61. elements of type <code>std::pair&lt;const Key,T&gt;</code>, where the first
  62. member is the key. In either case, the process of obtaining the key from a
  63. given element is implicitly fixed and cannot be customized by the user.
  64. </p>
  65. <p>
  66. Fixed key extraction mechanisms like those performed by STL associative
  67. containers do not scale well in the context of Boost.MultiIndex, where
  68. several indices share their <code>value_type</code> definition but
  69. might feature completely different lookup semantics. For this reason,
  70. Boost.MultiIndex formalizes the concept of a
  71. <a href="../reference/key_extraction.html#key_extractors"><code>Key
  72. Extractor</code></a> in order to make it explicit and controllable
  73. in the definition of key-based indices.
  74. </p>
  75. <p>
  76. Intuitively speaking, a key extractor is a function object that accepts
  77. a reference to an element and returns its associated key. The formal
  78. concept also imposes some reasonable constraints about the stability
  79. of the process, in the sense that extractors are assumed to
  80. return the same key when passed the same element: this is in consonance
  81. with the informal understanding that keys are actually some "part"
  82. of the element and do not depend on external data.
  83. </p>
  84. <h3><a name="read_write_key_extractors">Read/write key extractors</a></h3>
  85. <p>
  86. A key extractor is called <i>read/write</i> if it returns a non-constant reference
  87. to the key when passed a non-constant element, and it is called <i>read-only</i>
  88. otherwise. Boost.MultiIndex requires that the key extractor be read/write
  89. when using the <code>modify_key</code> member function of ordered and hashed
  90. indices. In all other situations, read-only extractors suffice.
  91. The section on <a href="#advanced_key_extractors">advanced features
  92. of Boost.MultiIndex key extractors</a> details which of the predefined
  93. key extractors are read/write.
  94. </p>
  95. <h2><a name="predefined_key_extractors">Predefined key extractors</a></h2>
  96. <h3><a name="identity"><code>identity</code></a></h3>
  97. <p>
  98. The <a href="../reference/key_extraction.html#identity"><code>identity</code></a>
  99. key extractor returns the entire base object as the associated key:
  100. </p>
  101. <blockquote><pre>
  102. <span class=preprocessor>#include</span> <span class=special>&lt;</span><span class=identifier>boost</span><span class=special>/</span><span class=identifier>multi_index_container</span><span class=special>.</span><span class=identifier>hpp</span><span class=special>&gt;</span>
  103. <span class=preprocessor>#include</span> <span class=special>&lt;</span><span class=identifier>boost</span><span class=special>/</span><span class=identifier>multi_index</span><span class=special>/</span><span class=identifier>ordered_index</span><span class=special>.</span><span class=identifier>hpp</span><span class=special>&gt;</span>
  104. <span class=preprocessor>#include</span> <span class=special>&lt;</span><span class=identifier>boost</span><span class=special>/</span><span class=identifier>multi_index</span><span class=special>/</span><span class=identifier>identity</span><span class=special>.</span><span class=identifier>hpp</span><span class=special>&gt;</span>
  105. <span class=identifier>multi_index_container</span><span class=special>&lt;</span>
  106. <span class=keyword>int</span><span class=special>,</span>
  107. <span class=identifier>indexed_by</span><span class=special>&lt;</span>
  108. <span class=identifier>ordered_unique</span><span class=special>&lt;</span>
  109. <span class=identifier>identity</span><span class=special>&lt;</span><span class=keyword>int</span><span class=special>&gt;</span> <span class=comment>// the key is the entire element</span>
  110. <span class=special>&gt;</span>
  111. <span class=special>&gt;</span>
  112. <span class=special>&gt;</span> <span class=identifier>cont</span><span class=special>;</span>
  113. </pre></blockquote>
  114. <h3><a name="member"><code>member</code></a></h3>
  115. <p>
  116. <a href="../reference/key_extraction.html#member"><code>member</code></a>
  117. key extractors return a reference to a specified
  118. data field of the base object. For instance, in the following version of our
  119. familiar employee container:
  120. </p>
  121. <blockquote><pre>
  122. <span class=preprocessor>#include</span> <span class=special>&lt;</span><span class=identifier>boost</span><span class=special>/</span><span class=identifier>multi_index_container</span><span class=special>.</span><span class=identifier>hpp</span><span class=special>&gt;</span>
  123. <span class=preprocessor>#include</span> <span class=special>&lt;</span><span class=identifier>boost</span><span class=special>/</span><span class=identifier>multi_index</span><span class=special>/</span><span class=identifier>ordered_index</span><span class=special>.</span><span class=identifier>hpp</span><span class=special>&gt;</span>
  124. <span class=preprocessor>#include</span> <span class=special>&lt;</span><span class=identifier>boost</span><span class=special>/</span><span class=identifier>multi_index</span><span class=special>/</span><span class=identifier>identity</span><span class=special>.</span><span class=identifier>hpp</span><span class=special>&gt;</span>
  125. <span class=preprocessor>#include</span> <span class=special>&lt;</span><span class=identifier>boost</span><span class=special>/</span><span class=identifier>multi_index</span><span class=special>/</span><span class=identifier>member</span><span class=special>.</span><span class=identifier>hpp</span><span class=special>&gt;</span>
  126. <span class=keyword>typedef</span> <span class=identifier>multi_index_container</span><span class=special>&lt;</span>
  127. <span class=identifier>employee</span><span class=special>,</span>
  128. <span class=identifier>indexed_by</span><span class=special>&lt;</span>
  129. <span class=identifier>ordered_unique</span><span class=special>&lt;</span><span class=identifier>identity</span><span class=special>&lt;</span><span class=identifier>employee</span><span class=special>&gt;</span> <span class=special>&gt;,</span>
  130. <span class=identifier>ordered_non_unique</span><span class=special>&lt;</span><span class=identifier>member</span><span class=special>&lt;</span><span class=identifier>employee</span><span class=special>,</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span><span class=special>,&amp;</span><span class=identifier>employee</span><span class=special>::</span><span class=identifier>name</span><span class=special>&gt;</span> <span class=special>&gt;,</span>
  131. <span class=identifier>ordered_unique</span><span class=special>&lt;</span><span class=identifier>member</span><span class=special>&lt;</span><span class=identifier>employee</span><span class=special>,</span><span class=keyword>int</span><span class=special>,&amp;</span><span class=identifier>employee</span><span class=special>::</span><span class=identifier>ssnumber</span><span class=special>&gt;</span> <span class=special>&gt;</span>
  132. <span class=special>&gt;</span>
  133. <span class=special>&gt;</span> <span class=identifier>employee_set</span><span class=special>;</span>
  134. </pre></blockquote>
  135. <p>
  136. the second and third indices use <code>member</code> extractors on
  137. <code>employee::name</code> and <code>employee::ssnumber</code>, respectively.
  138. The specification of an instantiation of <code>member</code> is simple
  139. yet a little contrived:
  140. </p>
  141. <blockquote><pre>
  142. <span class=identifier>member</span><span class=special>&lt;</span><span class=identifier><i>(base type)</i></span><span class=special>,</span><span class=identifier><i>(key type)</i></span><span class=special>,</span><span class=identifier><i>(pointer to member)</i></span><span class=special>&gt;</span>
  143. </pre></blockquote>
  144. <p>
  145. It might seem that the first and second parameters are superfluous,
  146. since the type of the base object and of the associated data field are
  147. already implicit in the pointer to member argument: unfortunately, it is
  148. not possible to extract this information with current C++ mechanisms,
  149. which makes the syntax of <code>member</code> a little too verbose.
  150. </p>
  151. <h3><a name="const_mem_fun"><code>const_mem_fun</code> and <code>mem_fun</code></a></h3>
  152. <p>
  153. Sometimes, the key of an index is not a concrete data member of the element,
  154. but rather it is a value returned by a particular member function.
  155. This resembles the notion of <i>calculated indices</i> supported by some
  156. relational databases. Boost.MultiIndex supports this
  157. kind of key extraction through
  158. <a href="../reference/key_extraction.html#const_mem_fun"><code>const_mem_fun</code></a>.
  159. Consider the following container where sorting on the third index
  160. is based upon the length of the name field:
  161. </p>
  162. <blockquote><pre>
  163. <span class=preprocessor>#include</span> <span class=special>&lt;</span><span class=identifier>boost</span><span class=special>/</span><span class=identifier>multi_index_container</span><span class=special>.</span><span class=identifier>hpp</span><span class=special>&gt;</span>
  164. <span class=preprocessor>#include</span> <span class=special>&lt;</span><span class=identifier>boost</span><span class=special>/</span><span class=identifier>multi_index</span><span class=special>/</span><span class=identifier>ordered_index</span><span class=special>.</span><span class=identifier>hpp</span><span class=special>&gt;</span>
  165. <span class=preprocessor>#include</span> <span class=special>&lt;</span><span class=identifier>boost</span><span class=special>/</span><span class=identifier>multi_index</span><span class=special>/</span><span class=identifier>identity</span><span class=special>.</span><span class=identifier>hpp</span><span class=special>&gt;</span>
  166. <span class=preprocessor>#include</span> <span class=special>&lt;</span><span class=identifier>boost</span><span class=special>/</span><span class=identifier>multi_index</span><span class=special>/</span><span class=identifier>member</span><span class=special>.</span><span class=identifier>hpp</span><span class=special>&gt;</span>
  167. <span class=preprocessor>#include</span> <span class=special>&lt;</span><span class=identifier>boost</span><span class=special>/</span><span class=identifier>multi_index</span><span class=special>/</span><span class=identifier>mem_fun</span><span class=special>.</span><span class=identifier>hpp</span><span class=special>&gt;</span>
  168. <span class=keyword>struct</span> <span class=identifier>employee</span>
  169. <span class=special>{</span>
  170. <span class=keyword>int</span> <span class=identifier>id</span><span class=special>;</span>
  171. <span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span> <span class=identifier>name</span><span class=special>;</span>
  172. <span class=identifier>employee</span><span class=special>(</span><span class=keyword>int</span> <span class=identifier>id</span><span class=special>,</span><span class=keyword>const</span> <span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span><span class=special>&amp;</span> <span class=identifier>name</span><span class=special>):</span><span class=identifier>id</span><span class=special>(</span><span class=identifier>id</span><span class=special>),</span><span class=identifier>name</span><span class=special>(</span><span class=identifier>name</span><span class=special>){}</span>
  173. <span class=keyword>bool</span> <span class=keyword>operator</span><span class=special>&lt;(</span><span class=keyword>const</span> <span class=identifier>employee</span><span class=special>&amp;</span> <span class=identifier>e</span><span class=special>)</span><span class=keyword>const</span><span class=special>{</span><span class=keyword>return</span> <span class=identifier>id</span><span class=special>&lt;</span><span class=identifier>e</span><span class=special>.</span><span class=identifier>id</span><span class=special>;}</span>
  174. <span class=comment>// returns the length of the name field</span>
  175. <span class=identifier>std</span><span class=special>::</span><span class=identifier>size_t</span> <span class=identifier>name_length</span><span class=special>()</span><span class=keyword>const</span><span class=special>{</span><span class=keyword>return</span> <span class=identifier>name</span><span class=special>.</span><span class=identifier>size</span><span class=special>();}</span>
  176. <span class=special>};</span>
  177. <span class=keyword>typedef</span> <span class=identifier>multi_index_container</span><span class=special>&lt;</span>
  178. <span class=identifier>employee</span><span class=special>,</span>
  179. <span class=identifier>indexed_by</span><span class=special>&lt;</span>
  180. <span class=comment>// sort by employee::operator&lt;</span>
  181. <span class=identifier>ordered_unique</span><span class=special>&lt;</span><span class=identifier>identity</span><span class=special>&lt;</span><span class=identifier>employee</span><span class=special>&gt;</span> <span class=special>&gt;,</span>
  182. <span class=comment>// sort by less&lt;string&gt; on name</span>
  183. <span class=identifier>ordered_non_unique</span><span class=special>&lt;</span><span class=identifier>member</span><span class=special>&lt;</span><span class=identifier>employee</span><span class=special>,</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span><span class=special>,&amp;</span><span class=identifier>employee</span><span class=special>::</span><span class=identifier>name</span><span class=special>&gt;</span> <span class=special>&gt;,</span>
  184. <span class=comment>// sort by less&lt;int&gt; on name_length()</span>
  185. <span class=identifier>ordered_non_unique</span><span class=special>&lt;</span>
  186. <span class=identifier>const_mem_fun</span><span class=special>&lt;</span><span class=identifier>employee</span><span class=special>,</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>size_t</span><span class=special>,&amp;</span><span class=identifier>employee</span><span class=special>::</span><span class=identifier>name_length</span><span class=special>&gt;</span>
  187. <span class=special>&gt;</span>
  188. <span class=special>&gt;</span>
  189. <span class=special>&gt;</span> <span class=identifier>employee_set</span><span class=special>;</span>
  190. </pre></blockquote>
  191. <p>
  192. <code>const_mem_fun</code> usage syntax is similar to that of
  193. <a href="#member"><code>member</code></a>:
  194. </p>
  195. <blockquote><pre>
  196. <span class=identifier>const_mem_fun</span><span class=special>&lt;</span><span class=identifier><i>(base type)</i></span><span class=special>,</span><span class=identifier><i>(key type)</i></span><span class=special>,</span><span class=identifier><i>(pointer to member function)</i></span><span class=special>&gt;</span>
  197. </pre></blockquote>
  198. <p>
  199. The member function referred to must be <code>const</code>, take no arguments and return
  200. a value of the specified key type.
  201. Almost always you will want to use a <code>const</code> member function,
  202. since elements in a <code>multi_index_container</code> are treated as constant, much
  203. as elements of an <code>std::set</code>. However, a
  204. <a href="../reference/key_extraction.html#mem_fun"><code>mem_fun</code></a>
  205. counterpart is provided for use with non-constant member functions, whose
  206. applicability is discussed on the paragraph on
  207. <a href="#advanced_key_extractors">advanced features
  208. of Boost.MultiIndex key extractors</a>.
  209. </p>
  210. <p><a href="../examples.html#example2">Example 2</a> in the examples section
  211. provides a complete program showing how to use <code>const_mem_fun</code>.
  212. <p>
  213. <h4><a name="x_mem_fun">Variants for other types of member functions</a></h4>
  214. <p>
  215. Consider the following, non-compiling code:
  216. </p>
  217. <blockquote><pre>
  218. <span class=keyword>struct</span> <span class=identifier>employee</span>
  219. <span class=special>{</span>
  220. <span class=special>...</span>
  221. <span class=identifier>std</span><span class=special>::</span><span class=identifier>size_t</span> <span class=identifier>salary</span><span class=special>()</span><span class=keyword>const</span><span class=special><b>&amp;</b>;</span> <span class=comment>// note the &amp;</span>
  222. <span class=special>};</span>
  223. <span class=keyword>typedef</span> <span class=identifier>multi_index_container</span><span class=special>&lt;</span>
  224. <span class=identifier>employee</span><span class=special>,</span>
  225. <span class=identifier>indexed_by</span><span class=special>&lt;</span>
  226. <span class=special>...</span>
  227. <span class=identifier>ordered_non_unique</span><span class=special>&lt;</span>
  228. <span class=comment>// compiler error: can't convert &amp;employee::salary to
  229. // std::size_t (employee::*)() const</span>
  230. <span class=identifier><b>const_mem_fun</b></span><span class=special>&lt;</span><span class=identifier>employee</span><span class=special>,</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>size_t</span><span class=special>,&amp;</span><span class=identifier>employee</span><span class=special>::</span><span class=identifier>salary</span><span class=special>&gt;</span>
  231. <span class=special>&gt;</span>
  232. <span class=special>&gt;</span>
  233. <span class=special>&gt;</span> <span class=identifier>employee_set</span><span class=special>;</span>
  234. </pre></blockquote>
  235. <p>
  236. The problem here is that the type of <code>&amp;employee::salary</code>, which is
  237. <a href="https://en.cppreference.com/w/cpp/language/member_functions#const-.2C_volatile-.2C_and_ref-qualified_member_functions">ref-qualified</a>,
  238. does not match exactly what <code>const_mem_fun</code> expects. Fortunately, Boost.MultiIndex
  239. provides a variant to fit:
  240. </p>
  241. <blockquote><pre>
  242. <span class=keyword>typedef</span> <span class=identifier>multi_index_container</span><span class=special>&lt;</span>
  243. <span class=identifier>employee</span><span class=special>,</span>
  244. <span class=identifier>indexed_by</span><span class=special>&lt;</span>
  245. <span class=special>...</span>
  246. <span class=identifier>ordered_non_unique</span><span class=special>&lt;</span>
  247. <span class=identifier><b>cref_mem_fun</b></span><span class=special>&lt;</span><span class=identifier>employee</span><span class=special>,</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>size_t</span><span class=special>,&amp;</span><span class=identifier>employee</span><span class=special>::</span><span class=identifier>salary</span><span class=special>&gt;</span>
  248. <span class=special>&gt;</span>
  249. <span class=special>&gt;</span>
  250. <span class=special>&gt;</span> <span class=identifier>employee_set</span><span class=special>;</span>
  251. </pre></blockquote>
  252. <p>
  253. This is the list of all available variants of <code>const_mem_fun</code> and
  254. <code>mem_fun</code>:
  255. </p>
  256. <p align="center">
  257. <table cellspacing="0">
  258. <caption><b>Variants of <code>const_mem_fun</code> and <code>mem_fun</code>.</b></caption>
  259. <tr>
  260. <th>&nbsp;Member function example&nbsp;</th>
  261. <th>Suitable extractor</th>
  262. <th>Behaves as</th>
  263. </tr>
  264. <tr>
  265. <td><code>int f()const volatile</code></td>
  266. <td><a href="../reference/key_extraction.html#cv_mem_fun"><code>cv_mem_fun</code></a><code>&lt;int,X,&amp;X::f&gt;</code></td>
  267. <td align="center" rowspan="3">&nbsp;<code>const_mem_fun</code>&nbsp;</td>
  268. </tr>
  269. <tr>
  270. <td><code>int f()const&amp;</code></td>
  271. <td><a href="../reference/key_extraction.html#cv_mem_fun"><code>cref_mem_fun</code></a><code>&lt;int,X,&amp;X::f&gt;</code></td>
  272. </tr>
  273. <tr>
  274. <td><code>int f()const volatile&amp;</code></td>
  275. <td><a href="../reference/key_extraction.html#cv_mem_fun"><code>cvref_mem_fun</code></a><code>&lt;int,X,&amp;X::f&gt;</code></td>
  276. </tr>
  277. <tr>
  278. <td><code>int f()volatile</code></td>
  279. <td><a href="../reference/key_extraction.html#volatile_mem_fun"><code>volatile_mem_fun</code></a><code>&lt;int,X,&amp;X::f&gt;</code></td>
  280. <td align="center" rowspan="3"><code>mem_fun</code></td>
  281. </tr>
  282. <tr>
  283. <td><code>int f()&amp;</code></td>
  284. <td><a href="../reference/key_extraction.html#volatile_mem_fun"><code>ref_mem_fun</code></a><code>&lt;int,X,&amp;X::f&gt;</code></td>
  285. </tr>
  286. <tr>
  287. <td><code>int f()volatile&amp;</code></td>
  288. <td><a href="../reference/key_extraction.html#volatile_mem_fun"><code>vref_mem_fun</code></a><code>&lt;int,X,&amp;X::f&gt;</code></td>
  289. </tr>
  290. </table>
  291. </p>
  292. <h3><a name="global_fun"><code>global_fun</code></a></h3>
  293. <p>
  294. Whereas <code>const_mem_fun</code> and its variants are based on a
  295. given member function of the base type from where the key is extracted,
  296. <a href="../reference/key_extraction.html#global_fun"><code>global_fun</code></a>
  297. takes a global function (or static member function) accepting the base
  298. type as its parameter and returning the key:
  299. </p>
  300. <blockquote><pre>
  301. <span class=preprocessor>#include</span> <span class=special>&lt;</span><span class=identifier>boost</span><span class=special>/</span><span class=identifier>multi_index_container</span><span class=special>.</span><span class=identifier>hpp</span><span class=special>&gt;</span>
  302. <span class=preprocessor>#include</span> <span class=special>&lt;</span><span class=identifier>boost</span><span class=special>/</span><span class=identifier>multi_index</span><span class=special>/</span><span class=identifier>ordered_index</span><span class=special>.</span><span class=identifier>hpp</span><span class=special>&gt;</span>
  303. <span class=preprocessor>#include</span> <span class=special>&lt;</span><span class=identifier>boost</span><span class=special>/</span><span class=identifier>multi_index</span><span class=special>/</span><span class=identifier>global_fun</span><span class=special>.</span><span class=identifier>hpp</span><span class=special>&gt;</span>
  304. <span class=keyword>struct</span> <span class=identifier>rectangle</span>
  305. <span class=special>{</span>
  306. <span class=keyword>int</span> <span class=identifier>x0</span><span class=special>,</span><span class=identifier>y0</span><span class=special>;</span>
  307. <span class=keyword>int</span> <span class=identifier>x1</span><span class=special>,</span><span class=identifier>y1</span><span class=special>;</span>
  308. <span class=special>};</span>
  309. <span class=keyword>unsigned</span> <span class=keyword>long</span> <span class=identifier>area</span><span class=special>(</span><span class=keyword>const</span> <span class=identifier>rectangle</span><span class=special>&amp;</span> <span class=identifier>r</span><span class=special>)</span>
  310. <span class=special>{</span>
  311. <span class=keyword>return</span> <span class=special>(</span><span class=keyword>unsigned</span> <span class=keyword>long</span><span class=special>)(</span><span class=identifier>r</span><span class=special>.</span><span class=identifier>x1</span><span class=special>-</span><span class=identifier>r</span><span class=special>.</span><span class=identifier>x0</span><span class=special>)*(</span><span class=identifier>r</span><span class=special>.</span><span class=identifier>x1</span><span class=special>-</span><span class=identifier>r</span><span class=special>.</span><span class=identifier>x0</span><span class=special>)+</span>
  312. <span class=special>(</span><span class=keyword>unsigned</span> <span class=keyword>long</span><span class=special>)(</span><span class=identifier>r</span><span class=special>.</span><span class=identifier>y1</span><span class=special>-</span><span class=identifier>r</span><span class=special>.</span><span class=identifier>y0</span><span class=special>)*(</span><span class=identifier>r</span><span class=special>.</span><span class=identifier>y1</span><span class=special>-</span><span class=identifier>r</span><span class=special>.</span><span class=identifier>y0</span><span class=special>);</span>
  313. <span class=special>}</span>
  314. <span class=keyword>typedef</span> <span class=identifier>multi_index_container</span><span class=special>&lt;</span>
  315. <span class=identifier>rectangle</span><span class=special>,</span>
  316. <span class=identifier>indexed_by</span><span class=special>&lt;</span>
  317. <span class=comment>// sort by increasing area</span>
  318. <span class=identifier>ordered_non_unique</span><span class=special>&lt;</span><span class=identifier>global_fun</span><span class=special>&lt;</span><span class=keyword>const</span> <span class=identifier>rectangle</span><span class=special>&amp;,</span><span class=keyword>unsigned</span> <span class=keyword>long</span><span class=special>,&amp;</span><span class=identifier>area</span><span class=special>&gt;</span> <span class=special>&gt;</span>
  319. <span class=special>&gt;</span>
  320. <span class=special>&gt;</span> <span class=identifier>rectangle_container</span><span class=special>;</span>
  321. </pre></blockquote>
  322. <p>
  323. The specification of <code>global_fun</code> obeys the following syntax:
  324. </p>
  325. <blockquote><pre>
  326. <span class=identifier>global_fun</span><span class=special>&lt;</span><span class=identifier><i>(argument type)</i></span><span class=special>,</span><span class=identifier><i>(key type)</i></span><span class=special>,</span><span class=identifier><i>(pointer to function)</i></span><span class=special>&gt;</span>
  327. </pre></blockquote>
  328. <p>
  329. where the argument type and key type must match <i>exactly</i> those in the
  330. signature of the function used; for instance, in the example above the argument
  331. type is <code>const rectangle&amp;</code>, without omitting the "<code>const</code>"
  332. and "<code>&amp;</code>" parts. So, although most of the time the base type will be
  333. accepted by constant reference, <code>global_fun</code> is also prepared to take
  334. functions accepting their argument by value or by non-constant reference: this
  335. latter case cannot generally be used directly in the specification of
  336. <code>multi_index_container</code>s as their elements are treated as constant,
  337. but the section on <a href="#advanced_key_extractors">advanced features
  338. of Boost.MultiIndex key extractors</a> describes valid use cases of
  339. key extraction based on such functions with a non-constant reference argument.
  340. </p>
  341. <p><a href="../examples.html#example2">Example 2</a> in the examples section
  342. uses <code>gobal_fun</code>.
  343. <p>
  344. <h2><a name="user_defined_key_extractors">User-defined key extractors</a></h2>
  345. <p>
  346. Although the <a href="#predefined_key_extractors">predefined key extractors</a>
  347. provided by Boost.MultiIndex are intended to serve most cases,
  348. the user can also provide her own key extractors in more exotic situations,
  349. as long as these conform to the
  350. <a href="../reference/key_extraction.html#key_extractors"><code>Key
  351. Extractor</code></a> concept.
  352. </p>
  353. <blockquote><pre>
  354. <span class=comment>// some record class</span>
  355. <span class=keyword>struct</span> <span class=identifier>record</span>
  356. <span class=special>{</span>
  357. <span class=identifier>boost</span><span class=special>::</span><span class=identifier>gregorian</span><span class=special>::</span><span class=identifier>date</span> <span class=identifier>d</span><span class=special>;</span>
  358. <span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span> <span class=identifier>str</span><span class=special>;</span>
  359. <span class=special>};</span>
  360. <span class=comment>// extracts a record's year</span>
  361. <span class=keyword>struct</span> <span class=identifier>record_year</span>
  362. <span class=special>{</span>
  363. <span class=comment>// result_type typedef required by Key Extractor concept</span>
  364. <span class=keyword>typedef</span> <span class=identifier>boost</span><span class=special>::</span><span class=identifier>gregorian</span><span class=special>::</span><span class=identifier>greg_year</span> <span class=identifier>result_type</span><span class=special>;</span>
  365. <span class=identifier>result_type</span> <span class=keyword>operator</span><span class=special>()(</span><span class=keyword>const</span> <span class=identifier>record</span><span class=special>&amp;</span> <span class=identifier>r</span><span class=special>)</span><span class=keyword>const</span> <span class=comment>// operator() must be const</span>
  366. <span class=special>{</span>
  367. <span class=keyword>return</span> <span class=identifier>r</span><span class=special>.</span><span class=identifier>d</span><span class=special>.</span><span class=identifier>year</span><span class=special>();</span>
  368. <span class=special>}</span>
  369. <span class=special>};</span>
  370. <span class=comment>// example of use of the previous key extractor</span>
  371. <span class=keyword>typedef</span> <span class=identifier>multi_index_container</span><span class=special>&lt;</span>
  372. <span class=identifier>record</span><span class=special>,</span>
  373. <span class=identifier>indexed_by</span><span class=special>&lt;</span>
  374. <span class=identifier>ordered_non_unique</span><span class=special>&lt;</span><span class=identifier>record_year</span><span class=special>&gt;</span> <span class=comment>// sorted by record's year</span>
  375. <span class=special>&gt;</span>
  376. <span class=special>&gt;</span> <span class=identifier>record_log</span><span class=special>;</span>
  377. </pre></blockquote>
  378. <p>
  379. <a href="../examples.html#example6">Example 6</a> in the examples section
  380. applies some user-defined key extractors in a complex scenario where
  381. keys are accessed via pointers.
  382. </p>
  383. <h2><a name="composite_keys">Composite keys</a></h2>
  384. <p>
  385. In relational databases, composite keys depend on two or more fields of a given table.
  386. The analogous concept in Boost.MultiIndex is modeled by means of
  387. <a href="../reference/key_extraction.html#composite_key">
  388. <code>composite_key</code></a>, as shown in the example:
  389. </p>
  390. <blockquote><pre>
  391. <span class=preprocessor>#include</span> <span class=special>&lt;</span><span class=identifier>boost</span><span class=special>/</span><span class=identifier>multi_index_container</span><span class=special>.</span><span class=identifier>hpp</span><span class=special>&gt;</span>
  392. <span class=preprocessor>#include</span> <span class=special>&lt;</span><span class=identifier>boost</span><span class=special>/</span><span class=identifier>multi_index</span><span class=special>/</span><span class=identifier>ordered_index</span><span class=special>.</span><span class=identifier>hpp</span><span class=special>&gt;</span>
  393. <span class=preprocessor>#include</span> <span class=special>&lt;</span><span class=identifier>boost</span><span class=special>/</span><span class=identifier>multi_index</span><span class=special>/</span><span class=identifier>member</span><span class=special>.</span><span class=identifier>hpp</span><span class=special>&gt;</span>
  394. <span class=preprocessor>#include</span> <span class=special>&lt;</span><span class=identifier>boost</span><span class=special>/</span><span class=identifier>multi_index</span><span class=special>/</span><span class=identifier>composite_key</span><span class=special>.</span><span class=identifier>hpp</span><span class=special>&gt;</span>
  395. <span class=keyword>struct</span> <span class=identifier>phonebook_entry</span>
  396. <span class=special>{</span>
  397. <span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span> <span class=identifier>family_name</span><span class=special>;</span>
  398. <span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span> <span class=identifier>given_name</span><span class=special>;</span>
  399. <span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span> <span class=identifier>phone_number</span><span class=special>;</span>
  400. <span class=identifier>phonebook_entry</span><span class=special>(</span>
  401. <span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span> <span class=identifier>family_name</span><span class=special>,</span>
  402. <span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span> <span class=identifier>given_name</span><span class=special>,</span>
  403. <span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span> <span class=identifier>phone_number</span><span class=special>):</span>
  404. <span class=identifier>family_name</span><span class=special>(</span><span class=identifier>family_name</span><span class=special>),</span><span class=identifier>given_name</span><span class=special>(</span><span class=identifier>given_name</span><span class=special>),</span><span class=identifier>phone_number</span><span class=special>(</span><span class=identifier>phone_number</span><span class=special>)</span>
  405. <span class=special>{}</span>
  406. <span class=special>};</span>
  407. <span class=comment>// define a multi_index_container with a composite key on
  408. // (family_name,given_name)</span>
  409. <span class=keyword>typedef</span> <span class=identifier>multi_index_container</span><span class=special>&lt;</span>
  410. <span class=identifier>phonebook_entry</span><span class=special>,</span>
  411. <span class=identifier>indexed_by</span><span class=special>&lt;</span>
  412. <span class=comment>// non-unique as some subscribers might have more than one number</span>
  413. <span class=identifier>ordered_non_unique</span><span class=special>&lt;</span>
  414. <span class=identifier>composite_key</span><span class=special>&lt;</span>
  415. <span class=identifier>phonebook_entry</span><span class=special>,</span>
  416. <span class=identifier>member</span><span class=special>&lt;</span><span class=identifier>phonebook_entry</span><span class=special>,</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span><span class=special>,&amp;</span><span class=identifier>phonebook_entry</span><span class=special>::</span><span class=identifier>family_name</span><span class=special>&gt;,</span>
  417. <span class=identifier>member</span><span class=special>&lt;</span><span class=identifier>phonebook_entry</span><span class=special>,</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span><span class=special>,&amp;</span><span class=identifier>phonebook_entry</span><span class=special>::</span><span class=identifier>given_name</span><span class=special>&gt;</span>
  418. <span class=special>&gt;</span>
  419. <span class=special>&gt;,</span>
  420. <span class=identifier>ordered_unique</span><span class=special>&lt;</span> <span class=comment>// unique as numbers belong to only one subscriber</span>
  421. <span class=identifier>member</span><span class=special>&lt;</span><span class=identifier>phonebook_entry</span><span class=special>,</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span><span class=special>,&amp;</span><span class=identifier>phonebook_entry</span><span class=special>::</span><span class=identifier>phone_number</span><span class=special>&gt;</span>
  422. <span class=special>&gt;</span>
  423. <span class=special>&gt;</span>
  424. <span class=special>&gt;</span> <span class=identifier>phonebook</span><span class=special>;</span>
  425. </pre></blockquote>
  426. <p>
  427. <code>composite_key</code> accepts two or more key extractors on the same
  428. value (here, <code>phonebook_entry</code>). Lookup operations on a composite
  429. key are accomplished by passing tuples with the values searched:
  430. </p>
  431. <blockquote><pre>
  432. <span class=identifier>phonebook</span> <span class=identifier>pb</span><span class=special>;</span>
  433. <span class=special>...</span>
  434. <span class=comment>// search for Dorothea White's number</span>
  435. <span class=identifier>phonebook</span><span class=special>::</span><span class=identifier>iterator</span> <span class=identifier>it</span><span class=special>=</span><span class=identifier>pb</span><span class=special>.</span><span class=identifier>find</span><span class=special>(</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>make_tuple</span><span class=special>(</span><span class=string>&quot;White&quot;</span><span class=special>,</span><span class=string>&quot;Dorothea&quot;</span><span class=special>));</span>
  436. <span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span> <span class=identifier>number</span><span class=special>=</span><span class=identifier>it</span><span class=special>-&gt;</span><span class=identifier>phone_number</span><span class=special>;</span>
  437. </pre></blockquote>
  438. <p>
  439. Composite keys are sorted by lexicographical order, i.e. sorting is performed
  440. by the first key, then the second key if the first one is equal, etc. This
  441. order allows for partial searches where only the first keys are specified:
  442. </p>
  443. <blockquote><pre>
  444. <span class=identifier>phonebook</span> <span class=identifier>pb</span><span class=special>;</span>
  445. <span class=special>...</span>
  446. <span class=comment>// look for all Whites</span>
  447. <span class=identifier>std</span><span class=special>::</span><span class=identifier>pair</span><span class=special>&lt;</span><span class=identifier>phonebook</span><span class=special>::</span><span class=identifier>iterator</span><span class=special>,</span><span class=identifier>phonebook</span><span class=special>::</span><span class=identifier>iterator</span><span class=special>&gt;</span> <span class=identifier>p</span><span class=special>=</span>
  448. <span class=identifier>pb</span><span class=special>.</span><span class=identifier>equal_range</span><span class=special>(</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>make_tuple</span><span class=special>(</span><span class=string>&quot;White&quot;</span><span class=special>));</span>
  449. </pre></blockquote>
  450. <p>
  451. As a notational convenience, when only the first key is specified it is possible
  452. to pass the argument directly without including it into a tuple:
  453. </p>
  454. <blockquote><pre>
  455. <span class=identifier>phonebook</span> <span class=identifier>pb</span><span class=special>;</span>
  456. <span class=special>...</span>
  457. <span class=comment>// look for all Whites</span>
  458. <span class=identifier>std</span><span class=special>::</span><span class=identifier>pair</span><span class=special>&lt;</span><span class=identifier>phonebook</span><span class=special>::</span><span class=identifier>iterator</span><span class=special>,</span><span class=identifier>phonebook</span><span class=special>::</span><span class=identifier>iterator</span><span class=special>&gt;</span> <span class=identifier>p</span><span class=special>=</span><span class=identifier>pb</span><span class=special>.</span><span class=identifier>equal_range</span><span class=special>(</span><span class=string>&quot;White&quot;</span><span class=special>);</span>
  459. </pre></blockquote>
  460. <p>
  461. On the other hand, partial searches without specifying the first keys are not
  462. allowed.
  463. </p>
  464. <p>
  465. By default, the corresponding <code>std::less</code> predicate is used
  466. for each subkey of a composite key. Alternate comparison predicates can
  467. be specified with <a href="../reference/key_extraction.html#composite_key_compare">
  468. <code>composite_key_compare</code></a>:
  469. </p>
  470. <blockquote><pre>
  471. <span class=comment>// phonebook with given names in reverse order</span>
  472. <span class=keyword>typedef</span> <span class=identifier>multi_index_container</span><span class=special>&lt;</span>
  473. <span class=identifier>phonebook_entry</span><span class=special>,</span>
  474. <span class=identifier>indexed_by</span><span class=special>&lt;</span>
  475. <span class=identifier>ordered_non_unique</span><span class=special>&lt;</span>
  476. <span class=identifier>composite_key</span><span class=special>&lt;</span>
  477. <span class=identifier>phonebook_entry</span><span class=special>,</span>
  478. <span class=identifier>member</span><span class=special>&lt;</span><span class=identifier>phonebook_entry</span><span class=special>,</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span><span class=special>,&amp;</span><span class=identifier>phonebook_entry</span><span class=special>::</span><span class=identifier>family_name</span><span class=special>&gt;,</span>
  479. <span class=identifier>member</span><span class=special>&lt;</span><span class=identifier>phonebook_entry</span><span class=special>,</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span><span class=special>,&amp;</span><span class=identifier>phonebook_entry</span><span class=special>::</span><span class=identifier>given_name</span><span class=special>&gt;</span>
  480. <span class=special>&gt;,</span>
  481. <span class=identifier>composite_key_compare</span><span class=special>&lt;</span>
  482. <span class=identifier>std</span><span class=special>::</span><span class=identifier>less</span><span class=special>&lt;</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span><span class=special>&gt;,</span> <span class=comment>// family names sorted as by default</span>
  483. <span class=identifier>std</span><span class=special>::</span><span class=identifier>greater</span><span class=special>&lt;</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span><span class=special>&gt;</span> <span class=comment>// given names reversed</span>
  484. <span class=special>&gt;</span>
  485. <span class=special>&gt;,</span>
  486. <span class=identifier>ordered_unique</span><span class=special>&lt;</span>
  487. <span class=identifier>member</span><span class=special>&lt;</span><span class=identifier>phonebook_entry</span><span class=special>,</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span><span class=special>,&amp;</span><span class=identifier>phonebook_entry</span><span class=special>::</span><span class=identifier>phone_number</span><span class=special>&gt;</span>
  488. <span class=special>&gt;</span>
  489. <span class=special>&gt;</span>
  490. <span class=special>&gt;</span> <span class=identifier>phonebook</span><span class=special>;</span>
  491. </pre></blockquote>
  492. <p>
  493. See <a href="../examples.html#example7">example 7</a> in the examples section
  494. for an application of <code>composite_key</code>.
  495. </p>
  496. <h3><a name="composite_keys_hash">Composite keys and hashed indices</a></h3>
  497. <p>
  498. Composite keys can also be used with hashed indices in a straightforward manner:
  499. </p>
  500. <blockquote><pre>
  501. <span class=keyword>struct</span> <span class=identifier>street_entry</span>
  502. <span class=special>{</span>
  503. <span class=comment>// quadrant coordinates</span>
  504. <span class=keyword>int</span> <span class=identifier>x</span><span class=special>;</span>
  505. <span class=keyword>int</span> <span class=identifier>y</span><span class=special>;</span>
  506. <span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span> <span class=identifier>name</span><span class=special>;</span>
  507. <span class=identifier>street_entry</span><span class=special>(</span><span class=keyword>int</span> <span class=identifier>x</span><span class=special>,</span><span class=keyword>int</span> <span class=identifier>y</span><span class=special>,</span><span class=keyword>const</span> <span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span><span class=special>&amp;</span> <span class=identifier>name</span><span class=special>):</span><span class=identifier>x</span><span class=special>(</span><span class=identifier>x</span><span class=special>),</span><span class=identifier>y</span><span class=special>(</span><span class=identifier>y</span><span class=special>),</span><span class=identifier>name</span><span class=special>(</span><span class=identifier>name</span><span class=special>){}</span>
  508. <span class=special>};</span>
  509. <span class=keyword>typedef</span> <span class=identifier>multi_index_container</span><span class=special>&lt;</span>
  510. <span class=identifier>street_entry</span><span class=special>,</span>
  511. <span class=identifier>indexed_by</span><span class=special>&lt;</span>
  512. <span class=identifier>hashed_non_unique</span><span class=special>&lt;</span> <span class=comment>// indexed by quadrant coordinates</span>
  513. <span class=identifier>composite_key</span><span class=special>&lt;</span>
  514. <span class=identifier>street_entry</span><span class=special>,</span>
  515. <span class=identifier>member</span><span class=special>&lt;</span><span class=identifier>street_entry</span><span class=special>,</span><span class=keyword>int</span><span class=special>,&amp;</span><span class=identifier>street_entry</span><span class=special>::</span><span class=identifier>x</span><span class=special>&gt;,</span>
  516. <span class=identifier>member</span><span class=special>&lt;</span><span class=identifier>street_entry</span><span class=special>,</span><span class=keyword>int</span><span class=special>,&amp;</span><span class=identifier>street_entry</span><span class=special>::</span><span class=identifier>y</span><span class=special>&gt;</span>
  517. <span class=special>&gt;</span>
  518. <span class=special>&gt;,</span>
  519. <span class=identifier>hashed_non_unique</span><span class=special>&lt;</span> <span class=comment>// indexed by street name</span>
  520. <span class=identifier>member</span><span class=special>&lt;</span><span class=identifier>street_entry</span><span class=special>,</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span><span class=special>,&amp;</span><span class=identifier>street_entry</span><span class=special>::</span><span class=identifier>name</span><span class=special>&gt;</span>
  521. <span class=special>&gt;</span>
  522. <span class=special>&gt;</span>
  523. <span class=special>&gt;</span> <span class=identifier>street_locator</span><span class=special>;</span>
  524. <span class=identifier>street_locator</span> <span class=identifier>sl</span><span class=special>;</span>
  525. <span class=special>...</span>
  526. <span class=keyword>void</span> <span class=identifier>streets_in_quadrant</span><span class=special>(</span><span class=keyword>int</span> <span class=identifier>x</span><span class=special>,</span><span class=keyword>int</span> <span class=identifier>y</span><span class=special>)</span>
  527. <span class=special>{</span>
  528. <span class=identifier>std</span><span class=special>::</span><span class=identifier>pair</span><span class=special>&lt;</span><span class=identifier>street_locator</span><span class=special>::</span><span class=identifier>iterator</span><span class=special>,</span><span class=identifier>street_locator</span><span class=special>::</span><span class=identifier>iterator</span><span class=special>&gt;</span> <span class=identifier>p</span><span class=special>=</span>
  529. <span class=identifier>sl</span><span class=special>.</span><span class=identifier>equal_range</span><span class=special>(</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>make_tuple</span><span class=special>(</span><span class=identifier>x</span><span class=special>,</span><span class=identifier>y</span><span class=special>));</span>
  530. <span class=keyword>while</span><span class=special>(</span><span class=identifier>p</span><span class=special>.</span><span class=identifier>first</span><span class=special>!=</span><span class=identifier>p</span><span class=special>.</span><span class=identifier>second</span><span class=special>){</span>
  531. <span class=identifier>std</span><span class=special>::</span><span class=identifier>cout</span><span class=special>&lt;&lt;</span><span class=identifier>p</span><span class=special>.</span><span class=identifier>first</span><span class=special>-&gt;</span><span class=identifier>name</span><span class=special>&lt;&lt;</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>endl</span><span class=special>;</span>
  532. <span class=special>++</span><span class=identifier>p</span><span class=special>.</span><span class=identifier>first</span><span class=special>;</span>
  533. <span class=special>}</span>
  534. <span class=special>}</span>
  535. </pre></blockquote>
  536. <p>
  537. Note that hashing is automatically taken care of: <code>boost::hash</code> is
  538. specialized to hash a composite key as a function of the <code>boost::hash</code>
  539. values of its elements. Should we need to specify different hash functions for the
  540. elements of a composite key, we can explicitly do so by using the
  541. <a href="../reference/key_extraction.html#composite_key_hash"><code>composite_key_hash</code></a>
  542. utility:
  543. </p>
  544. <blockquote><pre>
  545. <span class=keyword>struct</span> <span class=identifier>tuned_int_hash</span>
  546. <span class=special>{</span>
  547. <span class=keyword>int</span> <span class=keyword>operator</span><span class=special>()(</span><span class=keyword>int</span> <span class=identifier>x</span><span class=special>)</span><span class=keyword>const</span>
  548. <span class=special>{</span>
  549. <span class=comment>// specially tuned hash for this application</span>
  550. <span class=special>}</span>
  551. <span class=special>};</span>
  552. <span class=keyword>typedef</span> <span class=identifier>multi_index_container</span><span class=special>&lt;</span>
  553. <span class=identifier>street_entry</span><span class=special>,</span>
  554. <span class=identifier>indexed_by</span><span class=special>&lt;</span>
  555. <span class=identifier>hashed_non_unique</span><span class=special>&lt;</span> <span class=comment>// indexed by quadrant coordinates</span>
  556. <span class=identifier>composite_key</span><span class=special>&lt;</span>
  557. <span class=identifier>street_entry</span><span class=special>,</span>
  558. <span class=identifier>member</span><span class=special>&lt;</span><span class=identifier>street_entry</span><span class=special>,</span><span class=keyword>int</span><span class=special>,&amp;</span><span class=identifier>street_entry</span><span class=special>::</span><span class=identifier>x</span><span class=special>&gt;,</span>
  559. <span class=identifier>member</span><span class=special>&lt;</span><span class=identifier>street_entry</span><span class=special>,</span><span class=keyword>int</span><span class=special>,&amp;</span><span class=identifier>street_entry</span><span class=special>::</span><span class=identifier>y</span><span class=special>&gt;</span>
  560. <span class=special>&gt;,</span>
  561. <span class=identifier>composite_key_hash</span><span class=special>&lt;</span>
  562. <span class=identifier>tuned_int_hash</span><span class=special>,</span>
  563. <span class=identifier>tuned_int_hash</span>
  564. <span class=special>&gt;</span>
  565. <span class=special>&gt;,</span>
  566. <span class=identifier>hashed_non_unique</span><span class=special>&lt;</span> <span class=comment>// indexed by street name</span>
  567. <span class=identifier>member</span><span class=special>&lt;</span><span class=identifier>street_entry</span><span class=special>,</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span><span class=special>,&amp;</span><span class=identifier>street_entry</span><span class=special>::</span><span class=identifier>name</span><span class=special>&gt;</span>
  568. <span class=special>&gt;</span>
  569. <span class=special>&gt;</span>
  570. <span class=special>&gt;</span> <span class=identifier>street_locator</span><span class=special>;</span>
  571. </pre></blockquote>
  572. <p>
  573. Also, equality of composite keys can be tuned with
  574. <a href="../reference/key_extraction.html#composite_key_equal_to"><code>composite_key_equal_to</code></a>,
  575. though in most cases the default equality predicate (relying on
  576. the <code>std::equal_to</code> instantiations for the element types)
  577. will be the right choice.
  578. </p>
  579. <p>
  580. Unlike with ordered indices, we cannot perform partial searches specifying
  581. only the first elements of a composite key:
  582. </p>
  583. <blockquote><pre>
  584. <span class=comment>// try to locate streets in quadrants with x==0
  585. // compile-time error: hashed indices do not allow such operations</span>
  586. <span class=identifier>std</span><span class=special>::</span><span class=identifier>pair</span><span class=special>&lt;</span><span class=identifier>street_locator</span><span class=special>::</span><span class=identifier>iterator</span><span class=special>,</span><span class=identifier>street_locator</span><span class=special>::</span><span class=identifier>iterator</span><span class=special>&gt;</span> <span class=identifier>p</span><span class=special>=</span>
  587. <span class=identifier>sl</span><span class=special>.</span><span class=identifier>equal_range</span><span class=special>(</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>make_tuple</span><span class=special>(</span><span class=number>0</span><span class=special>));</span>
  588. </pre></blockquote>
  589. <p>
  590. The reason for this limitation is quite logical: as the hash value of a composite
  591. key depends on all of its elements, it is impossible to calculate it from
  592. partial information.
  593. </p>
  594. <h2><a name="key">C++17 terse key specification syntax</a></h2>
  595. <p>
  596. C++17 introduces the declaration of <code>auto</code> template parameters, which can be
  597. taken advantage of to eliminate some redundancy in the specification of Boost.MultiIndex
  598. predefined key extractors. For instance, instead of the classical:
  599. </p>
  600. <blockquote><pre>
  601. <span class=keyword>typedef</span> <span class=identifier>multi_index_container</span><span class=special>&lt;</span>
  602. <span class=identifier>employee</span><span class=special>,</span>
  603. <span class=identifier>indexed_by</span><span class=special>&lt;</span>
  604. <span class=identifier>ordered_unique</span><span class=special>&lt;</span><span class=identifier>identity</span><span class=special>&lt;</span><span class=identifier>employee</span><span class=special>&gt;</span> <span class=special>&gt;,</span>
  605. <span class=identifier>ordered_non_unique</span><span class=special>&lt;</span><span class=identifier>member</span><span class=special>&lt;</span><span class=identifier>employee</span><span class=special>,</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span><span class=special>,&amp;</span><span class=identifier>employee</span><span class=special>::</span><span class=identifier>name</span><span class=special>&gt;</span> <span class=special>&gt;,</span>
  606. <span class=identifier>ordered_non_unique</span><span class=special>&lt;</span>
  607. <span class=identifier>const_mem_fun</span><span class=special>&lt;</span><span class=identifier>employee</span><span class=special>,</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>size_t</span><span class=special>,&amp;</span><span class=identifier>employee</span><span class=special>::</span><span class=identifier>name_length</span><span class=special>&gt;</span>
  608. <span class=special>&gt;</span>
  609. <span class=special>&gt;</span>
  610. <span class=special>&gt;</span> <span class=identifier>employee_set</span><span class=special>;</span>
  611. </pre></blockquote>
  612. one can now write:
  613. <blockquote><pre>
  614. <span class=preprocessor>#include</span> <span class=special>&lt;</span><span class=identifier>boost</span><span class=special>/</span><span class=identifier>multi_index</span><span class=special>/</span><span class=identifier>key</span><span class=special>.</span><span class=identifier>hpp</span><span class=special>&gt;</span>
  615. <span class=special>...</span>
  616. <span class=keyword>typedef</span> <span class=identifier>multi_index_container</span><span class=special>&lt;</span>
  617. <span class=identifier>employee</span><span class=special>,</span>
  618. <span class=identifier>indexed_by</span><span class=special>&lt;</span>
  619. <span class=identifier>ordered_unique</span><span class=special>&lt;</span><span class=identifier>identity</span><span class=special>&lt;</span><span class=identifier>employee</span><span class=special>&gt;&gt;,</span>
  620. <span class=identifier>ordered_non_unique</span><span class=special>&lt;</span><span class=identifier><b>key</b></span><span class=special><b>&lt;&amp;</b></span><span class=identifier><b>employee</b></span><span class=special><b>::</b></span><span class=identifier><b>name</b></span><span class=special><b>&gt;</b>&gt;,</span>
  621. <span class=identifier>ordered_non_unique</span><span class=special>&lt;</span><span class=identifier><b>key</b></span><span class=special><b>&lt;&amp;</b></span><span class=identifier><b>employee</b></span><span class=special><b>::</b></span><span class=identifier><b>name_length</b></span><span class=special><b>&gt;</b>&gt;</span>
  622. <span class=special>&gt;</span>
  623. <span class=special>&gt;</span> <span class=identifier>employee_set</span><span class=special>;</span>
  624. </pre></blockquote>
  625. <p>
  626. which results in the exact same defined type, as
  627. <a href="../reference/key_extraction.html#key"><code>key</code></a> constructs are mere
  628. aliases for the old syntax. <code>key</code> can be used to shorten the specification of
  629. <a href="../reference/key_extraction.html#member"><code>member</code></a>,
  630. <a href="../reference/key_extraction.html#const_mem_fun"><code>const_mem_fun</code></a>
  631. (and <a href="../reference/key_extraction.html#cv_mem_fun">variants</a>),
  632. <a href="../reference/key_extraction.html#mem_fun"><code>mem_fun</code></a>
  633. (and <a href="../reference/key_extraction.html#volatile_mem_fun">variants</a>),
  634. <a href="../reference/key_extraction.html#global_fun"><code>global_fun</code></a>
  635. and, with additional terseness benefits,
  636. <a href="../reference/key_extraction.html#composite_key"><code>composite_key</code></a>:
  637. </p>
  638. <blockquote><pre>
  639. <span class=keyword>typedef</span> <span class=identifier>multi_index_container</span><span class=special>&lt;</span>
  640. <span class=identifier>phonebook_entry</span><span class=special>,</span>
  641. <span class=identifier>indexed_by</span><span class=special>&lt;</span>
  642. <span class=comment>// composite key on family name and given name</span>
  643. <span class=identifier>ordered_non_unique</span><span class=special>&lt;
  644. </span><span class=identifier><b>key</b></span><span class=special><b>&lt;&amp;</b></span><span class=identifier><b>phonebook_entry</b></span><span class=special><b>::</b></span><span class=identifier><b>family_name</b></span><span class=special><b>,&amp;</b></span><span class=identifier><b>phonebook_entry</b></span><span class=special><b>::</b></span><span class=identifier><b>given_name</b></span><span class=special><b>&gt;</b></span>
  645. <span class=special>&gt;,</span>
  646. <span class=comment>// unique index on phone number</span>
  647. <span class=identifier>ordered_unique</span><span class=special>&lt;</span><span class=identifier>key</span><span class=special>&lt;&amp;</span><span class=identifier>phonebook_entry</span><span class=special>::</span><span class=identifier>phone_number</span><span class=special>&gt;&gt;</span>
  648. <span class=special>&gt;</span>
  649. <span class=special>&gt;</span> <span class=identifier>phonebook</span><span class=special>;</span>
  650. </pre></blockquote>
  651. In this example, the first usage of <code>key</code> substitutes for the
  652. decidedly more cumbersome:
  653. <blockquote><pre>
  654. <span class=identifier>composite_key</span><span class=special>&lt;</span>
  655. <span class=identifier>phonebook_entry</span><span class=special>,</span>
  656. <span class=identifier>member</span><span class=special>&lt;</span><span class=identifier>phonebook_entry</span><span class=special>,</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span><span class=special>,&amp;</span><span class=identifier>phonebook_entry</span><span class=special>::</span><span class=identifier>family_name</span><span class=special>&gt;,</span>
  657. <span class=identifier>member</span><span class=special>&lt;</span><span class=identifier>phonebook_entry</span><span class=special>,</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span><span class=special>,&amp;</span><span class=identifier>phonebook_entry</span><span class=special>::</span><span class=identifier>given_name</span><span class=special>&gt;</span>
  658. <span class=special>&gt;</span>
  659. </pre></blockquote>
  660. Note that we did not even have to specify the first <code>phonebook_entry</code>
  661. argument: the internal machinery of <code>key</code> automatically deduces it for
  662. us. Check the <a href="../reference/key_extraction.html#key_synopsis">reference</a>
  663. for technical details.
  664. <h2><a name="advanced_key_extractors">Advanced features of Boost.MultiIndex key
  665. extractors</a></h2>
  666. <p>
  667. The <a href="../reference/key_extraction.html#key_extractors"><code>Key Extractor</code></a>
  668. concept allows the same object to extract keys from several different types,
  669. possibly through suitably defined overloads of <code>operator()</code>:
  670. </p>
  671. <blockquote><pre>
  672. <span class=comment>// example of a name extractor from employee and employee *</span>
  673. <span class=keyword>struct</span> <span class=identifier>name_extractor</span>
  674. <span class=special>{</span>
  675. <span class=keyword>typedef</span> <span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span> <span class=identifier>result_type</span><span class=special>;</span>
  676. <span class=keyword>const</span> <span class=identifier>result_type</span><span class=special>&amp;</span> <span class=keyword>operator</span><span class=special>()(</span><span class=keyword>const</span> <span class=identifier>employee</span><span class=special>&amp;</span> <span class=identifier>e</span><span class=special>)</span><span class=keyword>const</span><span class=special>{</span><span class=keyword>return</span> <span class=identifier>e</span><span class=special>.</span><span class=identifier>name</span><span class=special>;}</span>
  677. <span class=identifier>result_type</span><span class=special>&amp;</span> <span class=keyword>operator</span><span class=special>()(</span><span class=identifier>employee</span><span class=special>*</span> <span class=identifier>e</span><span class=special>)</span><span class=keyword>const</span><span class=special>{</span><span class=keyword>return</span> <span class=identifier>e</span><span class=special>-&gt;</span><span class=identifier>name</span><span class=special>;}</span>
  678. <span class=special>};</span>
  679. <span class=comment>// name_extractor can handle elements of type employee...</span>
  680. <span class=keyword>typedef</span> <span class=identifier>multi_index_container</span><span class=special>&lt;</span>
  681. <span class=identifier>employee</span><span class=special>,</span>
  682. <span class=identifier>indexed_by</span><span class=special>&lt;</span>
  683. <span class=identifier>ordered_unique</span><span class=special>&lt;</span><span class=identifier>name_extractor</span><span class=special>&gt;</span>
  684. <span class=special>&gt;</span>
  685. <span class=special>&gt;</span> <span class=identifier>employee_set</span><span class=special>;</span>
  686. <span class=comment>// ...as well as elements of type employee *</span>
  687. <span class=keyword>typedef</span> <span class=identifier>multi_index_container</span><span class=special>&lt;</span>
  688. <span class=identifier>employee</span><span class=special>*,</span>
  689. <span class=identifier>indexed_by</span><span class=special>&lt;</span>
  690. <span class=identifier>ordered_unique</span><span class=special>&lt;</span><span class=identifier>name_extractor</span><span class=special>&gt;</span>
  691. <span class=special>&gt;</span>
  692. <span class=special>&gt;</span> <span class=identifier>employee_ptr_set</span><span class=special>;</span>
  693. </pre></blockquote>
  694. <p>
  695. This possibility is fully exploited by predefined key extractors provided
  696. by Boost.MultiIndex, making it simpler to define <code>multi_index_container</code>s
  697. where elements are pointers or references to the actual objects. The following
  698. specifies a <code>multi_index_container</code> of pointers to employees sorted by their
  699. names.
  700. </p>
  701. <blockquote><pre>
  702. <span class=keyword>typedef</span> <span class=identifier>multi_index_container</span><span class=special>&lt;</span>
  703. <span class=identifier>employee</span> <span class=special>*,</span>
  704. <span class=identifier>indexed_by</span><span class=special>&lt;</span>
  705. <span class=identifier>ordered_non_unique</span><span class=special>&lt;</span><span class=identifier>member</span><span class=special>&lt;</span><span class=identifier>employee</span><span class=special>,</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span><span class=special>,&amp;</span><span class=identifier>employee</span><span class=special>::</span><span class=identifier>name</span><span class=special>&gt;</span> <span class=special>&gt;</span> <span class=special>&gt;</span>
  706. <span class=special>&gt;</span> <span class=identifier>employee_set</span><span class=special>;</span>
  707. </pre></blockquote>
  708. <p>
  709. Note that this is specified in exactly the same manner as a <code>multi_index_container</code>
  710. of actual <code>employee</code> objects: <code>member</code> takes care of the
  711. extra dereferencing needed to gain access to <code>employee::name</code>. A similar
  712. functionality is provided for interoperability with reference wrappers from
  713. <a href="../../../../doc/html/ref.html">Boost.Ref</a>:
  714. </p>
  715. <blockquote><pre>
  716. <span class=keyword>typedef</span> <span class=identifier>multi_index_container</span><span class=special>&lt;</span>
  717. <span class=identifier>boost</span><span class=special>::</span><span class=identifier>reference_wrapper</span><span class=special>&lt;</span><span class=keyword>const</span> <span class=identifier>employee</span><span class=special>&gt;,</span>
  718. <span class=identifier>indexed_by</span><span class=special>&lt;</span>
  719. <span class=identifier>ordered_non_unique</span><span class=special>&lt;</span><span class=identifier>member</span><span class=special>&lt;</span><span class=identifier>employee</span><span class=special>,</span><span class=identifier>std</span><span class=special>::</span><span class=identifier>string</span><span class=special>,&amp;</span><span class=identifier>employee</span><span class=special>::</span><span class=identifier>name</span><span class=special>&gt;</span> <span class=special>&gt;</span> <span class=special>&gt;</span>
  720. <span class=special>&gt;</span> <span class=identifier>employee_set</span><span class=special>;</span>
  721. </pre></blockquote>
  722. <p>
  723. In fact, support for pointers is further extended to accept what we call
  724. <i>chained pointers</i>. Such a chained pointer is defined by induction as a raw or
  725. smart pointer or iterator to the actual element, to a reference wrapper of the
  726. element or <i>to another chained pointer</i>; that is, chained pointers are arbitrary
  727. compositions of pointer-like types ultimately dereferencing
  728. to the element from where the key is to be extracted. Examples of chained
  729. pointers to <code>employee</code> are:
  730. <ul>
  731. <li><code>employee *</code>,</li>
  732. <li><code>const employee *</code>,</li>
  733. <li><code>std::unique_ptr&lt;employee></code>,</li>
  734. <li><code>std::list&lt;boost::reference_wrapper&lt;employee> >::iterator</code>,</li>
  735. <li><code>employee **</code>,</li>
  736. <li><code>boost::shared_ptr&lt;const employee *></code>.</li>
  737. </ul>
  738. In general, chained pointers with dereferencing distance greater than 1 are not
  739. likely to be used in a normal program, but they can arise in frameworks
  740. which construct "views" as <code>multi_index_container</code>s from preexisting
  741. <code>multi_index_container</code>s.
  742. </p>
  743. <p>
  744. In order to present a short summary of the different usages of Boost.MultiIndex
  745. key extractors in the presence of reference wrappers and pointers, consider the
  746. following final type:
  747. </p>
  748. <blockquote><pre>
  749. <span class=keyword>struct</span> <span class=identifier>T</span>
  750. <span class=special>{</span>
  751. <span class=keyword>int</span> <span class=identifier>i</span><span class=special>;</span>
  752. <span class=keyword>const</span> <span class=keyword>int</span> <span class=identifier>j</span><span class=special>;</span>
  753. <span class=keyword>int</span> <span class=identifier>f</span><span class=special>()</span><span class=keyword>const</span><span class=special>;</span>
  754. <span class=keyword>int</span> <span class=identifier>g</span><span class=special>();</span>
  755. <span class=keyword>static</span> <span class=keyword>int</span> <span class=identifier>gf</span><span class=special>(</span><span class=keyword>const</span> <span class=identifier>T</span><span class=special>&amp;);</span>
  756. <span class=keyword>static</span> <span class=keyword>int</span> <span class=identifier>gg</span><span class=special>(</span><span class=identifier>T</span><span class=special>&amp;);</span>
  757. <span class=special>};</span>
  758. </pre></blockquote>
  759. <p>
  760. The table below lists the appropriate key extractors to be used for
  761. different pointer and reference wrapper types based on <code>T</code>, for
  762. each of its members.
  763. </p>
  764. <p align="center">
  765. <table cellspacing="0">
  766. <caption><b>Use cases for Boost.MultiIndex key extractors.</b></caption>
  767. <tr>
  768. <th>element type</th>
  769. <th>&nbsp;key&nbsp;</th>
  770. <th>key extractor</th>
  771. <th>applicable to<br><code>const</code> elements?</th>
  772. <th>read/write?</th>
  773. </tr>
  774. <tr>
  775. <td align="center" rowspan="6"><code>T</code></td>
  776. <td><code>i</code></td>
  777. <td><code>member&lt;T,int,&amp;T::i></code></td>
  778. <td align="center">yes</td>
  779. <td align="center">yes</td>
  780. </tr>
  781. <tr>
  782. <td><code>j</code></td>
  783. <td><code>member&lt;T,const int,&amp;T::j></code></td>
  784. <td align="center">yes</td>
  785. <td align="center">no</td>
  786. </tr>
  787. <tr>
  788. <td><code>f()</code></td>
  789. <td><code>const_mem_fun&lt;T,int,&amp;T::f></code></td>
  790. <td align="center">yes</td>
  791. <td align="center">no</td>
  792. </tr>
  793. <tr>
  794. <td><code>g()</code></td>
  795. <td><code>mem_fun&lt;T,int,&amp;T::g></code></td>
  796. <td align="center">no</td>
  797. <td align="center">no</td>
  798. </tr>
  799. <tr>
  800. <td><code>gf()</code></td>
  801. <td><code>global_fun&lt;const T&amp;,int,&amp;T::gf></code></td>
  802. <td align="center">yes</td>
  803. <td align="center">no</td>
  804. </tr>
  805. <tr>
  806. <td><code>gg()</code></td>
  807. <td><code>global_fun&lt;T&amp;,int,&amp;T::gg></code></td>
  808. <td align="center">no</td>
  809. <td align="center">no</td>
  810. </tr>
  811. <tr class="odd_tr">
  812. <td align="center" rowspan="6"><code>reference_wrapper&lt;T></code></td>
  813. <td><code>i</code></td>
  814. <td><code>member&lt;T,int,&amp;T::i></code></td>
  815. <td align="center">yes</td>
  816. <td align="center">yes</td>
  817. </tr>
  818. <tr class="odd_tr">
  819. <td><code>j</code></td>
  820. <td><code>member&lt;T,const int,&amp;T::j></code></td>
  821. <td align="center">yes</td>
  822. <td align="center">no</td>
  823. </tr>
  824. <tr class="odd_tr">
  825. <td><code>f()</code></td>
  826. <td><code>const_mem_fun&lt;T,int,&amp;T::f></code></td>
  827. <td align="center">yes</td>
  828. <td align="center">no</td>
  829. </tr>
  830. <tr class="odd_tr">
  831. <td><code>g()</code></td>
  832. <td><code>mem_fun&lt;T,int,&amp;T::g></code></td>
  833. <td align="center">yes</td>
  834. <td align="center">no</td>
  835. </tr>
  836. <tr class="odd_tr">
  837. <td><code>gf()</code></td>
  838. <td><code>global_fun&lt;const T&amp;,int,&amp;T::gf></code></td>
  839. <td align="center">yes</td>
  840. <td align="center">no</td>
  841. </tr>
  842. <tr class="odd_tr">
  843. <td><code>gg()</code></td>
  844. <td><code>global_fun&lt;T&amp;,int,&amp;T::gg></code></td>
  845. <td align="center">yes</td>
  846. <td align="center">no</td>
  847. </tr>
  848. <tr>
  849. <td align="center" rowspan="6"><code>reference_wrapper&lt;const T></code></td>
  850. <td><code>i</code></td>
  851. <td><code>member&lt;T,const int,&amp;T::i></code></td>
  852. <td align="center">yes</td>
  853. <td align="center">no</td>
  854. </tr>
  855. <tr>
  856. <td><code>j</code></td>
  857. <td><code>member&lt;T,const int,&amp;T::j></code></td>
  858. <td align="center">yes</td>
  859. <td align="center">no</td>
  860. </tr>
  861. <tr>
  862. <td><code>f()</code></td>
  863. <td><code>const_mem_fun&lt;T,int,&amp;T::f></code></td>
  864. <td align="center">yes</td>
  865. <td align="center">no</td>
  866. </tr>
  867. <tr>
  868. <td><code>g()</code></td>
  869. <td colspan="3">&nbsp;</td>
  870. </tr>
  871. <tr>
  872. <td><code>gf()</code></td>
  873. <td><code>global_fun&lt;const T&amp;,int,&amp;T::gf></code></td>
  874. <td align="center">yes</td>
  875. <td align="center">no</td>
  876. </tr>
  877. <tr>
  878. <td><code>gg()</code></td>
  879. <td colspan="3">&nbsp;</td>
  880. </tr>
  881. <tr class="odd_tr">
  882. <td align="center" rowspan="6">chained pointer to <code>T</code><br>
  883. or to <code>reference_wrapper&lt;T></code></td>
  884. <td><code>i</code></td>
  885. <td><code>member&lt;T,int,&amp;T::i></code></td>
  886. <td align="center">yes</td>
  887. <td align="center">yes</td>
  888. </tr>
  889. <tr class="odd_tr">
  890. <td><code>j</code></td>
  891. <td><code>member&lt;T,const int,&amp;T::j></code></td>
  892. <td align="center">yes</td>
  893. <td align="center">no</td>
  894. </tr>
  895. <tr class="odd_tr">
  896. <td><code>f()</code></td>
  897. <td><code>const_mem_fun&lt;T,int,&amp;T::f></code></td>
  898. <td align="center">yes</td>
  899. <td align="center">no</td>
  900. </tr>
  901. <tr class="odd_tr">
  902. <td><code>g()</code></td>
  903. <td><code>mem_fun&lt;T,int,&amp;T::g></code></td>
  904. <td align="center">yes</td>
  905. <td align="center">no</td>
  906. </tr>
  907. <tr class="odd_tr">
  908. <td><code>gf()</code></td>
  909. <td><code>global_fun&lt;const T&amp;,int,&amp;T::gf></code></td>
  910. <td align="center">yes</td>
  911. <td align="center">no</td>
  912. </tr>
  913. <tr class="odd_tr">
  914. <td><code>gg()</code></td>
  915. <td><code>global_fun&lt;T&amp;,int,&amp;T::gg></code></td>
  916. <td align="center">yes</td>
  917. <td align="center">no</td>
  918. </tr>
  919. <tr>
  920. <td align="center" rowspan="6">chained pointer to <code>const T</code><br>
  921. or to <code>reference_wrapper&lt;const T></code></td>
  922. <td><code>i</code></td>
  923. <td><code>member&lt;T,const int,&amp;T::i></code></td>
  924. <td align="center">yes</td>
  925. <td align="center">no</td>
  926. </tr>
  927. <tr>
  928. <td><code>j</code></td>
  929. <td><code>member&lt;T,const int,&amp;T::j></code></td>
  930. <td align="center">yes</td>
  931. <td align="center">no</td>
  932. </tr>
  933. <tr>
  934. <td><code>f()</code></td>
  935. <td><code>const_mem_fun&lt;T,int,&amp;T::f></code></td>
  936. <td align="center">yes</td>
  937. <td align="center">no</td>
  938. </tr>
  939. <tr>
  940. <td><code>g()</code></td>
  941. <td colspan="3">&nbsp;</td>
  942. </tr>
  943. <tr>
  944. <td><code>gf()</code></td>
  945. <td><code>global_fun&lt;const T&amp;,int,&amp;T::gf></code></td>
  946. <td align="center">yes</td>
  947. <td align="center">no</td>
  948. </tr>
  949. <tr>
  950. <td><code>gg()</code></td>
  951. <td colspan="3">&nbsp;</td>
  952. </tr>
  953. </table>
  954. </p>
  955. <p>
  956. The column "applicable to <code>const</code> elements?" states whether the
  957. corresponding key extractor can be used when passed constant elements (this
  958. relates to the elements specified in the first column, not the referenced
  959. <code>T</code> objects). The only negative cases are for <code>T::g</code> and
  960. <code>T:gg</code> when the elements are raw <code>T</code> objects, which make sense
  961. as we are dealing with a non-constant member function (<code>T::g</code>)
  962. and a function taking <code>T</code> by
  963. non-constant reference: this also implies that <code>multi_index_container</code>s
  964. of elements of <code>T</code> cannot be sorted by <code>T::g</code> or <code>T::gg</code>, because
  965. elements contained within a <code>multi_index_container</code> are treated as constant.
  966. </p>
  967. <p>
  968. The column "read/write?" shows which combinations yield
  969. <a href="#read_write_key_extractors">read/write key extractors</a>.
  970. </p>
  971. <p>
  972. Some care has to be taken to preserve <code>const</code>-correctness in the
  973. specification of <code>member</code> key extractors: in some sense, the <code>const</code>
  974. qualifier is carried along to the member part, even if that particular
  975. member is not defined as <code>const</code>. For instance, if the elements
  976. are of type <code>const T *</code>, sorting by <code>T::i</code> is <i>not</i>
  977. specified as <code>member&lt;const T,int,&amp;T::i></code>, but rather as
  978. <code>member&lt;T,const int,&amp;T::i></code>.
  979. </p>
  980. <p>
  981. For practical demonstrations of use of these key extractors, refer to
  982. <a href="../examples.html#example2">example 2</a> and
  983. <a href="../examples.html#example6">example 6</a> in the examples section.
  984. </p>
  985. <hr>
  986. <div class="prev_link"><a href="indices.html"><img src="../prev.gif" alt="index types" border="0"><br>
  987. Index types
  988. </a></div>
  989. <div class="up_link"><a href="index.html"><img src="../up.gif" alt="Boost.MultiIndex tutorial" border="0"><br>
  990. Boost.MultiIndex tutorial
  991. </a></div>
  992. <div class="next_link"><a href="creation.html"><img src="../next.gif" alt="container creation" border="0"><br>
  993. Container creation
  994. </a></div><br clear="all" style="clear: all;">
  995. <br>
  996. <p>Revised June 11th 2019</p>
  997. <p>&copy; Copyright 2003-2019 Joaqu&iacute;n M L&oacute;pez Mu&ntilde;oz.
  998. Distributed under the Boost Software
  999. License, Version 1.0. (See accompanying file <a href="../../../../LICENSE_1_0.txt">
  1000. LICENSE_1_0.txt</a> or copy at <a href="http://www.boost.org/LICENSE_1_0.txt">
  1001. http://www.boost.org/LICENSE_1_0.txt</a>)
  1002. </p>
  1003. </body>
  1004. </html>