holders.html 10 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243
  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.Flyweight Documentation - Holders reference</title>
  6. <link rel="stylesheet" href="../style.css" type="text/css">
  7. <link rel="start" href="../index.html">
  8. <link rel="prev" href="factories.html">
  9. <link rel="up" href="index.html">
  10. <link rel="next" href="locking.html">
  11. </head>
  12. <body>
  13. <h1><img src="../../../../boost.png" alt="Boost logo" align=
  14. "middle" width="277" height="86">Boost.Flyweight
  15. Holders reference</h1>
  16. <div class="prev_link"><a href="factories.html"><img src="../prev.gif" alt="factories" border="0"><br>
  17. Factories
  18. </a></div>
  19. <div class="up_link"><a href="index.html"><img src="../up.gif" alt="Boost.Flyweight reference" border="0"><br>
  20. Boost.Flyweight reference
  21. </a></div>
  22. <div class="next_link"><a href="locking.html"><img src="../next.gif" alt="locking policies" border="0"><br>
  23. Locking policies
  24. </a></div><br clear="all" style="clear: all;">
  25. <hr>
  26. <h2>Contents</h2>
  27. <ul>
  28. <li><a href="#holder">Holders and holder specifiers</a></li>
  29. <li><a href="#holder_tag_synopsis">Header
  30. <code>"boost/flyweight/holder_tag.hpp"</code> synopsis</a>
  31. <ul>
  32. <li><a href="#is_holder">Class template <code>is_holder</code></a></li>
  33. <li><a href="#holder_construct">Class template <code>holder</code></a></li>
  34. </ul>
  35. </li>
  36. <li><a href="#static_holder_fwd_synopsis">Header
  37. <code>"boost/flyweight/static_holder_fwd.hpp"</code> synopsis</a>
  38. </li>
  39. <li><a href="#static_holder_synopsis">Header
  40. <code>"boost/flyweight/static_holder.hpp"</code> synopsis</a>
  41. <ul>
  42. <li><a href="#static_holder_class">Class template <code>static_holder_class</code></a></li>
  43. <li><a href="#static_holder">Class <code>static_holder</code></a></li>
  44. </ul>
  45. </li>
  46. <li><a href="#intermodule_holder_fwd_synopsis">Header
  47. <code>"boost/flyweight/intermodule_holder_fwd.hpp"</code> synopsis</a>
  48. </li>
  49. <li><a href="#intermodule_holder_synopsis">Header
  50. <code>"boost/flyweight/intermodule_holder.hpp"</code> synopsis</a>
  51. <ul>
  52. <li><a href="#intermodule_holder_class">Class template <code>intermodule_holder_class</code></a></li>
  53. <li><a href="#intermodule_holder">Class <code>intermodule_holder</code></a></li>
  54. </ul>
  55. </li>
  56. </ul>
  57. <h2><a name="holder">Holders and holder specifiers</a></h2>
  58. <p>
  59. Given a type <code>C</code>, a type <code>Holder</code> is said to be a <i>holder
  60. of <code>C</code></i> if the expression <code>Holder::get()</code> returns
  61. a reference to a default initialized <code>C</code> object unique to
  62. <code>Holder</code>. No invocation of <code>Holder::get()</code>, except possibly
  63. the first one in the program, does throw.
  64. <a href="flyweight.html#flyweight"><code>flyweight</code></a>
  65. privately uses a holder to instantiate a <a href="factories.html#factory">factory</a>
  66. and some additional data (like a <a href="locking.html#preliminary">mutex</a> for
  67. internal synchronization) unique to each instantiation type of the class template.
  68. </p>
  69. <p>
  70. A type <code>S</code> is a <i>holder specifier</i> if:
  71. <ol>
  72. <li>One of the following conditions is satisfied:
  73. <ol type="a">
  74. <li><a href="#is_holder"><code>is_holder&lt;S&gt;::type</code></a> is
  75. <a href="../../../mpl/doc/refmanual/bool.html"><code>boost::mpl::true_</code></a>,</li>
  76. <li><code>S</code> is of the form <a href="#holder_construct"><code>holder&lt;S'&gt;</code></a>.</li>
  77. </ol>
  78. </li>
  79. <li><code>S</code>, or <code>S'</code> if (b) applies, is an
  80. <a href="../../../mpl/doc/refmanual/lambda-expression.html"><code>MPL Lambda
  81. Expression</code></a> such that invoking it with type <code>C</code> resolves to
  82. a holder of <code>C</code>.
  83. </li>
  84. </ol>
  85. </p>
  86. <h2><a name="holder_tag_synopsis">Header
  87. <a href="../../../../boost/flyweight/holder_tag.hpp"><code>"boost/flyweight/holder_tag.hpp"</code></a> synopsis</a></h2>
  88. <blockquote><pre>
  89. <span class=keyword>namespace</span> <span class=identifier>boost</span><span class=special>{</span>
  90. <span class=keyword>namespace</span> <span class=identifier>flyweights</span><span class=special>{</span>
  91. <span class=keyword>struct</span> <span class=identifier>holder_marker</span><span class=special>;</span>
  92. <span class=keyword>template</span><span class=special>&lt;</span><span class=keyword>typename</span> <span class=identifier>T</span><span class=special>&gt;</span>
  93. <span class=keyword>struct</span> <span class=identifier>is_holder</span><span class=special>;</span>
  94. <span class=keyword>template</span><span class=special>&lt;</span><span class=keyword>typename</span> <span class=identifier>T</span><span class=special>&gt;</span>
  95. <span class=keyword>struct</span> <span class=identifier>holder</span><span class=special>;</span>
  96. <span class=special>}</span> <span class=comment>// namespace boost::flyweights</span>
  97. <span class=special>}</span> <span class=comment>// namespace boost</span>
  98. </pre></blockquote>
  99. <h3><a name="is_holder">Class template <code>is_holder</code></a></h3>
  100. <p>
  101. Unless specialized by the user, <code>is_holder&lt;T&gt;::type</code> is
  102. <a href="../../../mpl/doc/refmanual/bool.html"><code>boost::mpl::true_</code></a>
  103. if <code>T</code> is derived from <code>holder_marker</code>, and it is
  104. <a href="../../../mpl/doc/refmanual/bool.html"><code>boost::mpl::false_</code></a>
  105. otherwise.
  106. </p>
  107. <h3><a name="holder_construct">Class template <code>holder</code></a></h3>
  108. <p>
  109. <code>holder&lt;T&gt;</code> is a syntactic construct meant to indicate
  110. that <code>T</code> is a holder specifier without resorting to the
  111. mechanisms provided by the <code>is_holder</code> class template.
  112. </p>
  113. <h2><a name="static_holder_fwd_synopsis">Header
  114. <a href="../../../../boost/flyweight/static_holder_fwd.hpp"><code>"boost/flyweight/static_holder_fwd.hpp"</code></a> synopsis</a></h2>
  115. <blockquote><pre>
  116. <span class=keyword>namespace</span> <span class=identifier>boost</span><span class=special>{</span>
  117. <span class=keyword>namespace</span> <span class=identifier>flyweights</span><span class=special>{</span>
  118. <span class=keyword>template</span><span class=special>&lt;</span><span class=keyword>typename</span> <span class=identifier>C</span><span class=special>&gt;</span>
  119. <span class=keyword>struct</span> <span class=identifier>static_holder_class</span><span class=special>;</span>
  120. <span class=keyword>struct</span> <span class=identifier>static_holder</span><span class=special>;</span>
  121. <span class=special>}</span> <span class=comment>// namespace boost::flyweights</span>
  122. <span class=special>}</span> <span class=comment>// namespace boost</span>
  123. </pre></blockquote>
  124. <p>
  125. <code>static_holder_fwd.hpp</code> forward declares
  126. <a href="#static_holder_class"><code>static_holder_class</code></a>
  127. and <a href="#static_holder"><code>static_holder</code></a>.
  128. </p>
  129. <h2><a name="static_holder_synopsis">Header
  130. <a href="../../../../boost/flyweight/static_holder.hpp"><code>"boost/flyweight/static_holder.hpp"</code></a> synopsis</a></h2>
  131. <h3><a name="static_holder_class">Class template <code>static_holder_class</code></a></h3>
  132. <p>
  133. <code>static_holder_class&lt;C&gt;</code> keeps its unique instance of <code>C</code> as a
  134. local static object.
  135. </p>
  136. <h3><a name="static_holder">Class <code>static_holder</code></a></h3>
  137. <p>
  138. <a href="#holder"><code>Holder Specifier</code></a> for <a href="#static_holder_class"><code>static_holder_class</code></a>.
  139. </p>
  140. <h2><a name="intermodule_holder_fwd_synopsis">Header
  141. <a href="../../../../boost/flyweight/intermodule_holder_fwd.hpp"><code>"boost/flyweight/intermodule_holder_fwd.hpp"</code></a> synopsis</a></h2>
  142. <blockquote><pre>
  143. <span class=keyword>namespace</span> <span class=identifier>boost</span><span class=special>{</span>
  144. <span class=keyword>namespace</span> <span class=identifier>flyweights</span><span class=special>{</span>
  145. <span class=keyword>template</span><span class=special>&lt;</span><span class=keyword>typename</span> <span class=identifier>C</span><span class=special>&gt;</span>
  146. <span class=keyword>struct</span> <span class=identifier>intermodule_holder_class</span><span class=special>;</span>
  147. <span class=keyword>struct</span> <span class=identifier>intermodule_holder</span><span class=special>;</span>
  148. <span class=special>}</span> <span class=comment>// namespace boost::flyweights</span>
  149. <span class=special>}</span> <span class=comment>// namespace boost</span>
  150. </pre></blockquote>
  151. <p>
  152. <code>intermodule_holder_fwd.hpp</code> forward declares
  153. <a href="#intermodule_holder_class"><code>intermodule_holder_class</code></a>
  154. and <a href="#intermodule_holder"><code>intermodule_holder</code></a>.
  155. </p>
  156. <h2><a name="intermodule_holder_synopsis">Header
  157. <a href="../../../../boost/flyweight/intermodule_holder.hpp"><code>"boost/flyweight/intermodule_holder.hpp"</code></a> synopsis</a></h2>
  158. <h3><a name="intermodule_holder_class">Class template <code>intermodule_holder_class</code></a></h3>
  159. <p>
  160. <code>intermodule_holder_class&lt;C&gt;</code> maintains a <code>C</code>
  161. instance which is unique even across different dynamically linked modules of
  162. the program using this same type. In general, this guarantee is not provided by
  163. <a href="#static_holder_class"><code>static_holder_class</code></a>, as most
  164. C++ implementations are not able to merge duplicates of static variables stored
  165. in different dynamic modules of a program.
  166. </p>
  167. <h3><a name="intermodule_holder">Class <code>intermodule_holder</code></a></h3>
  168. <p>
  169. <a href="#holder"><code>Holder Specifier</code></a> for <a href="#intermodule_holder_class"><code>intermodule_holder_class</code></a>.
  170. </p>
  171. <hr>
  172. <div class="prev_link"><a href="factories.html"><img src="../prev.gif" alt="factories" border="0"><br>
  173. Factories
  174. </a></div>
  175. <div class="up_link"><a href="index.html"><img src="../up.gif" alt="Boost.Flyweight reference" border="0"><br>
  176. Boost.Flyweight reference
  177. </a></div>
  178. <div class="next_link"><a href="locking.html"><img src="../next.gif" alt="locking policies" border="0"><br>
  179. Locking policies
  180. </a></div><br clear="all" style="clear: all;">
  181. <br>
  182. <p>Revised August 11th 2008</p>
  183. <p>&copy; Copyright 2006-2008 Joaqu&iacute;n M L&oacute;pez Mu&ntilde;oz.
  184. Distributed under the Boost Software
  185. License, Version 1.0. (See accompanying file <a href="../../../../LICENSE_1_0.txt">
  186. LICENSE_1_0.txt</a> or copy at <a href="http://www.boost.org/LICENSE_1_0.txt">
  187. http://www.boost.org/LICENSE_1_0.txt</a>)
  188. </p>
  189. </body>
  190. </html>