Kezdőlap Felfedezés Súgó
Regisztráció Bejelentkezés
devn00b
/
EQ2EMu
9
3
Másolás 0
Fájlok Problémák 59 Beolvasztási kérések 0 Wiki
Fa: 206dc6819b
Branch-ok Tag-ek
EQ2EMu
/
EQ2
/
source
/
depends
/
boost_1_72_0
/
libs
/
local_function
/
doc
/
html
/
boost_localfunction
/
examples.html

examples.html 55 KB
Előzmények Nyers

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710 
  1. <html>
    2. 

  2. <head>
    3. 

  3. <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
    4. 

  4. <title>Examples</title>
    5. 

  5. <link rel="stylesheet" href="../../../../../doc/src/boostbook.css" type="text/css">
    6. 

  6. <meta name="generator" content="DocBook XSL Stylesheets V1.79.1">
    7. 

  7. <link rel="home" href="../index.html" title="Chapter&#160;1.&#160;Boost.LocalFunction 1.0.0">
    8. 

  8. <link rel="up" href="../index.html" title="Chapter&#160;1.&#160;Boost.LocalFunction 1.0.0">
    9. 

  9. <link rel="prev" href="advanced_topics.html" title="Advanced Topics">
    10. 

  10. <link rel="next" href="alternatives.html" title="Annex: Alternatives">
    11. 

  11. </head>
    12. 

  12. <body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF">
    13. 

  13. <table cellpadding="2" width="100%"><tr>
    14. 

  14. <td valign="top"><img alt="Boost C++ Libraries" width="277" height="86" src="../../../../../boost.png"></td>
    15. 

  15. <td align="center"><a href="../../../../../index.html">Home</a></td>
    16. 

  16. <td align="center"><a href="../../../../../libs/libraries.htm">Libraries</a></td>
    17. 

  17. <td align="center"><a href="http://www.boost.org/users/people.html">People</a></td>
    18. 

  18. <td align="center"><a href="http://www.boost.org/users/faq.html">FAQ</a></td>
    19. 

  19. <td align="center"><a href="../../../../../more/index.htm">More</a></td>
    20. 

  20. </tr></table>
    21. 

  21. <hr>
    22. 

  22. <div class="spirit-nav">
    23. 

  23. <a accesskey="p" href="advanced_topics.html"><img src="../../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../index.html"><img src="../../../../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="../index.html"><img src="../../../../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="alternatives.html"><img src="../../../../../doc/src/images/next.png" alt="Next"></a>
    24. 

  24. </div>
    25. 

  25. <div class="section">
    26. 

  26. <div class="titlepage"><div><div><h2 class="title" style="clear: both">
    27. 

  27. <a name="boost_localfunction.examples"></a><a class="link" href="examples.html" title="Examples">Examples</a>
    28. 

  28. </h2></div></div></div>
    29. 

  29. <div class="toc"><dl class="toc">
    30. 

  30. <dt><span class="section"><a href="examples.html#boost_localfunction.examples.gcc_lambdas__without_c__11_">GCC
    31. 

  31.       Lambdas (without C++11)</a></span></dt>
    32. 

  32. <dt><span class="section"><a href="examples.html#boost_localfunction.examples.constant_blocks">Constant
    33. 

  33.       Blocks</a></span></dt>
    34. 

  34. <dt><span class="section"><a href="examples.html#boost_localfunction.examples.scope_exits">Scope Exits</a></span></dt>
    35. 

  35. <dt><span class="section"><a href="examples.html#boost_localfunction.examples.boost_phoenix_functions">Boost.Phoenix
    36. 

  36.       Functions</a></span></dt>
    37. 

  37. <dt><span class="section"><a href="examples.html#boost_localfunction.examples.closures">Closures</a></span></dt>
    38. 

  38. <dt><span class="section"><a href="examples.html#boost_localfunction.examples.gcc_nested_functions">GCC
    39. 

  39.       Nested Functions</a></span></dt>
    40. 

  40. <dt><span class="section"><a href="examples.html#boost_localfunction.examples.n_papers">N-Papers</a></span></dt>
    41. 

  41. </dl></div>
    42. 

  42. <p>
    43. 

  43.       This section lists some examples that use this library.
    44. 

  44.     </p>
    45. 

  45. <div class="section">
    46. 

  46. <div class="titlepage"><div><div><h3 class="title">
    47. 

  47. <a name="boost_localfunction.examples.gcc_lambdas__without_c__11_"></a><a class="link" href="examples.html#boost_localfunction.examples.gcc_lambdas__without_c__11_" title="GCC Lambdas (without C++11)">GCC
    48. 

  48.       Lambdas (without C++11)</a>
    49. 

  49. </h3></div></div></div>
    50. 

  50. <p>
    51. 

  51.         Combing local functions with the non-standard <a href="http://gcc.gnu.org/onlinedocs/gcc/Statement-Exprs.html" target="_top">statement
    52. 

  52.         expression</a> extension of the GCC compiler, it is possible to implement
    53. 

  53.         lambda functions for GCC compilers even without <a href="http://www.open-std.org/JTC1/SC22/WG21/" target="_top">C++11</a>
    54. 

  54.         support.
    55. 

  55.       </p>
    56. 

  56. <div class="warning"><table border="0" summary="Warning">
    57. 

  57. <tr>
    58. 

  58. <td rowspan="2" align="center" valign="top" width="25"><img alt="[Warning]" src="../../../../../doc/src/images/warning.png"></td>
    59. 

  59. <th align="left">Warning</th>
    60. 

  60. </tr>
    61. 

  61. <tr><td align="left" valign="top"><p>
    62. 

  62.           This code only works on compilers that support GCC statement expression
    63. 

  63.           extension or that support <a href="http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions" target="_top">C++11
    64. 

  64.           lambda functions</a>.
    65. 

  65.         </p></td></tr>
    66. 

  66. </table></div>
    67. 

  67. <p>
    68. 

  68.         For example (see also <a href="../../../example/gcc_lambda.cpp" target="_top"><code class="literal">gcc_lambda.cpp</code></a>
    69. 

  69.         and <a href="../../../example/gcc_cxx11_lambda.cpp" target="_top"><code class="literal">gcc_cxx11_lambda.cpp</code></a>):
    70. 

  70.       </p>
    71. 

  71. <div class="informaltable"><table class="table">
    72. 

  72. <colgroup>
    73. 

  73. <col>
    74. 

  74. <col>
    75. 

  75. </colgroup>
    76. 

  76. <thead><tr>
    77. 

  77. <th>
    78. 

  78.                 <p>
    79. 

  79.                   With Local Functions (GCC only)
    80. 

  80.                 </p>
    81. 

  81.               </th>
    82. 

  82. <th>
    83. 

  83.                 <p>
    84. 

  84.                   C++11 Lambdas
    85. 

  85.                 </p>
    86. 

  86.               </th>
    87. 

  87. </tr></thead>
    88. 

  88. <tbody><tr>
    89. 

  89. <td>
    90. 

  90.                 <p>
    91. 

  91. </p>
    92. 

  92. <pre xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="table-programlisting"><span class="keyword">int</span> <span class="identifier">val</span> <span class="special">=</span> <span class="number">2</span><span class="special">;</span>
    93. 

  93. <span class="keyword">int</span> <span class="identifier">nums</span><span class="special">[]</span> <span class="special">=</span> <span class="special">{</span><span class="number">1</span><span class="special">,</span> <span class="number">2</span><span class="special">,</span> <span class="number">3</span><span class="special">};</span>
    94. 

  94. <span class="keyword">int</span><span class="special">*</span> <span class="identifier">end</span> <span class="special">=</span> <span class="identifier">nums</span> <span class="special">+</span> <span class="number">3</span><span class="special">;</span>
    95. 

  95. 

  96. <span class="keyword">int</span><span class="special">*</span> <span class="identifier">iter</span> <span class="special">=</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">find_if</span><span class="special">(</span><span class="identifier">nums</span><span class="special">,</span> <span class="identifier">end</span><span class="special">,</span>
    97. 

  97.     <span class="identifier">GCC_LAMBDA</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">bind</span> <span class="identifier">val</span><span class="special">,</span> <span class="keyword">int</span> <span class="identifier">num</span><span class="special">,</span> <span class="keyword">return</span> <span class="keyword">bool</span><span class="special">)</span> <span class="special">{</span>
    98. 

  98.         <span class="keyword">return</span> <span class="identifier">num</span> <span class="special">==</span> <span class="identifier">val</span><span class="special">;</span>
    99. 

  99.     <span class="special">}</span> <span class="identifier">GCC_LAMBDA_END</span>
    100. 

  100. <span class="special">);</span>
    101. 

  101. </pre>
    102. 

  102. <p>
    103. 

  103.                 </p>
    104. 

  104.               </td>
    105. 

  105. <td>
    106. 

  106.                 <p>
    107. 

  107. </p>
    108. 

  108. <pre xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="table-programlisting"><span class="keyword">int</span> <span class="identifier">val</span> <span class="special">=</span> <span class="number">2</span><span class="special">;</span>
    109. 

  109. <span class="keyword">int</span> <span class="identifier">nums</span><span class="special">[]</span> <span class="special">=</span> <span class="special">{</span><span class="number">1</span><span class="special">,</span> <span class="number">2</span><span class="special">,</span> <span class="number">3</span><span class="special">};</span>
    110. 

  110. <span class="keyword">int</span><span class="special">*</span> <span class="identifier">end</span> <span class="special">=</span> <span class="identifier">nums</span> <span class="special">+</span> <span class="number">3</span><span class="special">;</span>
    111. 

  111. 

  112. <span class="keyword">int</span><span class="special">*</span> <span class="identifier">iter</span> <span class="special">=</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">find_if</span><span class="special">(</span><span class="identifier">nums</span><span class="special">,</span> <span class="identifier">end</span><span class="special">,</span>
    113. 

  113.     <span class="special">[</span><span class="identifier">val</span><span class="special">](</span><span class="keyword">int</span> <span class="identifier">num</span><span class="special">)</span> <span class="special">-&gt;</span> <span class="keyword">bool</span> <span class="special">{</span>
    114. 

  114.         <span class="keyword">return</span> <span class="identifier">num</span> <span class="special">==</span> <span class="identifier">val</span><span class="special">;</span>
    115. 

  115.     <span class="special">}</span>
    116. 

  116. <span class="special">);</span>
    117. 

  117. </pre>
    118. 

  118. <p>
    119. 

  119.                 </p>
    120. 

  120.               </td>
    121. 

  121. </tr></tbody>
    122. 

  122. </table></div>
    123. 

  123. <p>
    124. 

  124.         The GCC lambda function macros are implemented using local functions (see
    125. 

  125.         also <a href="../../../example/gcc_lambda.hpp" target="_top"><code class="literal">gcc_lambda.hpp</code></a>):
    126. 

  126.       </p>
    127. 

  127. <p>
    128. 

  128. </p>
    129. 

  129. <pre class="programlisting"><span class="preprocessor">#   define</span> <span class="identifier">GCC_LAMBDA_</span><span class="special">(</span><span class="identifier">binds</span><span class="special">,</span> <span class="identifier">params</span><span class="special">,</span> <span class="identifier">results</span><span class="special">)</span> <span class="special">\</span>
    130. 

  130.         <span class="special">({</span> <span class="comment">/* open statement expression (GCC extension only) */</span> <span class="special">\</span>
    131. 

  131.         <span class="identifier">BOOST_LOCAL_FUNCTION</span><span class="special">(</span> <span class="special">\</span>
    132. 

  132.             <span class="identifier">BOOST_PP_LIST_ENUM</span><span class="special">(</span><span class="identifier">BOOST_PP_LIST_APPEND</span><span class="special">(</span><span class="identifier">binds</span><span class="special">,</span> <span class="special">\</span>
    133. 

  133.                 <span class="identifier">BOOST_PP_LIST_APPEND</span><span class="special">(</span><span class="identifier">params</span><span class="special">,</span> <span class="special">\</span>
    134. 

  134.                     <span class="identifier">BOOST_PP_IIF</span><span class="special">(</span><span class="identifier">BOOST_PP_LIST_IS_NIL</span><span class="special">(</span><span class="identifier">results</span><span class="special">),</span> <span class="special">\</span>
    135. 

  135.                         <span class="special">(</span><span class="keyword">return</span> <span class="keyword">void</span><span class="special">,</span> <span class="identifier">BOOST_PP_NIL</span><span class="special">)</span> <span class="comment">/* default for lambdas */</span> <span class="special">\</span>
    136. 

  136.                     <span class="special">,</span> <span class="special">\</span>
    137. 

  137.                         <span class="identifier">results</span> <span class="special">\</span>
    138. 

  138.                     <span class="special">)\</span>
    139. 

  139.                 <span class="special">)</span> <span class="special">\</span>
    140. 

  140.             <span class="special">))</span> <span class="special">\</span>
    141. 

  141.         <span class="special">)</span>
    142. 

  142. </pre>
    143. 

  143. <p>
    144. 

  144.       </p>
    145. 

  145. <p>
    146. 

  146. </p>
    147. 

  147. <pre class="programlisting"><span class="preprocessor">#define</span> <span class="identifier">GCC_LAMBDA_END_</span><span class="special">(</span><span class="identifier">id</span><span class="special">)</span> <span class="special">\</span>
    148. 

  148.     <span class="identifier">BOOST_LOCAL_FUNCTION_NAME</span><span class="special">(</span><span class="identifier">BOOST_PP_CAT</span><span class="special">(</span><span class="identifier">gcc_lambda_</span><span class="special">,</span> <span class="identifier">id</span><span class="special">))</span> <span class="special">\</span>
    149. 

  149.     <span class="identifier">BOOST_PP_CAT</span><span class="special">(</span><span class="identifier">gcc_lambda_</span><span class="special">,</span> <span class="identifier">id</span><span class="special">);</span> <span class="special">\</span>
    150. 

  150.     <span class="special">})</span> <span class="comment">/* close statement expression (GCC extension only) */</span>
    151. 

  151. </pre>
    152. 

  152. <p>
    153. 

  153.       </p>
    154. 

  154. <p>
    155. 

  155.         This is possible because GCC statement expressions allow to use declaration
    156. 

  156.         statements within expressions and therefore to declare a local function within
    157. 

  157.         an expression. The macros automatically detect if the compiler supports
    158. 

  158.         <a href="http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions" target="_top">C++11
    159. 

  159.         lambda functions</a> in which case the implementation uses native lambdas
    160. 

  160.         instead of local functions in GCC statement expressions. However, <a href="http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions" target="_top">C++11
    161. 

  161.         lambda functions</a> do not support constant binding so it is best to
    162. 

  162.         only use <code class="computeroutput"><span class="keyword">const</span> <span class="identifier">bind</span>
    163. 

  163.         <span class="identifier">variable</span></code> (same as <code class="computeroutput"><span class="special">=</span><span class="identifier">variable</span></code>
    164. 

  164.         for <a href="http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions" target="_top">C++11
    165. 

  165.         lambda functions</a>) and <code class="computeroutput"><span class="identifier">bind</span><span class="special">&amp;</span> <span class="identifier">variable</span></code>
    166. 

  166.         (same as <code class="computeroutput"><span class="special">&amp;</span><span class="identifier">variable</span></code>
    167. 

  167.         for <a href="http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions" target="_top">C++11
    168. 

  168.         lambda functions</a>') because these have the exact same semantic between
    169. 

  169.         the local function and the native lambda implementations. Furthermore, local
    170. 

  170.         functions allow to bind data members directly while <a href="http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions" target="_top">C++11
    171. 

  171.         lambda functions</a> require to access data members via binding the object
    172. 

  172.         <code class="computeroutput"><span class="keyword">this</span></code>. Unfortunately, the short-hand
    173. 

  173.         binds <code class="computeroutput"><span class="special">&amp;</span></code> and <code class="computeroutput"><span class="special">=</span></code> of <a href="http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions" target="_top">C++11
    174. 

  174.         lambda functions</a> (which automatically bind all variables in scope
    175. 

  175.         either by reference or value) are not supported by these GCC lambda function
    176. 

  176.         macros because they are not supported by local functions. Finally, the result
    177. 

  177.         type <code class="computeroutput"><span class="keyword">return</span> </code><code class="literal"><span class="emphasis"><em>result-type</em></span></code>
    178. 

  178.         is optional and it is assumed <code class="computeroutput"><span class="keyword">void</span></code>
    179. 

  179.         when it is not specified (same as with <a href="http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions" target="_top">C++11
    180. 

  180.         lambda functions</a>).
    181. 

  181.       </p>
    182. 

  182. </div>
    183. 

  183. <div class="section">
    184. 

  184. <div class="titlepage"><div><div><h3 class="title">
    185. 

  185. <a name="boost_localfunction.examples.constant_blocks"></a><a class="link" href="examples.html#boost_localfunction.examples.constant_blocks" title="Constant Blocks">Constant
    186. 

  186.       Blocks</a>
    187. 

  187. </h3></div></div></div>
    188. 

  188. <p>
    189. 

  189.         It is possible to use local functions to check assertions between variables
    190. 

  190.         that are made constant within the asserted expressions. This is advantageous
    191. 

  191.         because assertions are not supposed to change the state of the program and
    192. 

  192.         ideally the compiler will not compile assertions that modify variables.
    193. 

  193.       </p>
    194. 

  194. <p>
    195. 

  195.         For example, consider the following assertion where by mistake we programmed
    196. 

  196.         <code class="computeroutput"><span class="keyword">operator</span><span class="special">=</span></code>
    197. 

  197.         instead of <code class="computeroutput"><span class="keyword">operator</span><span class="special">==</span></code>:
    198. 

  198.       </p>
    199. 

  199. <pre class="programlisting"><span class="keyword">int</span> <span class="identifier">x</span> <span class="special">=</span> <span class="number">1</span><span class="special">,</span> <span class="identifier">y</span> <span class="special">=</span> <span class="number">2</span><span class="special">;</span>
    200. 

  200. <span class="identifier">assert</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="comment">// Mistakenly `=` instead of `==`.</span>
    201. 

  201. </pre>
    202. 

  202. <p>
    203. 

  203.         Ideally this code will not compile instead this example not only compiles
    204. 

  204.         but the assertion even passes the run-time check and no error is generated
    205. 

  205.         at all. The <a href="http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2004/n1613.pdf" target="_top">[N1613]</a>
    206. 

  206.         paper introduces the concept of a <span class="emphasis"><em>const-block</em></span> which
    207. 

  207.         could be used to wrap the assertion above and catch the programming error
    208. 

  208.         at compile-time. Similarly, the following code will generate a compile-time
    209. 

  209.         error when <code class="computeroutput"><span class="keyword">operator</span><span class="special">=</span></code>
    210. 

  210.         is mistakenly used instead of <code class="computeroutput"><span class="keyword">operator</span><span class="special">==</span></code> because both <code class="computeroutput"><span class="identifier">x</span></code>
    211. 

  211.         and <code class="computeroutput"><span class="identifier">y</span></code> are made constants
    212. 

  212.         (using local functions) within the block of code performing the assertion
    213. 

  213.         (see also <a href="../../../example/const_block_error.cpp" target="_top"><code class="literal">const_block_error.cpp</code></a>):
    214. 

  214.       </p>
    215. 

  215. <div class="informaltable"><table class="table">
    216. 

  216. <colgroup>
    217. 

  217. <col>
    218. 

  218. <col>
    219. 

  219. </colgroup>
    220. 

  220. <thead><tr>
    221. 

  221. <th>
    222. 

  222.                 <p>
    223. 

  223.                   With Local Functions
    224. 

  224.                 </p>
    225. 

  225.               </th>
    226. 

  226. <th>
    227. 

  227.                 <p>
    228. 

  228.                   N1613 Const-Blocks
    229. 

  229.                 </p>
    230. 

  230.               </th>
    231. 

  231. </tr></thead>
    232. 

  232. <tbody><tr>
    233. 

  233. <td>
    234. 

  234.                 <p>
    235. 

  235. </p>
    236. 

  236. <pre xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="table-programlisting"><span class="keyword">int</span> <span class="identifier">x</span> <span class="special">=</span> <span class="number">1</span><span class="special">,</span> <span class="identifier">y</span> <span class="special">=</span> <span class="number">2</span><span class="special">;</span>
    237. 

  237. <span class="identifier">CONST_BLOCK</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="special">{</span> <span class="comment">// Constant block.</span>
    238. 

  238.     <span class="identifier">assert</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="comment">// Compiler error.</span>
    239. 

  239. <span class="special">}</span> <span class="identifier">CONST_BLOCK_END</span>
    240. 

  240. </pre>
    241. 

  241. <p>
    242. 

  242.                 </p>
    243. 

  243.               </td>
    244. 

  244. <td>
    245. 

  245.                 <p>
    246. 

  246. </p>
    247. 

  247. <pre xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="table-programlisting"><span class="keyword">int</span> <span class="identifier">x</span> <span class="special">=</span> <span class="number">1</span><span class="special">,</span> <span class="identifier">y</span> <span class="special">=</span> <span class="number">2</span><span class="special">;</span>
    248. 

  248. <span class="keyword">const</span> <span class="special">{</span>             <span class="comment">// Constant block.</span>
    249. 

  249.     <span class="identifier">assert</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="comment">// Compiler error.</span>
    250. 

  250. <span class="special">}</span>
    251. 

  251. </pre>
    252. 

  252. <p>
    253. 

  253.                 </p>
    254. 

  254.               </td>
    255. 

  255. </tr></tbody>
    256. 

  256. </table></div>
    257. 

  257. <p>
    258. 

  258.         The constant block macros are implemented using local functions (see also
    259. 

  259.         <a href="../../../example/const_block.hpp" target="_top"><code class="literal">const_block.hpp</code></a>):
    260. 

  260.       </p>
    261. 

  261. <p>
    262. 

  262. </p>
    263. 

  263. <pre class="programlisting"><span class="preprocessor">#define</span> <span class="identifier">CONST_BLOCK_</span><span class="special">(</span><span class="identifier">variables</span><span class="special">)</span> <span class="special">\</span>
    264. 

  264.     <span class="keyword">void</span> <span class="identifier">BOOST_LOCAL_FUNCTION</span><span class="special">(</span> <span class="special">\</span>
    265. 

  265.         <span class="identifier">BOOST_PP_IIF</span><span class="special">(</span><span class="identifier">BOOST_PP_LIST_IS_NIL</span><span class="special">(</span><span class="identifier">variables</span><span class="special">),</span> <span class="special">\</span>
    266. 

  266.             <span class="keyword">void</span> <span class="identifier">BOOST_PP_TUPLE_EAT</span><span class="special">(</span><span class="number">3</span><span class="special">)</span> <span class="special">\</span>
    267. 

  267.         <span class="special">,</span> <span class="special">\</span>
    268. 

  268.             <span class="identifier">BOOST_PP_LIST_FOR_EACH_I</span> <span class="special">\</span>
    269. 

  269.         <span class="special">)(</span><span class="identifier">CONST_BLOCK_BIND_</span><span class="special">,</span> <span class="special">~,</span> <span class="identifier">variables</span><span class="special">)</span> <span class="special">\</span>
    270. 

  270.     <span class="special">)</span>
    271. 

  271. </pre>
    272. 

  272. <p>
    273. 

  273.       </p>
    274. 

  274. <p>
    275. 

  275. </p>
    276. 

  276. <pre class="programlisting"><span class="preprocessor">#define</span> <span class="identifier">CONST_BLOCK_END_</span><span class="special">(</span><span class="identifier">id</span><span class="special">)</span> <span class="special">\</span>
    277. 

  277.     <span class="identifier">BOOST_LOCAL_FUNCTION_NAME</span><span class="special">(</span><span class="identifier">BOOST_PP_CAT</span><span class="special">(</span><span class="identifier">const_block_</span><span class="special">,</span> <span class="identifier">id</span><span class="special">))</span> <span class="special">\</span>
    278. 

  278.     <span class="identifier">BOOST_PP_CAT</span><span class="special">(</span><span class="identifier">const_block_</span><span class="special">,</span> <span class="identifier">id</span><span class="special">)();</span> <span class="comment">/* call local function immediately */</span>
    279. 

  279. </pre>
    280. 

  280. <p>
    281. 

  281.       </p>
    282. 

  282. <p>
    283. 

  283.         The constant block macros are implemented using a local function which binds
    284. 

  284.         by constant reference <code class="computeroutput"><span class="keyword">const</span> <span class="identifier">bind</span><span class="special">&amp;</span></code>
    285. 

  285.         all the specified variables (so the variables are constant within the code
    286. 

  286.         block but they do not need to be <code class="computeroutput"><span class="identifier">CopyConstructible</span></code>
    287. 

  287.         and no extra copy is performed). The local function executes the <code class="computeroutput"><span class="identifier">assert</span></code> instruction in its body and it is
    288. 

  288.         called immediately after it is defined. More in general, constant blocks
    289. 

  289.         can be used to evaluate any instruction (not just assertions) within a block
    290. 

  290.         were all specified variables are constant.
    291. 

  291.       </p>
    292. 

  292. <p>
    293. 

  293.         Unfortunately, constant blocks cannot be implemented with <a href="http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions" target="_top">C++11
    294. 

  294.         lambda functions</a> because these do not support constant binding. Variables
    295. 

  295.         bound by value using <a href="http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions" target="_top">C++11
    296. 

  296.         lambda functions</a> (<code class="computeroutput"><span class="identifier">variable</span></code>,
    297. 

  297.         <code class="computeroutput"><span class="special">=</span><span class="identifier">variable</span></code>,
    298. 

  298.         and <code class="computeroutput"><span class="special">=</span></code>) are constant but they
    299. 

  299.         are required to be <code class="computeroutput"><span class="identifier">CopyConstructible</span></code>
    300. 

  300.         and they introduce potentially expensive copy operations. <a href="#ftn.boost_localfunction.examples.constant_blocks.f0" class="footnote" name="boost_localfunction.examples.constant_blocks.f0"><sup class="footnote">[29]</sup></a> Of course it is always possible to introduce extra constant variables
    301. 

  301.         and bind these variables to the <a href="http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions" target="_top">C++11
    302. 

  302.         lambda functions</a> but the constant block code will then have to manage
    303. 

  303.         the declaration and initialization of these extra variables plus it will
    304. 

  304.         have to use the extra variable names instead of the original variable names:
    305. 

  305.       </p>
    306. 

  306. <p>
    307. 

  307. </p>
    308. 

  308. <pre class="programlisting"><span class="keyword">int</span> <span class="identifier">x</span> <span class="special">=</span> <span class="number">1</span><span class="special">,</span> <span class="identifier">y</span> <span class="special">=</span> <span class="number">2</span><span class="special">;</span>
    309. 

  309. <span class="keyword">const</span> <span class="keyword">decltype</span><span class="special">(</span><span class="identifier">x</span><span class="special">)&amp;</span> <span class="identifier">const_x</span> <span class="special">=</span> <span class="identifier">x</span><span class="special">;</span> <span class="comment">// Constant so cannot be modified</span>
    310. 

  310. <span class="keyword">const</span> <span class="keyword">decltype</span><span class="special">(</span><span class="identifier">y</span><span class="special">)&amp;</span> <span class="identifier">const_y</span> <span class="special">=</span> <span class="identifier">y</span><span class="special">;</span> <span class="comment">// and reference so no copy.</span>
    311. 

  311. <span class="special">[&amp;</span><span class="identifier">const_x</span><span class="special">,</span> <span class="special">&amp;</span><span class="identifier">const_y</span><span class="special">]()</span> <span class="special">{</span>        <span class="comment">// Lambda functions (C++11 only).</span>
    312. 

  312.     <span class="identifier">assert</span><span class="special">(</span><span class="identifier">const_x</span> <span class="special">=</span> <span class="identifier">const_y</span><span class="special">);</span>  <span class="comment">// Unfortunately, `const_` names.</span>
    313. 

  313. <span class="special">}();</span>
    314. 

  314. </pre>
    315. 

  315. <p>
    316. 

  316.       </p>
    317. 

  317. <p>
    318. 

  318.         In many cases the use of an extra constant variable <code class="computeroutput"><span class="identifier">const_x</span></code>
    319. 

  319.         can be acceptable but in other cases it might be preferable to maintain the
    320. 

  320.         same variable name <code class="computeroutput"><span class="identifier">x</span></code> within
    321. 

  321.         the function body.
    322. 

  322.       </p>
    323. 

  323. </div>
    324. 

  324. <div class="section">
    325. 

  325. <div class="titlepage"><div><div><h3 class="title">
    326. 

  326. <a name="boost_localfunction.examples.scope_exits"></a><a class="link" href="examples.html#boost_localfunction.examples.scope_exits" title="Scope Exits">Scope Exits</a>
    327. 

  327. </h3></div></div></div>
    328. 

  328. <p>
    329. 

  329.         Scope exits allow to execute arbitrary code at the exit of the enclosing
    330. 

  330.         scope and they are provided by the <a href="http://www.boost.org/libs/scope_exit" target="_top">Boost.ScopeExit</a>
    331. 

  331.         library.
    332. 

  332.       </p>
    333. 

  333. <p>
    334. 

  334.         For curiosity, here we show how to re-implement scope exits using local functions.
    335. 

  335.         One small advantage of scope exits that use local functions is that they
    336. 

  336.         support constant binding. <a href="http://www.boost.org/libs/scope_exit" target="_top">Boost.ScopeExit</a>
    337. 

  337.         does not directly support constant binding (however, it is always possible
    338. 

  338.         to introduce an extra <code class="computeroutput"><span class="keyword">const</span></code>
    339. 

  339.         local variable, assign it to the value to bind, and then bind the <code class="computeroutput"><span class="keyword">const</span></code> variable so to effectively have constant
    340. 

  340.         binding with <a href="http://www.boost.org/libs/scope_exit" target="_top">Boost.ScopeExit</a>
    341. 

  341.         as well).
    342. 

  342.       </p>
    343. 

  343. <div class="note"><table border="0" summary="Note">
    344. 

  344. <tr>
    345. 

  345. <td rowspan="2" align="center" valign="top" width="25"><img alt="[Note]" src="../../../../../doc/src/images/note.png"></td>
    346. 

  346. <th align="left">Note</th>
    347. 

  347. </tr>
    348. 

  348. <tr><td align="left" valign="top"><p>
    349. 

  349.           In general, the authors recommend to use <a href="http://www.boost.org/libs/scope_exit" target="_top">Boost.ScopeExit</a>
    350. 

  350.           instead of the code listed by this example whenever possible (because
    351. 

  351.           <a href="http://www.boost.org/libs/scope_exit" target="_top">Boost.ScopeExit</a>
    352. 

  352.           is a library deliberately designed to support the scope exit construct).
    353. 

  353.         </p></td></tr>
    354. 

  354. </table></div>
    355. 

  355. <p>
    356. 

  356.         The following example binds <code class="computeroutput"><span class="identifier">p</span></code>
    357. 

  357.         by constant reference so this variable cannot be modified within the scope
    358. 

  358.         exit body but it is not copied and it will present the value it has at the
    359. 

  359.         exit of the enclosing scope and not at the scope exit declaration (see also
    360. 

  360.         <a href="../../../example/scope_exit.cpp" target="_top"><code class="literal">scope_exit.cpp</code></a>):
    361. 

  361.       </p>
    362. 

  362. <div class="informaltable"><table class="table">
    363. 

  363. <colgroup>
    364. 

  364. <col>
    365. 

  365. <col>
    366. 

  366. </colgroup>
    367. 

  367. <thead><tr>
    368. 

  368. <th>
    369. 

  369.                 <p>
    370. 

  370.                   With Local Functions
    371. 

  371.                 </p>
    372. 

  372.               </th>
    373. 

  373. <th>
    374. 

  374.                 <p>
    375. 

  375.                   Boost.ScopeExit
    376. 

  376.                 </p>
    377. 

  377.               </th>
    378. 

  378. </tr></thead>
    379. 

  379. <tbody><tr>
    380. 

  380. <td>
    381. 

  381.                 <p>
    382. 

  382. </p>
    383. 

  383. <pre xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="table-programlisting"><span class="identifier">person</span><span class="special">&amp;</span> <span class="identifier">p</span> <span class="special">=</span> <span class="identifier">persons_</span><span class="special">.</span><span class="identifier">back</span><span class="special">();</span>
    384. 

  384. <span class="identifier">person</span><span class="special">::</span><span class="identifier">evolution_t</span> <span class="identifier">checkpoint</span> <span class="special">=</span> <span class="identifier">p</span><span class="special">.</span><span class="identifier">evolution_</span><span class="special">;</span>
    385. 

  385. 

  386. <span class="identifier">SCOPE_EXIT</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">bind</span> <span class="identifier">checkpoint</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">bind</span><span class="special">&amp;</span> <span class="identifier">p</span><span class="special">,</span> <span class="identifier">bind</span> <span class="identifier">this_</span><span class="special">)</span> <span class="special">{</span>
    387. 

  387.     <span class="keyword">if</span> <span class="special">(</span><span class="identifier">checkpoint</span> <span class="special">==</span> <span class="identifier">p</span><span class="special">.</span><span class="identifier">evolution_</span><span class="special">)</span> <span class="identifier">this_</span><span class="special">-&gt;</span><span class="identifier">persons_</span><span class="special">.</span><span class="identifier">pop_back</span><span class="special">();</span>
    388. 

  388. <span class="special">}</span> <span class="identifier">SCOPE_EXIT_END</span>
    389. 

  389. </pre>
    390. 

  390. <p>
    391. 

  391.                 </p>
    392. 

  392.               </td>
    393. 

  393. <td>
    394. 

  394.                 <p>
    395. 

  395. </p>
    396. 

  396. <pre xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="table-programlisting"><span class="identifier">person</span><span class="special">&amp;</span> <span class="identifier">p</span> <span class="special">=</span> <span class="identifier">persons_</span><span class="special">.</span><span class="identifier">back</span><span class="special">();</span>
    397. 

  397. <span class="identifier">person</span><span class="special">::</span><span class="identifier">evolution_t</span> <span class="identifier">checkpoint</span> <span class="special">=</span> <span class="identifier">p</span><span class="special">.</span><span class="identifier">evolution_</span><span class="special">;</span>
    398. 

  398. 

  399. <span class="identifier">BOOST_SCOPE_EXIT</span><span class="special">(</span><span class="identifier">checkpoint</span><span class="special">,</span> <span class="special">&amp;</span><span class="identifier">p</span><span class="special">,</span> <span class="identifier">this_</span><span class="special">)</span> <span class="special">{</span> <span class="comment">// Or extra variable `const_p`.</span>
    400. 

  400.     <span class="keyword">if</span> <span class="special">(</span><span class="identifier">checkpoint</span> <span class="special">==</span> <span class="identifier">p</span><span class="special">.</span><span class="identifier">evolution_</span><span class="special">)</span> <span class="identifier">this_</span><span class="special">-&gt;</span><span class="identifier">persons_</span><span class="special">.</span><span class="identifier">pop_back</span><span class="special">();</span>
    401. 

  401. <span class="special">}</span> <span class="identifier">BOOST_SCOPE_EXIT_END</span>
    402. 

  402. </pre>
    403. 

  403. <p>
    404. 

  404.                 </p>
    405. 

  405.               </td>
    406. 

  406. </tr></tbody>
    407. 

  407. </table></div>
    408. 

  408. <p>
    409. 

  409.         The scope exit macros are implemented by passing a local function when constructing
    410. 

  410.         an object of the following class (see also <a href="../../../example/scope_exit.hpp" target="_top"><code class="literal">scope_exit.hpp</code></a>):
    411. 

  411.       </p>
    412. 

  412. <p>
    413. 

  413. </p>
    414. 

  414. <pre class="programlisting"><span class="keyword">struct</span> <span class="identifier">scope_exit</span> <span class="special">{</span>
    415. 

  415.     <span class="identifier">scope_exit</span><span class="special">(</span><span class="identifier">boost</span><span class="special">::</span><span class="identifier">function</span><span class="special">&lt;</span><span class="keyword">void</span> <span class="special">(</span><span class="keyword">void</span><span class="special">)&gt;</span> <span class="identifier">f</span><span class="special">):</span> <span class="identifier">f_</span><span class="special">(</span><span class="identifier">f</span><span class="special">)</span> <span class="special">{}</span>
    416. 

  416.     <span class="special">~</span><span class="identifier">scope_exit</span><span class="special">(</span><span class="keyword">void</span><span class="special">)</span> <span class="special">{</span> <span class="identifier">f_</span><span class="special">();</span> <span class="special">}</span>
    417. 

  417. <span class="keyword">private</span><span class="special">:</span>
    418. 

  418.     <span class="identifier">boost</span><span class="special">::</span><span class="identifier">function</span><span class="special">&lt;</span><span class="keyword">void</span> <span class="special">(</span><span class="keyword">void</span><span class="special">)&gt;</span> <span class="identifier">f_</span><span class="special">;</span>
    419. 

  419. <span class="special">};</span>
    420. 

  420. </pre>
    421. 

  421. <p>
    422. 

  422.       </p>
    423. 

  423. <p>
    424. 

  424. </p>
    425. 

  425. <pre class="programlisting"><span class="preprocessor">#   define</span> <span class="identifier">SCOPE_EXIT</span><span class="special">(...)</span> <span class="special">\</span>
    426. 

  426.         <span class="keyword">void</span> <span class="identifier">BOOST_LOCAL_FUNCTION</span><span class="special">(</span><span class="identifier">__VA_ARGS__</span><span class="special">)</span>
    427. 

  427. </pre>
    428. 

  428. <p>
    429. 

  429.       </p>
    430. 

  430. <p>
    431. 

  431. </p>
    432. 

  432. <pre class="programlisting"><span class="preprocessor">#define</span> <span class="identifier">SCOPE_EXIT_END_</span><span class="special">(</span><span class="identifier">id</span><span class="special">)</span> <span class="special">\</span>
    433. 

  433.     <span class="identifier">BOOST_LOCAL_FUNCTION_NAME</span><span class="special">(</span><span class="identifier">BOOST_PP_CAT</span><span class="special">(</span><span class="identifier">scope_exit_func_</span><span class="special">,</span> <span class="identifier">id</span><span class="special">))</span> <span class="special">\</span>
    434. 

  434.     <span class="identifier">scope_exit</span> <span class="identifier">BOOST_PP_CAT</span><span class="special">(</span><span class="identifier">scope_exit_</span><span class="special">,</span> <span class="identifier">id</span><span class="special">)(</span> <span class="special">\</span>
    435. 

  435.             <span class="identifier">BOOST_PP_CAT</span><span class="special">(</span><span class="identifier">scope_exit_func_</span><span class="special">,</span> <span class="identifier">id</span><span class="special">));</span>
    436. 

  436. </pre>
    437. 

  437. <p>
    438. 

  438.       </p>
    439. 

  439. <p>
    440. 

  440.         A local variable within the enclosing scope is used to hold the object so
    441. 

  441.         the destructor will be invoked at the exit of the enclosing scope and it
    442. 

  442.         will in turn call the local function executing the scope exit instructions.
    443. 

  443.         The scope exit local function has no parameter and <code class="computeroutput"><span class="keyword">void</span></code>
    444. 

  444.         result type but it supports binding and constant binding.
    445. 

  445.       </p>
    446. 

  446. </div>
    447. 

  447. <div class="section">
    448. 

  448. <div class="titlepage"><div><div><h3 class="title">
    449. 

  449. <a name="boost_localfunction.examples.boost_phoenix_functions"></a><a class="link" href="examples.html#boost_localfunction.examples.boost_phoenix_functions" title="Boost.Phoenix Functions">Boost.Phoenix
    450. 

  450.       Functions</a>
    451. 

  451. </h3></div></div></div>
    452. 

  452. <p>
    453. 

  453.         Local functions can be used to create <a href="http://www.boost.org/libs/phoenix" target="_top">Boost.Phoenix</a>
    454. 

  454.         functions. For example (see also <a href="../../../example/phoenix_factorial_local.cpp" target="_top"><code class="literal">phoenix_factorial_local.cpp</code></a>
    455. 

  455.         and <a href="../../../example/phoenix_factorial.cpp" target="_top"><code class="literal">phoenix_factorial.cpp</code></a>):
    456. 

  456.       </p>
    457. 

  457. <div class="informaltable"><table class="table">
    458. 

  458. <colgroup>
    459. 

  459. <col>
    460. 

  460. <col>
    461. 

  461. </colgroup>
    462. 

  462. <thead><tr>
    463. 

  463. <th>
    464. 

  464.                 <p>
    465. 

  465.                   Local Functions
    466. 

  466.                 </p>
    467. 

  467.               </th>
    468. 

  468. <th>
    469. 

  469.                 <p>
    470. 

  470.                   Global Functor
    471. 

  471.                 </p>
    472. 

  472.               </th>
    473. 

  473. </tr></thead>
    474. 

  474. <tbody><tr>
    475. 

  475. <td>
    476. 

  476.                 <p>
    477. 

  477. </p>
    478. 

  478. <pre xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="table-programlisting"><span class="keyword">int</span> <span class="identifier">main</span><span class="special">(</span><span class="keyword">void</span><span class="special">)</span> <span class="special">{</span>
    479. 

  479.     <span class="keyword">using</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">phoenix</span><span class="special">::</span><span class="identifier">arg_names</span><span class="special">::</span><span class="identifier">arg1</span><span class="special">;</span>
    480. 

  480. 

  481.     <span class="keyword">int</span> <span class="identifier">BOOST_LOCAL_FUNCTION</span><span class="special">(</span><span class="keyword">int</span> <span class="identifier">n</span><span class="special">)</span> <span class="special">{</span> <span class="comment">// Unfortunately, monomorphic.</span>
    482. 

  482.         <span class="keyword">return</span> <span class="special">(</span><span class="identifier">n</span> <span class="special">&lt;=</span> <span class="number">0</span><span class="special">)</span> <span class="special">?</span> <span class="number">1</span> <span class="special">:</span> <span class="identifier">n</span> <span class="special">*</span> <span class="identifier">factorial_impl</span><span class="special">(</span><span class="identifier">n</span> <span class="special">-</span> <span class="number">1</span><span class="special">);</span>
    483. 

  483.     <span class="special">}</span> <span class="identifier">BOOST_LOCAL_FUNCTION_NAME</span><span class="special">(</span><span class="identifier">recursive</span> <span class="identifier">factorial_impl</span><span class="special">)</span>
    484. 

  484. 

  485.     <span class="identifier">boost</span><span class="special">::</span><span class="identifier">phoenix</span><span class="special">::</span><span class="identifier">function</span><span class="special">&lt;</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">function</span><span class="special">&lt;</span><span class="keyword">int</span> <span class="special">(</span><span class="keyword">int</span><span class="special">)&gt;</span> <span class="special">&gt;</span>
    486. 

  486.             <span class="identifier">factorial</span><span class="special">(</span><span class="identifier">factorial_impl</span><span class="special">);</span> <span class="comment">// Phoenix function from local function.</span>
    487. 

  487. 

  488.     <span class="keyword">int</span> <span class="identifier">i</span> <span class="special">=</span> <span class="number">4</span><span class="special">;</span>
    489. 

  489.     <span class="identifier">BOOST_TEST</span><span class="special">(</span><span class="identifier">factorial</span><span class="special">(</span><span class="identifier">i</span><span class="special">)()</span> <span class="special">==</span> <span class="number">24</span><span class="special">);</span>      <span class="comment">// Call.</span>
    490. 

  490.     <span class="identifier">BOOST_TEST</span><span class="special">(</span><span class="identifier">factorial</span><span class="special">(</span><span class="identifier">arg1</span><span class="special">)(</span><span class="identifier">i</span><span class="special">)</span> <span class="special">==</span> <span class="number">24</span><span class="special">);</span>  <span class="comment">// Lazy call.</span>
    491. 

  491.     <span class="keyword">return</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">report_errors</span><span class="special">();</span>
    492. 

  492. <span class="special">}</span>
    493. 

  493. </pre>
    494. 

  494. <p>
    495. 

  495.                 </p>
    496. 

  496.               </td>
    497. 

  497. <td>
    498. 

  498.                 <p>
    499. 

  499. </p>
    500. 

  500. <pre xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="table-programlisting"><span class="keyword">struct</span> <span class="identifier">factorial_impl</span> <span class="special">{</span> <span class="comment">// Phoenix function from global functor.</span>
    501. 

  501.     <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> <span class="identifier">Sig</span><span class="special">&gt;</span>
    502. 

  502.     <span class="keyword">struct</span> <span class="identifier">result</span><span class="special">;</span>
    503. 

  503. 

  504.     <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> <span class="identifier">This</span><span class="special">,</span> <span class="keyword">typename</span> <span class="identifier">Arg</span><span class="special">&gt;</span>
    505. 

  505.     <span class="keyword">struct</span> <span class="identifier">result</span><span class="special">&lt;</span><span class="identifier">This</span> <span class="special">(</span><span class="identifier">Arg</span><span class="special">)&gt;</span> <span class="special">:</span> <span class="identifier">result</span><span class="special">&lt;</span><span class="identifier">This</span> <span class="special">(</span><span class="identifier">Arg</span> <span class="keyword">const</span><span class="special">&amp;)&gt;</span> <span class="special">{};</span>
    506. 

  506. 

  507.     <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> <span class="identifier">This</span><span class="special">,</span> <span class="keyword">typename</span> <span class="identifier">Arg</span><span class="special">&gt;</span>
    508. 

  508.     <span class="keyword">struct</span> <span class="identifier">result</span><span class="special">&lt;</span><span class="identifier">This</span> <span class="special">(</span><span class="identifier">Arg</span><span class="special">&amp;)&gt;</span> <span class="special">{</span> <span class="keyword">typedef</span> <span class="identifier">Arg</span> <span class="identifier">type</span><span class="special">;</span> <span class="special">};</span>
    509. 

  509. 

  510.     <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> <span class="identifier">Arg</span><span class="special">&gt;</span> <span class="comment">// Polymorphic.</span>
    511. 

  511.     <span class="identifier">Arg</span> <span class="keyword">operator</span><span class="special">()(</span><span class="identifier">Arg</span> <span class="identifier">n</span><span class="special">)</span> <span class="keyword">const</span> <span class="special">{</span>
    512. 

  512.         <span class="keyword">return</span> <span class="special">(</span><span class="identifier">n</span> <span class="special">&lt;=</span> <span class="number">0</span><span class="special">)</span> <span class="special">?</span> <span class="number">1</span> <span class="special">:</span> <span class="identifier">n</span> <span class="special">*</span> <span class="special">(*</span><span class="keyword">this</span><span class="special">)(</span><span class="identifier">n</span> <span class="special">-</span> <span class="number">1</span><span class="special">);</span>
    513. 

  513.     <span class="special">}</span>
    514. 

  514. <span class="special">};</span>
    515. 

  515. 

  516. <span class="keyword">int</span> <span class="identifier">main</span><span class="special">(</span><span class="keyword">void</span><span class="special">)</span> <span class="special">{</span>
    517. 

  517.     <span class="keyword">using</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">phoenix</span><span class="special">::</span><span class="identifier">arg_names</span><span class="special">::</span><span class="identifier">arg1</span><span class="special">;</span>
    518. 

  518. 

  519.     <span class="identifier">boost</span><span class="special">::</span><span class="identifier">phoenix</span><span class="special">::</span><span class="identifier">function</span><span class="special">&lt;</span><span class="identifier">factorial_impl</span><span class="special">&gt;</span> <span class="identifier">factorial</span><span class="special">;</span>
    520. 

  520. 

  521.     <span class="keyword">int</span> <span class="identifier">i</span> <span class="special">=</span> <span class="number">4</span><span class="special">;</span>
    522. 

  522.     <span class="identifier">BOOST_TEST</span><span class="special">(</span><span class="identifier">factorial</span><span class="special">(</span><span class="identifier">i</span><span class="special">)()</span> <span class="special">==</span> <span class="number">24</span><span class="special">);</span>      <span class="comment">// Call.</span>
    523. 

  523.     <span class="identifier">BOOST_TEST</span><span class="special">(</span><span class="identifier">factorial</span><span class="special">(</span><span class="identifier">arg1</span><span class="special">)(</span><span class="identifier">i</span><span class="special">)</span> <span class="special">==</span> <span class="number">24</span><span class="special">);</span>  <span class="comment">// Lazy call.</span>
    524. 

  524.     <span class="keyword">return</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">report_errors</span><span class="special">();</span>
    525. 

  525. <span class="special">}</span>
    526. 

  526. </pre>
    527. 

  527. <p>
    528. 

  528.                 </p>
    529. 

  529.               </td>
    530. 

  530. </tr></tbody>
    531. 

  531. </table></div>
    532. 

  532. <p>
    533. 

  533.         This is presented here mainly as a curiosity because <a href="http://www.boost.org/libs/phoenix" target="_top">Boost.Phoenix</a>
    534. 

  534.         functions created from local functions have the important limitation that
    535. 

  535.         they cannot be polymorphic. <a href="#ftn.boost_localfunction.examples.boost_phoenix_functions.f0" class="footnote" name="boost_localfunction.examples.boost_phoenix_functions.f0"><sup class="footnote">[30]</sup></a> Therefore, in many cases creating the <a href="http://www.boost.org/libs/phoenix" target="_top">Boost.Phoenix</a>
    536. 

  536.         function from global functors (possibly with the help of <a href="http://www.boost.org/libs/phoenix" target="_top">Boost.Phoenix</a>
    537. 

  537.         adaptor macros) might be a more useful.
    538. 

  538.       </p>
    539. 

  539. </div>
    540. 

  540. <div class="section">
    541. 

  541. <div class="titlepage"><div><div><h3 class="title">
    542. 

  542. <a name="boost_localfunction.examples.closures"></a><a class="link" href="examples.html#boost_localfunction.examples.closures" title="Closures">Closures</a>
    543. 

  543. </h3></div></div></div>
    544. 

  544. <p>
    545. 

  545.         The following are examples of <a href="http://en.wikipedia.org/wiki/Closure_(computer_science)" target="_top">closures</a>
    546. 

  546.         that illustrate how to return local functions to the calling scope (note
    547. 

  547.         how extra care is taken in order to ensure that all bound variables remain
    548. 

  548.         valid at the calling scope):
    549. 

  549.       </p>
    550. 

  550. <div class="informaltable"><table class="table">
    551. 

  551. <colgroup><col></colgroup>
    552. 

  552. <thead><tr><th>
    553. 

  553.                 <p>
    554. 

  554.                   Files
    555. 

  555.                 </p>
    556. 

  556.               </th></tr></thead>
    557. 

  557. <tbody>
    558. 

  558. <tr><td>
    559. 

  559.                 <p>
    560. 

  560.                   <a href="../../../test/return_inc.cpp" target="_top"><code class="literal">return_inc.cpp</code></a>
    561. 

  561.                 </p>
    562. 

  562.               </td></tr>
    563. 

  563. <tr><td>
    564. 

  564.                 <p>
    565. 

  565.                   <a href="../../../test/return_this.cpp" target="_top"><code class="literal">return_this.cpp</code></a>
    566. 

  566.                 </p>
    567. 

  567.               </td></tr>
    568. 

  568. <tr><td>
    569. 

  569.                 <p>
    570. 

  570.                   <a href="../../../test/return_setget.cpp" target="_top"><code class="literal">return_setget.cpp</code></a>
    571. 

  571.                 </p>
    572. 

  572.               </td></tr>
    573. 

  573. <tr><td>
    574. 

  574.                 <p>
    575. 

  575.                   <a href="../../../test/return_derivative.cpp" target="_top"><code class="literal">return_derivative.cpp</code></a>
    576. 

  576.                 </p>
    577. 

  577.               </td></tr>
    578. 

  578. </tbody>
    579. 

  579. </table></div>
    580. 

  580. </div>
    581. 

  581. <div class="section">
    582. 

  582. <div class="titlepage"><div><div><h3 class="title">
    583. 

  583. <a name="boost_localfunction.examples.gcc_nested_functions"></a><a class="link" href="examples.html#boost_localfunction.examples.gcc_nested_functions" title="GCC Nested Functions">GCC
    584. 

  584.       Nested Functions</a>
    585. 

  585. </h3></div></div></div>
    586. 

  586. <p>
    587. 

  587.         The GCC C compiler supports local functions as a non-standard extension under
    588. 

  588.         the name of <a href="http://gcc.gnu.org/onlinedocs/gcc/Nested-Functions.html" target="_top">nested
    589. 

  589.         functions</a>. Note that nested functions are exclusively a C extension
    590. 

  590.         of the GCC compiler (they are not supported for C++ not even by the GCC compiler,
    591. 

  591.         and they are not part of any C or C++ standard, nor they are supported by
    592. 

  592.         other compilers like MSVC).
    593. 

  593.       </p>
    594. 

  594. <p>
    595. 

  595.         The following examples are taken form the GCC nested function documentation
    596. 

  596.         and programmed using local functions:
    597. 

  597.       </p>
    598. 

  598. <div class="informaltable"><table class="table">
    599. 

  599. <colgroup><col></colgroup>
    600. 

  600. <thead><tr><th>
    601. 

  601.                 <p>
    602. 

  602.                   Files
    603. 

  603.                 </p>
    604. 

  604.               </th></tr></thead>
    605. 

  605. <tbody>
    606. 

  606. <tr><td>
    607. 

  607.                 <p>
    608. 

  608.                   <a href="../../../example/gcc_square.cpp" target="_top"><code class="literal">gcc_square.cpp</code></a>
    609. 

  609.                 </p>
    610. 

  610.               </td></tr>
    611. 

  611. <tr><td>
    612. 

  612.                 <p>
    613. 

  613.                   <a href="../../../example/gcc_access.cpp" target="_top"><code class="literal">gcc_access.cpp</code></a>
    614. 

  614.                 </p>
    615. 

  615.               </td></tr>
    616. 

  616. <tr><td>
    617. 

  617.                 <p>
    618. 

  618.                   <a href="../../../example/gcc_store.cpp" target="_top"><code class="literal">gcc_store.cpp</code></a>
    619. 

  619.                 </p>
    620. 

  620.               </td></tr>
    621. 

  621. </tbody>
    622. 

  622. </table></div>
    623. 

  623. </div>
    624. 

  624. <div class="section">
    625. 

  625. <div class="titlepage"><div><div><h3 class="title">
    626. 

  626. <a name="boost_localfunction.examples.n_papers"></a><a class="link" href="examples.html#boost_localfunction.examples.n_papers" title="N-Papers">N-Papers</a>
    627. 

  627. </h3></div></div></div>
    628. 

  628. <p>
    629. 

  629.         The following examples are taken from different C++ "N-papers"
    630. 

  630.         and programmed using local functions:
    631. 

  631.       </p>
    632. 

  632. <div class="informaltable"><table class="table">
    633. 

  633. <colgroup>
    634. 

  634. <col>
    635. 

  635. <col>
    636. 

  636. </colgroup>
    637. 

  637. <thead><tr>
    638. 

  638. <th>
    639. 

  639.                 <p>
    640. 

  640.                   Files
    641. 

  641.                 </p>
    642. 

  642.               </th>
    643. 

  643. <th>
    644. 

  644.                 <p>
    645. 

  645.                   Notes
    646. 

  646.                 </p>
    647. 

  647.               </th>
    648. 

  648. </tr></thead>
    649. 

  649. <tbody>
    650. 

  650. <tr>
    651. 

  651. <td>
    652. 

  652.                 <p>
    653. 

  653.                   <a href="../../../example/n2550_find_if.cpp" target="_top"><code class="literal">n2550_find_if.cpp</code></a>
    654. 

  654.                 </p>
    655. 

  655.               </td>
    656. 

  656. <td>
    657. 

  657.                 <p>
    658. 

  658.                   This example is adapted from <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2550.pdf" target="_top">[N2550]</a>
    659. 

  659.                   (<a href="http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions" target="_top">C++11
    660. 

  660.                   lambda functions</a>): It passes a local function to the STL
    661. 

  661.                   algorithm <code class="computeroutput"><span class="identifier">std</span><span class="special">::</span><span class="identifier">find_if</span></code>.
    662. 

  662.                 </p>
    663. 

  663.               </td>
    664. 

  664. </tr>
    665. 

  665. <tr>
    666. 

  666. <td>
    667. 

  667.                 <p>
    668. 

  668.                   <a href="../../../example/n2529_this.cpp" target="_top"><code class="literal">n2529_this.cpp</code></a>
    669. 

  669.                 </p>
    670. 

  670.               </td>
    671. 

  671. <td>
    672. 

  672.                 <p>
    673. 

  673.                   This example is adapted from <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2529.pdf" target="_top">[N2529]</a>
    674. 

  674.                   (<a href="http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions" target="_top">C++11
    675. 

  675.                   lambda functions</a>): It binds the object in scope <code class="computeroutput"><span class="keyword">this</span></code> to a local function.
    676. 

  676.                 </p>
    677. 

  677.               </td>
    678. 

  678. </tr>
    679. 

  679. </tbody>
    680. 

  680. </table></div>
    681. 

  681. </div>
    682. 

  682. <div class="footnotes">
    683. 

  683. <br><hr style="width:100; text-align:left;margin-left: 0">
    684. 

  684. <div id="ftn.boost_localfunction.examples.constant_blocks.f0" class="footnote"><p><a href="#boost_localfunction.examples.constant_blocks.f0" class="para"><sup class="para">[29] </sup></a>
    685. 

  685.           Ideally, <a href="http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions" target="_top">C++11
    686. 

  686.           lambda functions</a> would allow to bind variables also using <code class="computeroutput"><span class="keyword">const</span><span class="special">&amp;</span> <span class="identifier">variable</span></code> (constant reference) and <code class="computeroutput"><span class="keyword">const</span><span class="special">&amp;</span></code>
    687. 

  687.           (all variables by constant reference).
    688. 

  688.         </p></div>
    689. 

  689. <div id="ftn.boost_localfunction.examples.boost_phoenix_functions.f0" class="footnote"><p><a href="#boost_localfunction.examples.boost_phoenix_functions.f0" class="para"><sup class="para">[30] </sup></a>
    690. 

  690.           <span class="bold"><strong>Rationale.</strong></span> Local functions can only be
    691. 

  691.           monomorphic because they are implemented using local classes and local
    692. 

  692.           classes cannot be templates in C++ (not even in <a href="http://www.open-std.org/JTC1/SC22/WG21/" target="_top">C++11</a>).
    693. 

  693.         </p></div>
    694. 

  694. </div>
    695. 

  695. </div>
    696. 

  696. <table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
    697. 

  697. <td align="left"></td>
    698. 

  698. <td align="right"><div class="copyright-footer">Copyright &#169; 2009-2012 Lorenzo
    699. 

  699.       Caminiti<p>
    700. 

  700.         Distributed under the Boost Software License, Version 1.0 (see accompanying
    701. 

  701.         file LICENSE_1_0.txt or a copy at <a href="http://www.boost.org/LICENSE_1_0.txt" target="_top">http://www.boost.org/LICENSE_1_0.txt</a>)
    702. 

  702.       </p>
    703. 

  703. </div></td>
    704. 

  704. </tr></table>
    705. 

  705. <hr>
    706. 

  706. <div class="spirit-nav">
    707. 

  707. <a accesskey="p" href="advanced_topics.html"><img src="../../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../index.html"><img src="../../../../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="../index.html"><img src="../../../../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="alternatives.html"><img src="../../../../../doc/src/images/next.png" alt="Next"></a>
    708. 

  708. </div>
    709. 

  709. </body>
    710. 

  710. </html>
    711.