alternatives.html 68 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070
  1. <html>
  2. <head>
  3. <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
  4. <title>Annex: Alternatives</title>
  5. <link rel="stylesheet" href="../../../../../doc/src/boostbook.css" type="text/css">
  6. <meta name="generator" content="DocBook XSL Stylesheets V1.79.1">
  7. <link rel="home" href="../index.html" title="Chapter&#160;1.&#160;Boost.LocalFunction 1.0.0">
  8. <link rel="up" href="../index.html" title="Chapter&#160;1.&#160;Boost.LocalFunction 1.0.0">
  9. <link rel="prev" href="examples.html" title="Examples">
  10. <link rel="next" href="no_variadic_macros.html" title="Annex: No Variadic Macros">
  11. </head>
  12. <body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF">
  13. <table cellpadding="2" width="100%"><tr>
  14. <td valign="top"><img alt="Boost C++ Libraries" width="277" height="86" src="../../../../../boost.png"></td>
  15. <td align="center"><a href="../../../../../index.html">Home</a></td>
  16. <td align="center"><a href="../../../../../libs/libraries.htm">Libraries</a></td>
  17. <td align="center"><a href="http://www.boost.org/users/people.html">People</a></td>
  18. <td align="center"><a href="http://www.boost.org/users/faq.html">FAQ</a></td>
  19. <td align="center"><a href="../../../../../more/index.htm">More</a></td>
  20. </tr></table>
  21. <hr>
  22. <div class="spirit-nav">
  23. <a accesskey="p" href="examples.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="no_variadic_macros.html"><img src="../../../../../doc/src/images/next.png" alt="Next"></a>
  24. </div>
  25. <div class="section">
  26. <div class="titlepage"><div><div><h2 class="title" style="clear: both">
  27. <a name="boost_localfunction.alternatives"></a><a class="link" href="alternatives.html" title="Annex: Alternatives">Annex: Alternatives</a>
  28. </h2></div></div></div>
  29. <p>
  30. This section compares the features offered by this library with similar features
  31. offered by C++ and by other libraries.
  32. </p>
  33. <h4>
  34. <a name="boost_localfunction.alternatives.h0"></a>
  35. <span class="phrase"><a name="boost_localfunction.alternatives.features"></a></span><a class="link" href="alternatives.html#boost_localfunction.alternatives.features">Features</a>
  36. </h4>
  37. <p>
  38. The following table compares local function features.
  39. </p>
  40. <div class="informaltable"><table class="table">
  41. <colgroup>
  42. <col>
  43. <col>
  44. <col>
  45. <col>
  46. <col>
  47. <col>
  48. </colgroup>
  49. <thead><tr>
  50. <th>
  51. <p>
  52. Local Function Feature
  53. </p>
  54. </th>
  55. <th>
  56. <p>
  57. Boost.LocalFunction
  58. </p>
  59. </th>
  60. <th>
  61. <p>
  62. C++11 Lambda Function (Not C++03)
  63. </p>
  64. </th>
  65. <th>
  66. <p>
  67. Local Functor
  68. </p>
  69. </th>
  70. <th>
  71. <p>
  72. Global Functor (Not Local)
  73. </p>
  74. </th>
  75. <th>
  76. <p>
  77. Boost.Phoenix
  78. </p>
  79. </th>
  80. </tr></thead>
  81. <tbody>
  82. <tr>
  83. <td>
  84. <p>
  85. <span class="emphasis"><em>Can be defined locally</em></span>
  86. </p>
  87. </td>
  88. <td>
  89. <p>
  90. Yes.
  91. </p>
  92. </td>
  93. <td>
  94. <p>
  95. Yes.
  96. </p>
  97. </td>
  98. <td>
  99. <p>
  100. Yes.
  101. </p>
  102. </td>
  103. <td>
  104. <p>
  105. No. Therefore this not really an alternative implementation of local
  106. functions but it is listed here just for comparison.
  107. </p>
  108. </td>
  109. <td>
  110. <p>
  111. Yes.
  112. </p>
  113. </td>
  114. </tr>
  115. <tr>
  116. <td>
  117. <p>
  118. <span class="emphasis"><em>Can be defined using C++ statement syntax</em></span>
  119. </p>
  120. </td>
  121. <td>
  122. <p>
  123. Yes. Plus eventual compiler errors and debugging retain their usual
  124. meaning and format.
  125. </p>
  126. </td>
  127. <td>
  128. <p>
  129. Yes. Plus eventual compiler errors and debugging retain their usual
  130. meaning and format.
  131. </p>
  132. </td>
  133. <td>
  134. <p>
  135. Yes. Plus eventual compiler errors and debugging retain their usual
  136. meaning and format.
  137. </p>
  138. </td>
  139. <td>
  140. <p>
  141. Yes. Plus eventual compiler errors and debugging retain their usual
  142. meaning and format.
  143. </p>
  144. </td>
  145. <td>
  146. <p>
  147. No (it uses C++ <a href="http://en.wikibooks.org/wiki/More_C%2B%2B_Idioms/Expression-template" target="_top">expression
  148. template</a> syntax).
  149. </p>
  150. </td>
  151. </tr>
  152. <tr>
  153. <td>
  154. <p>
  155. <span class="emphasis"><em>Can be defined within expressions</em></span>
  156. </p>
  157. </td>
  158. <td>
  159. <p>
  160. No. It can be defined only within declarations.
  161. </p>
  162. </td>
  163. <td>
  164. <p>
  165. Yes (plus the local function can be unnamed).
  166. </p>
  167. </td>
  168. <td>
  169. <p>
  170. No. It can be defined only within declarations.
  171. </p>
  172. </td>
  173. <td>
  174. <p>
  175. No. It can be defined only within declarations.
  176. </p>
  177. </td>
  178. <td>
  179. <p>
  180. Yes (plus the local function can be unnamed).
  181. </p>
  182. </td>
  183. </tr>
  184. <tr>
  185. <td>
  186. <p>
  187. <span class="emphasis"><em>Can be passed as template parameter (e.g., to STL algorithms)</em></span>
  188. </p>
  189. </td>
  190. <td>
  191. <p>
  192. Yes. The <a href="http://www.open-std.org/JTC1/SC22/WG21/docs/standards" target="_top">C++03</a>
  193. standard does not allow to pass local types as template parameters
  194. (see <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2657.htm" target="_top">[N2657]</a>)
  195. but this library implements a "trick" to get around this
  196. limitation (see the <a class="link" href="implementation.html" title="Annex: Implementation">Implementation</a>
  197. section).
  198. </p>
  199. </td>
  200. <td>
  201. <p>
  202. Yes.
  203. </p>
  204. </td>
  205. <td>
  206. <p>
  207. No on <a href="http://www.open-std.org/JTC1/SC22/WG21/docs/standards" target="_top">C++03</a>
  208. compilers (but yes on <a href="http://www.open-std.org/JTC1/SC22/WG21/" target="_top">C++11</a>
  209. compilers and some compilers like MSVC 8.0, see <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2657.htm" target="_top">[N2657]</a>).
  210. </p>
  211. </td>
  212. <td>
  213. <p>
  214. Yes.
  215. </p>
  216. </td>
  217. <td>
  218. <p>
  219. Yes.
  220. </p>
  221. </td>
  222. </tr>
  223. <tr>
  224. <td>
  225. <p>
  226. <span class="emphasis"><em>Access variables in scope</em></span>
  227. </p>
  228. </td>
  229. <td>
  230. <p>
  231. Yes. The variable names are repeated in the function declaration
  232. so they can be bound by value, by constant value, by reference, and
  233. by constant reference (the object <code class="computeroutput"><span class="keyword">this</span></code>
  234. can also be bound using <code class="computeroutput"><span class="identifier">this_</span></code>).
  235. </p>
  236. </td>
  237. <td>
  238. <p>
  239. Yes. The variable names are repeated in the function declaration
  240. (plus there is a short-hand syntax to bind all variables in scope
  241. at once) so they can be bound by constant value and by reference
  242. (the object <code class="computeroutput"><span class="keyword">this</span></code> can
  243. also be bound). However, variables cannot be bound by constant references
  244. (see below).
  245. </p>
  246. </td>
  247. <td>
  248. <p>
  249. No. Programmers must manually program functor data members and explicitly
  250. specify their types to access variables in scope.
  251. </p>
  252. </td>
  253. <td>
  254. <p>
  255. No. Programmers must manually program functor data members and explicitly
  256. specify their types to access variables in scope.
  257. </p>
  258. </td>
  259. <td>
  260. <p>
  261. Yes. Variables in scope are accessible as usual within expressions
  262. (plus <code class="computeroutput"><span class="identifier">boost</span><span class="special">::</span><span class="identifier">phoenix</span><span class="special">::</span><span class="identifier">let</span></code> can be used to bind variables
  263. by constant reference).
  264. </p>
  265. </td>
  266. </tr>
  267. <tr>
  268. <td>
  269. <p>
  270. <span class="emphasis"><em><a href="http://en.wikipedia.org/wiki/Type_polymorphism#Parametric_polymorphism" target="_top">Polymorphic</a>
  271. in the function parameter type</em></span>
  272. </p>
  273. </td>
  274. <td>
  275. <p>
  276. No (local functions cannot be function templates).
  277. </p>
  278. </td>
  279. <td>
  280. <p>
  281. No (<a href="http://www.open-std.org/JTC1/SC22/WG21/" target="_top">C++11</a>
  282. lambdas cannot be function templates).
  283. </p>
  284. </td>
  285. <td>
  286. <p>
  287. No (local classes cannot have member function templates).
  288. </p>
  289. </td>
  290. <td>
  291. <p>
  292. Yes.
  293. </p>
  294. </td>
  295. <td>
  296. <p>
  297. Yes.
  298. </p>
  299. </td>
  300. </tr>
  301. </tbody>
  302. </table></div>
  303. <p>
  304. <span class="bold"><strong>C++11 Lambda Function</strong></span>
  305. </p>
  306. <p>
  307. <a href="http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions" target="_top">C++11
  308. lambda functions</a> have most of the features of this library plus some
  309. additional feature (see also the example in the <a class="link" href="../index.html#boost_localfunction.introduction" title="Introduction">Introduction</a>
  310. section):
  311. </p>
  312. <div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
  313. <li class="listitem">
  314. <a href="http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions" target="_top">C++11
  315. lambda functions</a> can be defined within expressions while this library
  316. local functions can only be defined at declaration scope.
  317. </li>
  318. <li class="listitem">
  319. <a href="http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions" target="_top">C++11
  320. lambda functions</a> are only supported by the <a href="http://www.open-std.org/JTC1/SC22/WG21/" target="_top">C++11</a>
  321. standard so they are not supported by all C++ compilers. This library local
  322. functions can be programmed also on <a href="http://www.open-std.org/JTC1/SC22/WG21/docs/standards" target="_top">C++03</a>
  323. compilers (and they have performances comparable to <a href="http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions" target="_top">C++11
  324. lambda functions</a> on <a href="http://www.open-std.org/JTC1/SC22/WG21/" target="_top">C++11</a>
  325. compilers).
  326. </li>
  327. <li class="listitem">
  328. <a href="http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions" target="_top">C++11
  329. lambda functions</a> do not allow to bind variables in scope by constant
  330. reference. Because a variable cannot be bound by constant reference, <a href="http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions" target="_top">C++11
  331. lambda functions</a> can bind a variable by constant only if the variable
  332. is <code class="computeroutput"><span class="identifier">CopyConstructible</span></code> and
  333. the binding requires a (potentially expensive) extra copy operation. Constant
  334. reference binding is instead supported by this library.
  335. </li>
  336. <li class="listitem">
  337. <a href="http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions" target="_top">C++11
  338. lambda functions</a> do not allow to bind data members selectively
  339. without binding also the object <code class="computeroutput"><span class="keyword">this</span></code>
  340. while this library local functions can bind either selected data members
  341. or the entire object <code class="computeroutput"><span class="keyword">this</span></code>
  342. (using <code class="computeroutput"><span class="identifier">this_</span></code>).
  343. </li>
  344. <li class="listitem">
  345. <a href="http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions" target="_top">C++11
  346. lambda functions</a> provide a short-hand syntax to bind all variables
  347. in scope at once (<code class="computeroutput"><span class="special">&amp;</span></code> or
  348. <code class="computeroutput"><span class="special">=</span></code>) while this library local
  349. function always require to bind variables naming them one-by-one.
  350. </li>
  351. </ul></div>
  352. <p>
  353. For example, for non-copyable objects (see also <a href="../../../example/noncopyable_cxx11_lambda_error.cpp" target="_top"><code class="literal">noncopyable_cxx11_lambda_error.cpp</code></a>
  354. and <a href="../../../example/noncopyable_local_function.cpp" target="_top"><code class="literal">noncopyable_local_function.cpp</code></a>):
  355. </p>
  356. <div class="informaltable"><table class="table">
  357. <colgroup>
  358. <col>
  359. <col>
  360. </colgroup>
  361. <thead><tr>
  362. <th>
  363. <p>
  364. C++11 Lambda Function
  365. </p>
  366. </th>
  367. <th>
  368. <p>
  369. Boost.LocalFunction
  370. </p>
  371. </th>
  372. </tr></thead>
  373. <tbody><tr>
  374. <td>
  375. <p>
  376. </p>
  377. <pre xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="table-programlisting"><span class="keyword">struct</span> <span class="identifier">n</span><span class="special">:</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">noncopyable</span> <span class="special">{</span>
  378. <span class="keyword">int</span> <span class="identifier">i</span><span class="special">;</span>
  379. <span class="identifier">n</span><span class="special">(</span><span class="keyword">int</span> <span class="identifier">_i</span><span class="special">):</span> <span class="identifier">i</span><span class="special">(</span><span class="identifier">_i</span><span class="special">)</span> <span class="special">{}</span>
  380. <span class="special">};</span>
  381. <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>
  382. <span class="identifier">n</span> <span class="identifier">x</span><span class="special">(-</span><span class="number">1</span><span class="special">);</span>
  383. <span class="keyword">auto</span> <span class="identifier">f</span> <span class="special">=</span> <span class="special">[</span><span class="identifier">x</span><span class="special">](</span><span class="keyword">void</span><span class="special">)</span> <span class="special">{</span> <span class="comment">// Error: x is non-copyable, but if</span>
  384. <span class="identifier">assert</span><span class="special">(</span><span class="identifier">x</span><span class="special">.</span><span class="identifier">i</span> <span class="special">==</span> <span class="special">-</span><span class="number">1</span><span class="special">);</span> <span class="comment">// bind `&amp;x` then `x` is not constant.</span>
  385. <span class="special">};</span>
  386. <span class="identifier">f</span><span class="special">();</span>
  387. <span class="keyword">return</span> <span class="number">0</span><span class="special">;</span>
  388. <span class="special">}</span>
  389. </pre>
  390. <p>
  391. </p>
  392. </td>
  393. <td>
  394. <p>
  395. </p>
  396. <pre xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="table-programlisting"><span class="keyword">struct</span> <span class="identifier">n</span><span class="special">:</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">noncopyable</span> <span class="special">{</span>
  397. <span class="keyword">int</span> <span class="identifier">i</span><span class="special">;</span>
  398. <span class="identifier">n</span><span class="special">(</span><span class="keyword">int</span> <span class="identifier">_i</span><span class="special">):</span> <span class="identifier">i</span><span class="special">(</span><span class="identifier">_i</span><span class="special">)</span> <span class="special">{}</span>
  399. <span class="special">};</span>
  400. <span class="identifier">BOOST_TYPEOF_REGISTER_TYPE</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="comment">// Register for `bind&amp; x` below.</span>
  401. <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>
  402. <span class="identifier">n</span> <span class="identifier">x</span><span class="special">(-</span><span class="number">1</span><span class="special">);</span>
  403. <span class="keyword">void</span> <span class="identifier">BOOST_LOCAL_FUNCTION</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">bind</span><span class="special">&amp;</span> <span class="identifier">x</span><span class="special">)</span> <span class="special">{</span> <span class="comment">// OK: No copy</span>
  404. <span class="identifier">assert</span><span class="special">(</span><span class="identifier">x</span><span class="special">.</span><span class="identifier">i</span> <span class="special">==</span> <span class="special">-</span><span class="number">1</span><span class="special">);</span> <span class="comment">// and constant.</span>
  405. <span class="special">}</span> <span class="identifier">BOOST_LOCAL_FUNCTION_NAME</span><span class="special">(</span><span class="identifier">f</span><span class="special">)</span>
  406. <span class="identifier">f</span><span class="special">();</span>
  407. <span class="keyword">return</span> <span class="number">0</span><span class="special">;</span>
  408. <span class="special">}</span>
  409. </pre>
  410. <p>
  411. </p>
  412. </td>
  413. </tr></tbody>
  414. </table></div>
  415. <p>
  416. Or, for objects with expensive copy operations (see also <a href="../../../example/expensive_copy_cxx11_lambda.cpp" target="_top"><code class="literal">expensive_copy_cxx11_lambda.cpp</code></a>
  417. and <a href="../../../example/expensive_copy_local_function.cpp" target="_top"><code class="literal">expensive_copy_local_function.cpp</code></a>):
  418. </p>
  419. <div class="informaltable"><table class="table">
  420. <colgroup>
  421. <col>
  422. <col>
  423. </colgroup>
  424. <thead><tr>
  425. <th>
  426. <p>
  427. C++11 Lambda Function
  428. </p>
  429. </th>
  430. <th>
  431. <p>
  432. Boost.LocalFunction
  433. </p>
  434. </th>
  435. </tr></thead>
  436. <tbody><tr>
  437. <td>
  438. <p>
  439. </p>
  440. <pre xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="table-programlisting"><span class="keyword">struct</span> <span class="identifier">n</span> <span class="special">{</span>
  441. <span class="keyword">int</span> <span class="identifier">i</span><span class="special">;</span>
  442. <span class="identifier">n</span><span class="special">(</span><span class="keyword">int</span> <span class="identifier">_i</span><span class="special">):</span> <span class="identifier">i</span><span class="special">(</span><span class="identifier">_i</span><span class="special">)</span> <span class="special">{}</span>
  443. <span class="identifier">n</span><span class="special">(</span><span class="identifier">n</span> <span class="keyword">const</span><span class="special">&amp;</span> <span class="identifier">x</span><span class="special">):</span> <span class="identifier">i</span><span class="special">(</span><span class="identifier">x</span><span class="special">.</span><span class="identifier">i</span><span class="special">)</span> <span class="special">{</span> <span class="comment">// Some time consuming copy operation.</span>
  444. <span class="keyword">for</span> <span class="special">(</span><span class="keyword">unsigned</span> <span class="identifier">i</span> <span class="special">=</span> <span class="number">0</span><span class="special">;</span> <span class="identifier">i</span> <span class="special">&lt;</span> <span class="number">10000</span><span class="special">;</span> <span class="special">++</span><span class="identifier">i</span><span class="special">)</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span> <span class="special">&lt;&lt;</span> <span class="char">'.'</span><span class="special">;</span>
  445. <span class="special">}</span>
  446. <span class="special">};</span>
  447. <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>
  448. <span class="identifier">n</span> <span class="identifier">x</span><span class="special">(-</span><span class="number">1</span><span class="special">);</span>
  449. <span class="keyword">auto</span> <span class="identifier">f</span> <span class="special">=</span> <span class="special">[</span><span class="identifier">x</span><span class="special">]()</span> <span class="special">{</span> <span class="comment">// Problem: Expensive copy, but if bind</span>
  450. <span class="identifier">assert</span><span class="special">(</span><span class="identifier">x</span><span class="special">.</span><span class="identifier">i</span> <span class="special">==</span> <span class="special">-</span><span class="number">1</span><span class="special">);</span> <span class="comment">// by `&amp;x` then `x` is not constant.</span>
  451. <span class="special">};</span>
  452. <span class="identifier">f</span><span class="special">();</span>
  453. <span class="keyword">return</span> <span class="number">0</span><span class="special">;</span>
  454. <span class="special">}</span>
  455. </pre>
  456. <p>
  457. </p>
  458. </td>
  459. <td>
  460. <p>
  461. </p>
  462. <pre xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="table-programlisting"><span class="keyword">struct</span> <span class="identifier">n</span> <span class="special">{</span>
  463. <span class="keyword">int</span> <span class="identifier">i</span><span class="special">;</span>
  464. <span class="identifier">n</span><span class="special">(</span><span class="keyword">int</span> <span class="identifier">_i</span><span class="special">):</span> <span class="identifier">i</span><span class="special">(</span><span class="identifier">_i</span><span class="special">)</span> <span class="special">{}</span>
  465. <span class="identifier">n</span><span class="special">(</span><span class="identifier">n</span> <span class="keyword">const</span><span class="special">&amp;</span> <span class="identifier">x</span><span class="special">):</span> <span class="identifier">i</span><span class="special">(</span><span class="identifier">x</span><span class="special">.</span><span class="identifier">i</span><span class="special">)</span> <span class="special">{</span> <span class="comment">// Some time consuming copy operation.</span>
  466. <span class="keyword">for</span> <span class="special">(</span><span class="keyword">unsigned</span> <span class="identifier">i</span> <span class="special">=</span> <span class="number">0</span><span class="special">;</span> <span class="identifier">i</span> <span class="special">&lt;</span> <span class="number">10000</span><span class="special">;</span> <span class="special">++</span><span class="identifier">i</span><span class="special">)</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span> <span class="special">&lt;&lt;</span> <span class="char">'.'</span><span class="special">;</span>
  467. <span class="special">}</span>
  468. <span class="special">};</span>
  469. <span class="identifier">BOOST_TYPEOF_REGISTER_TYPE</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span> <span class="comment">// Register for `bind&amp; x` below.</span>
  470. <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>
  471. <span class="identifier">n</span> <span class="identifier">x</span><span class="special">(-</span><span class="number">1</span><span class="special">);</span>
  472. <span class="keyword">void</span> <span class="identifier">BOOST_LOCAL_FUNCTION</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">bind</span><span class="special">&amp;</span> <span class="identifier">x</span><span class="special">)</span> <span class="special">{</span> <span class="comment">// OK: No copy expensive</span>
  473. <span class="identifier">assert</span><span class="special">(</span><span class="identifier">x</span><span class="special">.</span><span class="identifier">i</span> <span class="special">==</span> <span class="special">-</span><span class="number">1</span><span class="special">);</span> <span class="comment">// copy but constant.</span>
  474. <span class="special">}</span> <span class="identifier">BOOST_LOCAL_FUNCTION_NAME</span><span class="special">(</span><span class="identifier">f</span><span class="special">)</span>
  475. <span class="identifier">f</span><span class="special">();</span>
  476. <span class="keyword">return</span> <span class="number">0</span><span class="special">;</span>
  477. <span class="special">}</span>
  478. </pre>
  479. <p>
  480. </p>
  481. </td>
  482. </tr></tbody>
  483. </table></div>
  484. <p>
  485. When constant binding functionality is needed for <a href="http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions" target="_top">C++11
  486. lambda functions</a>, the best alternative might be to bind an extra local
  487. variable declared constant and initialized to the original variable (for example,
  488. see <span class="emphasis"><em>constant blocks</em></span> implemented with <a href="http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions" target="_top">C++11
  489. lambda functions</a> in the <a class="link" href="examples.html" title="Examples">Examples</a>
  490. section).
  491. </p>
  492. <p>
  493. <span class="bold"><strong>Local Functor</strong></span>
  494. </p>
  495. <p>
  496. The following example compares local functions with C++ local functors (see
  497. also <a href="../../../example/add_local_functor.cpp" target="_top"><code class="literal">add_local_functor.cpp</code></a>
  498. and <a href="../../../test/add.cpp" target="_top"><code class="literal">add.cpp</code></a>):
  499. </p>
  500. <div class="informaltable"><table class="table">
  501. <colgroup>
  502. <col>
  503. <col>
  504. </colgroup>
  505. <thead><tr>
  506. <th>
  507. <p>
  508. Local Functor
  509. </p>
  510. </th>
  511. <th>
  512. <p>
  513. Boost.LocalFunction
  514. </p>
  515. </th>
  516. </tr></thead>
  517. <tbody><tr>
  518. <td>
  519. <p>
  520. </p>
  521. <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>
  522. <span class="keyword">int</span> <span class="identifier">sum</span> <span class="special">=</span> <span class="number">0</span><span class="special">,</span> <span class="identifier">factor</span> <span class="special">=</span> <span class="number">10</span><span class="special">;</span>
  523. <span class="keyword">struct</span> <span class="identifier">local_add</span> <span class="special">{</span> <span class="comment">// Unfortunately, boilerplate code to program the class.</span>
  524. <span class="identifier">local_add</span><span class="special">(</span><span class="keyword">int</span><span class="special">&amp;</span> <span class="identifier">_sum</span><span class="special">,</span> <span class="keyword">int</span> <span class="identifier">_factor</span><span class="special">):</span> <span class="identifier">sum</span><span class="special">(</span><span class="identifier">_sum</span><span class="special">),</span> <span class="identifier">factor</span><span class="special">(</span><span class="identifier">_factor</span><span class="special">)</span> <span class="special">{}</span>
  525. <span class="keyword">inline</span> <span class="keyword">void</span> <span class="keyword">operator</span><span class="special">()(</span><span class="keyword">int</span> <span class="identifier">num</span><span class="special">)</span> <span class="special">{</span> <span class="comment">// Body uses C++ statement syntax.</span>
  526. <span class="identifier">sum</span> <span class="special">+=</span> <span class="identifier">factor</span> <span class="special">*</span> <span class="identifier">num</span><span class="special">;</span>
  527. <span class="special">}</span>
  528. <span class="keyword">private</span><span class="special">:</span> <span class="comment">// Unfortunately, cannot bind so repeat variable types.</span>
  529. <span class="keyword">int</span><span class="special">&amp;</span> <span class="identifier">sum</span><span class="special">;</span> <span class="comment">// Access `sum` by reference.</span>
  530. <span class="keyword">const</span> <span class="keyword">int</span> <span class="identifier">factor</span><span class="special">;</span> <span class="comment">// Make `factor` constant.</span>
  531. <span class="special">}</span> <span class="identifier">add</span><span class="special">(</span><span class="identifier">sum</span><span class="special">,</span> <span class="identifier">factor</span><span class="special">);</span>
  532. <span class="identifier">add</span><span class="special">(</span><span class="number">1</span><span class="special">);</span>
  533. <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">2</span><span class="special">,</span> <span class="number">3</span><span class="special">};</span>
  534. <span class="comment">// Unfortunately, cannot pass as template parameter to `std::for_each`.</span>
  535. <span class="keyword">for</span><span class="special">(</span><span class="identifier">size_t</span> <span class="identifier">i</span> <span class="special">=</span> <span class="number">0</span><span class="special">;</span> <span class="identifier">i</span> <span class="special">&lt;</span> <span class="number">2</span><span class="special">;</span> <span class="special">++</span><span class="identifier">i</span><span class="special">)</span> <span class="identifier">add</span><span class="special">(</span><span class="identifier">nums</span><span class="special">[</span><span class="identifier">i</span><span class="special">]);</span>
  536. <span class="identifier">BOOST_TEST</span><span class="special">(</span><span class="identifier">sum</span> <span class="special">==</span> <span class="number">60</span><span class="special">);</span>
  537. <span class="keyword">return</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">report_errors</span><span class="special">();</span>
  538. <span class="special">}</span>
  539. </pre>
  540. <p>
  541. </p>
  542. </td>
  543. <td>
  544. <p>
  545. </p>
  546. <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> <span class="comment">// Some local scope.</span>
  547. <span class="keyword">int</span> <span class="identifier">sum</span> <span class="special">=</span> <span class="number">0</span><span class="special">,</span> <span class="identifier">factor</span> <span class="special">=</span> <span class="number">10</span><span class="special">;</span> <span class="comment">// Variables in scope to bind.</span>
  548. <span class="keyword">void</span> <span class="identifier">BOOST_LOCAL_FUNCTION</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">bind</span> <span class="identifier">factor</span><span class="special">,</span> <span class="identifier">bind</span><span class="special">&amp;</span> <span class="identifier">sum</span><span class="special">,</span> <span class="keyword">int</span> <span class="identifier">num</span><span class="special">)</span> <span class="special">{</span>
  549. <span class="identifier">sum</span> <span class="special">+=</span> <span class="identifier">factor</span> <span class="special">*</span> <span class="identifier">num</span><span class="special">;</span>
  550. <span class="special">}</span> <span class="identifier">BOOST_LOCAL_FUNCTION_NAME</span><span class="special">(</span><span class="identifier">add</span><span class="special">)</span>
  551. <span class="identifier">add</span><span class="special">(</span><span class="number">1</span><span class="special">);</span> <span class="comment">// Call the local function.</span>
  552. <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">2</span><span class="special">,</span> <span class="number">3</span><span class="special">};</span>
  553. <span class="identifier">std</span><span class="special">::</span><span class="identifier">for_each</span><span class="special">(</span><span class="identifier">nums</span><span class="special">,</span> <span class="identifier">nums</span> <span class="special">+</span> <span class="number">2</span><span class="special">,</span> <span class="identifier">add</span><span class="special">);</span> <span class="comment">// Pass it to an algorithm.</span>
  554. <span class="identifier">BOOST_TEST</span><span class="special">(</span><span class="identifier">sum</span> <span class="special">==</span> <span class="number">60</span><span class="special">);</span> <span class="comment">// Assert final summation value.</span>
  555. <span class="keyword">return</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">report_errors</span><span class="special">();</span>
  556. <span class="special">}</span>
  557. </pre>
  558. <p>
  559. </p>
  560. </td>
  561. </tr></tbody>
  562. </table></div>
  563. <p>
  564. <span class="bold"><strong>Global Functor</strong></span>
  565. </p>
  566. <p>
  567. The following example compares local functions with C++ global functors (see
  568. also <a href="../../../example/add_global_functor.cpp" target="_top"><code class="literal">add_global_functor.cpp</code></a>
  569. and <a href="../../../test/add.cpp" target="_top"><code class="literal">add.cpp</code></a>):
  570. </p>
  571. <div class="informaltable"><table class="table">
  572. <colgroup>
  573. <col>
  574. <col>
  575. </colgroup>
  576. <thead><tr>
  577. <th>
  578. <p>
  579. Global Functor
  580. </p>
  581. </th>
  582. <th>
  583. <p>
  584. Boost.LocalFunction
  585. </p>
  586. </th>
  587. </tr></thead>
  588. <tbody><tr>
  589. <td>
  590. <p>
  591. </p>
  592. <pre xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="table-programlisting"><span class="comment">// Unfortunately, cannot be defined locally (so not a real alternative).</span>
  593. <span class="keyword">struct</span> <span class="identifier">global_add</span> <span class="special">{</span> <span class="comment">// Unfortunately, boilerplate code to program the class.</span>
  594. <span class="identifier">global_add</span><span class="special">(</span><span class="keyword">int</span><span class="special">&amp;</span> <span class="identifier">_sum</span><span class="special">,</span> <span class="keyword">int</span> <span class="identifier">_factor</span><span class="special">):</span> <span class="identifier">sum</span><span class="special">(</span><span class="identifier">_sum</span><span class="special">),</span> <span class="identifier">factor</span><span class="special">(</span><span class="identifier">_factor</span><span class="special">)</span> <span class="special">{}</span>
  595. <span class="keyword">inline</span> <span class="keyword">void</span> <span class="keyword">operator</span><span class="special">()(</span><span class="keyword">int</span> <span class="identifier">num</span><span class="special">)</span> <span class="special">{</span> <span class="comment">// Body uses C++ statement syntax.</span>
  596. <span class="identifier">sum</span> <span class="special">+=</span> <span class="identifier">factor</span> <span class="special">*</span> <span class="identifier">num</span><span class="special">;</span>
  597. <span class="special">}</span>
  598. <span class="keyword">private</span><span class="special">:</span> <span class="comment">// Unfortunately, cannot bind so repeat variable types.</span>
  599. <span class="keyword">int</span><span class="special">&amp;</span> <span class="identifier">sum</span><span class="special">;</span> <span class="comment">// Access `sum` by reference.</span>
  600. <span class="keyword">const</span> <span class="keyword">int</span> <span class="identifier">factor</span><span class="special">;</span> <span class="comment">// Make `factor` constant.</span>
  601. <span class="special">};</span>
  602. <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>
  603. <span class="keyword">int</span> <span class="identifier">sum</span> <span class="special">=</span> <span class="number">0</span><span class="special">,</span> <span class="identifier">factor</span> <span class="special">=</span> <span class="number">10</span><span class="special">;</span>
  604. <span class="identifier">global_add</span> <span class="identifier">add</span><span class="special">(</span><span class="identifier">sum</span><span class="special">,</span> <span class="identifier">factor</span><span class="special">);</span>
  605. <span class="identifier">add</span><span class="special">(</span><span class="number">1</span><span class="special">);</span>
  606. <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">2</span><span class="special">,</span> <span class="number">3</span><span class="special">};</span>
  607. <span class="identifier">std</span><span class="special">::</span><span class="identifier">for_each</span><span class="special">(</span><span class="identifier">nums</span><span class="special">,</span> <span class="identifier">nums</span> <span class="special">+</span> <span class="number">2</span><span class="special">,</span> <span class="identifier">add</span><span class="special">);</span> <span class="comment">// Passed as template parameter.</span>
  608. <span class="identifier">BOOST_TEST</span><span class="special">(</span><span class="identifier">sum</span> <span class="special">==</span> <span class="number">60</span><span class="special">);</span>
  609. <span class="keyword">return</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">report_errors</span><span class="special">();</span>
  610. <span class="special">}</span>
  611. </pre>
  612. <p>
  613. </p>
  614. </td>
  615. <td>
  616. <p>
  617. </p>
  618. <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> <span class="comment">// Some local scope.</span>
  619. <span class="keyword">int</span> <span class="identifier">sum</span> <span class="special">=</span> <span class="number">0</span><span class="special">,</span> <span class="identifier">factor</span> <span class="special">=</span> <span class="number">10</span><span class="special">;</span> <span class="comment">// Variables in scope to bind.</span>
  620. <span class="keyword">void</span> <span class="identifier">BOOST_LOCAL_FUNCTION</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">bind</span> <span class="identifier">factor</span><span class="special">,</span> <span class="identifier">bind</span><span class="special">&amp;</span> <span class="identifier">sum</span><span class="special">,</span> <span class="keyword">int</span> <span class="identifier">num</span><span class="special">)</span> <span class="special">{</span>
  621. <span class="identifier">sum</span> <span class="special">+=</span> <span class="identifier">factor</span> <span class="special">*</span> <span class="identifier">num</span><span class="special">;</span>
  622. <span class="special">}</span> <span class="identifier">BOOST_LOCAL_FUNCTION_NAME</span><span class="special">(</span><span class="identifier">add</span><span class="special">)</span>
  623. <span class="identifier">add</span><span class="special">(</span><span class="number">1</span><span class="special">);</span> <span class="comment">// Call the local function.</span>
  624. <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">2</span><span class="special">,</span> <span class="number">3</span><span class="special">};</span>
  625. <span class="identifier">std</span><span class="special">::</span><span class="identifier">for_each</span><span class="special">(</span><span class="identifier">nums</span><span class="special">,</span> <span class="identifier">nums</span> <span class="special">+</span> <span class="number">2</span><span class="special">,</span> <span class="identifier">add</span><span class="special">);</span> <span class="comment">// Pass it to an algorithm.</span>
  626. <span class="identifier">BOOST_TEST</span><span class="special">(</span><span class="identifier">sum</span> <span class="special">==</span> <span class="number">60</span><span class="special">);</span> <span class="comment">// Assert final summation value.</span>
  627. <span class="keyword">return</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">report_errors</span><span class="special">();</span>
  628. <span class="special">}</span>
  629. </pre>
  630. <p>
  631. </p>
  632. </td>
  633. </tr></tbody>
  634. </table></div>
  635. <p>
  636. However, note that global functors do not allow to define the function locally
  637. so they are not a real alternative implementation of local functions.
  638. </p>
  639. <p>
  640. <span class="bold"><strong>Boost.Phoenix</strong></span>
  641. </p>
  642. <p>
  643. The following example compares local functions with <a href="http://www.boost.org/libs/phoenix" target="_top">Boost.Phoenix</a>
  644. (see also <a href="../../../example/add_phoenix.cpp" target="_top"><code class="literal">add_phoenix.cpp</code></a>
  645. and <a href="../../../test/add.cpp" target="_top"><code class="literal">add.cpp</code></a>):
  646. </p>
  647. <div class="informaltable"><table class="table">
  648. <colgroup>
  649. <col>
  650. <col>
  651. </colgroup>
  652. <thead><tr>
  653. <th>
  654. <p>
  655. Boost.Phoenix
  656. </p>
  657. </th>
  658. <th>
  659. <p>
  660. Boost.LocalFunction
  661. </p>
  662. </th>
  663. </tr></thead>
  664. <tbody><tr>
  665. <td>
  666. <p>
  667. </p>
  668. <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>
  669. <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">let</span><span class="special">;</span>
  670. <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">local_names</span><span class="special">::</span><span class="identifier">_f</span><span class="special">;</span>
  671. <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">cref</span><span class="special">;</span>
  672. <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">ref</span><span class="special">;</span>
  673. <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">_1</span><span class="special">;</span>
  674. <span class="keyword">int</span> <span class="identifier">sum</span> <span class="special">=</span> <span class="number">0</span><span class="special">,</span> <span class="identifier">factor</span> <span class="special">=</span> <span class="number">10</span><span class="special">;</span>
  675. <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>
  676. <span class="comment">// Passed to template, `factor` by constant, and defined in expression.</span>
  677. <span class="identifier">std</span><span class="special">::</span><span class="identifier">for_each</span><span class="special">(</span><span class="identifier">nums</span><span class="special">,</span> <span class="identifier">nums</span> <span class="special">+</span> <span class="number">3</span><span class="special">,</span> <span class="identifier">let</span><span class="special">(</span><span class="identifier">_f</span> <span class="special">=</span> <span class="identifier">cref</span><span class="special">(</span><span class="identifier">factor</span><span class="special">))[</span>
  678. <span class="comment">// Unfortunately, body cannot use C++ statement syntax.</span>
  679. <span class="identifier">ref</span><span class="special">(</span><span class="identifier">sum</span><span class="special">)</span> <span class="special">+=</span> <span class="identifier">_f</span> <span class="special">*</span> <span class="identifier">_1</span><span class="special">,</span> <span class="identifier">_1</span> <span class="comment">// Access `sum` by reference.</span>
  680. <span class="special">]);</span>
  681. <span class="identifier">BOOST_TEST</span><span class="special">(</span><span class="identifier">sum</span> <span class="special">==</span> <span class="number">60</span><span class="special">);</span>
  682. <span class="keyword">return</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">report_errors</span><span class="special">();</span>
  683. <span class="special">}</span>
  684. </pre>
  685. <p>
  686. </p>
  687. </td>
  688. <td>
  689. <p>
  690. </p>
  691. <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> <span class="comment">// Some local scope.</span>
  692. <span class="keyword">int</span> <span class="identifier">sum</span> <span class="special">=</span> <span class="number">0</span><span class="special">,</span> <span class="identifier">factor</span> <span class="special">=</span> <span class="number">10</span><span class="special">;</span> <span class="comment">// Variables in scope to bind.</span>
  693. <span class="keyword">void</span> <span class="identifier">BOOST_LOCAL_FUNCTION</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">bind</span> <span class="identifier">factor</span><span class="special">,</span> <span class="identifier">bind</span><span class="special">&amp;</span> <span class="identifier">sum</span><span class="special">,</span> <span class="keyword">int</span> <span class="identifier">num</span><span class="special">)</span> <span class="special">{</span>
  694. <span class="identifier">sum</span> <span class="special">+=</span> <span class="identifier">factor</span> <span class="special">*</span> <span class="identifier">num</span><span class="special">;</span>
  695. <span class="special">}</span> <span class="identifier">BOOST_LOCAL_FUNCTION_NAME</span><span class="special">(</span><span class="identifier">add</span><span class="special">)</span>
  696. <span class="identifier">add</span><span class="special">(</span><span class="number">1</span><span class="special">);</span> <span class="comment">// Call the local function.</span>
  697. <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">2</span><span class="special">,</span> <span class="number">3</span><span class="special">};</span>
  698. <span class="identifier">std</span><span class="special">::</span><span class="identifier">for_each</span><span class="special">(</span><span class="identifier">nums</span><span class="special">,</span> <span class="identifier">nums</span> <span class="special">+</span> <span class="number">2</span><span class="special">,</span> <span class="identifier">add</span><span class="special">);</span> <span class="comment">// Pass it to an algorithm.</span>
  699. <span class="identifier">BOOST_TEST</span><span class="special">(</span><span class="identifier">sum</span> <span class="special">==</span> <span class="number">60</span><span class="special">);</span> <span class="comment">// Assert final summation value.</span>
  700. <span class="keyword">return</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">report_errors</span><span class="special">();</span>
  701. <span class="special">}</span>
  702. </pre>
  703. <p>
  704. </p>
  705. </td>
  706. </tr></tbody>
  707. </table></div>
  708. <p>
  709. The comparison in this section does not include the <a href="http://www.boost.org/libs/lambda" target="_top">Boost.Lambda</a>
  710. library because that library is obsolete and it was replaced by <a href="http://www.boost.org/libs/phoenix" target="_top">Boost.Phoenix</a>.
  711. The <a href="http://www.boost.org/libs/phoenix" target="_top">Boost.Phoenix</a> library
  712. version 3.0 is used for this comparison.
  713. </p>
  714. <h4>
  715. <a name="boost_localfunction.alternatives.h1"></a>
  716. <span class="phrase"><a name="boost_localfunction.alternatives.performances"></a></span><a class="link" href="alternatives.html#boost_localfunction.alternatives.performances">Performances</a>
  717. </h4>
  718. <p>
  719. The following tables compare run-times, compile-times, and binary sizes for
  720. the different alternatives to local functions presented in this section.
  721. </p>
  722. <p>
  723. Overall, this library has compile-times and generates binary sizes similar
  724. to the ones of the other approaches. This library run-times on <a href="http://www.open-std.org/JTC1/SC22/WG21/docs/standards" target="_top">C++03</a>
  725. compilers were measured to be larger than other approaches when compiler optimization
  726. is enabled (using <code class="computeroutput"><span class="identifier">bjam</span> <span class="identifier">release</span>
  727. <span class="special">...</span></code>). However, on compilers that allow
  728. to pass local types as template parameters (e.g., MSVC 8.0 or GCC 4.5.3 with
  729. <a href="http://www.open-std.org/JTC1/SC22/WG21/" target="_top">C++11</a> features
  730. enabled <code class="literal">-std=c++0x</code>, see also <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2657.htm" target="_top">[N2657]</a>
  731. and <a href="http://www.boost.org/libs/chrono" target="_top">Boost.Config</a>'s <code class="computeroutput"><span class="identifier">BOOST_NO_CXX11_LOCAL_CLASS_TEMPLATE_PARAMETERS</span></code>)
  732. this library automatically generates optimized code that runs as fast as the
  733. fastest of the other approaches (see the "Boost.LocalFunction" approach
  734. below). When this library local function is specified <code class="computeroutput"><span class="keyword">inline</span></code>
  735. (see the "Boost.LocalFunction Inline" approach below and the <a class="link" href="advanced_topics.html" title="Advanced Topics">Advanced Topics</a> section)
  736. its run-times are always comparable to both the "Local Functor" and
  737. "Global Functor" approaches. However, in these cases the local function
  738. cannot be portably passed as template parameter (see <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2657.htm" target="_top">[N2657]</a>
  739. and <a href="http://www.boost.org/libs/chrono" target="_top">Boost.Config</a>'s <code class="computeroutput"><span class="identifier">BOOST_NO_CXX11_LOCAL_CLASS_TEMPLATE_PARAMETERS</span></code>)
  740. so <code class="computeroutput"><span class="identifier">std</span><span class="special">::</span><span class="identifier">for_each</span></code> is replaced by a for-loop (on MSVC
  741. the for-loop, and not the local function in fact the same applies to local
  742. functors, was measured to have worst performances than using <code class="computeroutput"><span class="identifier">std</span><span class="special">::</span><span class="identifier">for_each</span></code>).
  743. Finally, this library run-times are always among the fastest when no compiler
  744. optimization is enabled (using <code class="computeroutput"><span class="identifier">bjam</span>
  745. <span class="identifier">debug</span> <span class="special">...</span></code>).
  746. </p>
  747. <div class="note"><table border="0" summary="Note">
  748. <tr>
  749. <td rowspan="2" align="center" valign="top" width="25"><img alt="[Note]" src="../../../../../doc/src/images/note.png"></td>
  750. <th align="left">Note</th>
  751. </tr>
  752. <tr><td align="left" valign="top"><p>
  753. The run-time performances of this library local functions are explained because
  754. on <a href="http://www.open-std.org/JTC1/SC22/WG21/docs/standards" target="_top">C++03</a>
  755. compliant compilers (e.g., GCC 4.5.3 without <code class="literal">-std=c++0x</code>)
  756. this library needs to use a function pointer in order to portably pass the
  757. local function class as a template parameter (see <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2657.htm" target="_top">[N2657]</a>
  758. and the <a class="link" href="implementation.html" title="Annex: Implementation">Implementation</a>
  759. section). For all tested compilers, this function pointer prevents the compiler
  760. optimization algorithms from inlining the local function calls. Instead,
  761. the functors used by other approaches (e.g., <a href="http://www.boost.org/libs/phoenix" target="_top">Boost.Phoenix</a>)
  762. have been observed to allow all tested compilers to inline all the function
  763. calls for optimization. This run-time performance cost is not present on
  764. compilers that allow to pass local types as template parameters (e.g., MSVC
  765. 8.0 or GCC 4.5.3 with <a href="http://www.open-std.org/JTC1/SC22/WG21/" target="_top">C++11</a>
  766. features enabled <code class="literal">-std=c++0x</code>, see <a href="http://www.boost.org/libs/chrono" target="_top">Boost.Config</a>'s
  767. <code class="computeroutput"><span class="identifier">BOOST_NO_CXX11_LOCAL_CLASS_TEMPLATE_PARAMETERS</span></code>)
  768. because this library does not have to use the extra function pointer to implement
  769. the local function call (it directly passes the local class type as template
  770. parameter).
  771. </p></td></tr>
  772. </table></div>
  773. <p>
  774. This run-time performance cost on <a href="http://www.open-std.org/JTC1/SC22/WG21/docs/standards" target="_top">C++03</a>
  775. compilers might or might not be an issue depending on the performance requirements
  776. of specific applications. For example, an application might already be using
  777. a number of indirect function calls (function pointers, virtual functions,
  778. etc) for which the overhead added by using the one extra function pointer required
  779. by the local function call might not be noticeable within the overall program
  780. run-time.
  781. </p>
  782. <p>
  783. Finally, note that only a very simple local function body with just a single
  784. instruction was used for the anaylsis presented here (see the source files
  785. below). The authors have not studied how this library and the other approaches
  786. will perform with respect to each other when a more complex set of instructions
  787. is programmed for the local function body (e.g., <span class="emphasis"><em>if</em></span> a
  788. more complex set of instructions in the local function body were to inhibit
  789. some compiler from inlining function objects also other approaches like <a href="http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions" target="_top">C++11
  790. lambda functions</a> and <a href="http://www.boost.org/libs/phoenix" target="_top">Boost.Phoenix</a>
  791. <span class="emphasis"><em>could</em></span> start to show higher run-times even when optimization
  792. is enabled).
  793. </p>
  794. <p>
  795. The following commands were executed from the library example directory to
  796. measure compile-time, binary size, and run-time respectively:
  797. </p>
  798. <pre class="programlisting">&gt; touch &lt;FILE_NAME&gt;.cpp # force recompilation
  799. &gt; python chrono.py bjam {release|debug} &lt;FILE_NAME&gt; # compile-time
  800. &gt; size &lt;FILE_NAME&gt; # binary size
  801. &gt; ./&lt;FILE_NAME&gt; # run-time
  802. </pre>
  803. <p>
  804. The local function was called <code class="literal">1e8</code> times to add together
  805. all the elements of a vector and the run-time was measured using <a href="http://www.boost.org/libs/chrono" target="_top">Boost.Chrono</a>
  806. averaging over <code class="literal">10</code> executions of the vector summation (see
  807. the source files below).
  808. </p>
  809. <div class="informaltable"><table class="table">
  810. <colgroup>
  811. <col>
  812. <col>
  813. <col>
  814. </colgroup>
  815. <thead><tr>
  816. <th>
  817. <p>
  818. Legend
  819. </p>
  820. </th>
  821. <th>
  822. <p>
  823. Approach
  824. </p>
  825. </th>
  826. <th>
  827. <p>
  828. Source File
  829. </p>
  830. </th>
  831. </tr></thead>
  832. <tbody>
  833. <tr>
  834. <td>
  835. <p>
  836. <span class="inlinemediaobject"><img src="../../../example/profile_legend_local_function.png" alt="profile_legend_local_function"></span>
  837. </p>
  838. </td>
  839. <td>
  840. <p>
  841. <a href="http://www.boost.org/libs/local_function" target="_top">Boost.LocalFunction</a>
  842. </p>
  843. </td>
  844. <td>
  845. <p>
  846. <a href="../../../example/profile_local_function.cpp" target="_top"><code class="literal">profile_local_function.cpp</code></a>
  847. </p>
  848. </td>
  849. </tr>
  850. <tr>
  851. <td>
  852. <p>
  853. <span class="inlinemediaobject"><img src="../../../example/profile_legend_local_function_inline.png" alt="profile_legend_local_function_inline"></span>
  854. </p>
  855. </td>
  856. <td>
  857. <p>
  858. <a href="http://www.boost.org/libs/local_function" target="_top">Boost.LocalFunction</a>
  859. inline
  860. </p>
  861. </td>
  862. <td>
  863. <p>
  864. <a href="../../../example/profile_local_function_inline.cpp" target="_top"><code class="literal">profile_local_function_inline.cpp</code></a>
  865. </p>
  866. </td>
  867. </tr>
  868. <tr>
  869. <td>
  870. <p>
  871. <span class="inlinemediaobject"><img src="../../../example/profile_legend_cxx11_lambda.png" alt="profile_legend_cxx11_lambda"></span>
  872. </p>
  873. </td>
  874. <td>
  875. <p>
  876. <a href="http://www.open-std.org/JTC1/SC22/WG21/" target="_top">C++11</a>
  877. Lambda Function <a href="#ftn.boost_localfunction.alternatives.f0" class="footnote" name="boost_localfunction.alternatives.f0"><sup class="footnote">[a]</sup></a>
  878. </p>
  879. </td>
  880. <td>
  881. <p>
  882. <a href="../../../example/profile_cxx11_lambda.cpp" target="_top"><code class="literal">profile_cxx11_lambda.cpp</code></a>
  883. </p>
  884. </td>
  885. </tr>
  886. <tr>
  887. <td>
  888. <p>
  889. <span class="inlinemediaobject"><img src="../../../example/profile_legend_local_functor.png" alt="profile_legend_local_functor"></span>
  890. </p>
  891. </td>
  892. <td>
  893. <p>
  894. Local Functor
  895. </p>
  896. </td>
  897. <td>
  898. <p>
  899. <a href="../../../example/profile_local_functor.cpp" target="_top"><code class="literal">profile_local_functor.cpp</code></a>
  900. </p>
  901. </td>
  902. </tr>
  903. <tr>
  904. <td>
  905. <p>
  906. <span class="inlinemediaobject"><img src="../../../example/profile_legend_global_functor.png" alt="profile_legend_global_functor"></span>
  907. </p>
  908. </td>
  909. <td>
  910. <p>
  911. Global Functor
  912. </p>
  913. </td>
  914. <td>
  915. <p>
  916. <a href="../../../example/profile_global_functor.cpp" target="_top"><code class="literal">profile_global_functor.cpp</code></a>
  917. </p>
  918. </td>
  919. </tr>
  920. <tr>
  921. <td>
  922. <p>
  923. <span class="inlinemediaobject"><img src="../../../example/profile_legend_phoenix.png" alt="profile_legend_phoenix"></span>
  924. </p>
  925. </td>
  926. <td>
  927. <p>
  928. <a href="http://www.boost.org/libs/phoenix" target="_top">Boost.Phoenix</a>
  929. </p>
  930. </td>
  931. <td>
  932. <p>
  933. <a href="../../../example/profile_phoenix.cpp" target="_top"><code class="literal">profile_phoenix.cpp</code></a>
  934. </p>
  935. </td>
  936. </tr>
  937. </tbody>
  938. <tbody class="footnotes"><tr><td colspan="3"><div id="ftn.boost_localfunction.alternatives.f0" class="footnote"><p><a href="#boost_localfunction.alternatives.f0" class="para"><sup class="para">[a] </sup></a>
  939. Measurements available only for <a href="http://www.open-std.org/JTC1/SC22/WG21/" target="_top">C++11</a>
  940. compilers.
  941. </p></div></td></tr></tbody>
  942. </table></div>
  943. <div class="informaltable"><table class="table">
  944. <colgroup><col></colgroup>
  945. <thead><tr><th>
  946. <p>
  947. GCC 4.5.3 With C++11 Lambda Functions and "Local Classes as
  948. Template Parameters" (<code class="literal">bjam cxxflags=-std=c++0x ...</code>)
  949. </p>
  950. </th></tr></thead>
  951. <tbody>
  952. <tr><td>
  953. <p>
  954. <span class="bold"><strong>Compiled with <code class="literal">bjam release ...</code>
  955. for maximum optimization (<code class="literal">-O3 -finline-functions</code>)</strong></span>
  956. <span class="inlinemediaobject"><img src="../../../example/profile_gcc_cxx11_release.png" width="1170" alt="profile_gcc_cxx11_release"></span>
  957. </p>
  958. </td></tr>
  959. <tr><td>
  960. <p>
  961. <span class="bold"><strong>Compiled with <code class="literal">bjam debug ...</code>
  962. for no optimization (<code class="literal">-O0 -fno-inline</code>)</strong></span>
  963. <span class="inlinemediaobject"><img src="../../../example/profile_gcc_cxx11_debug.png" width="1170" alt="profile_gcc_cxx11_debug"></span>
  964. </p>
  965. </td></tr>
  966. </tbody>
  967. </table></div>
  968. <div class="informaltable"><table class="table">
  969. <colgroup><col></colgroup>
  970. <thead><tr><th>
  971. <p>
  972. MSVC 8.0 With "Local Classes as Template Parameters" (Without
  973. C++11 Lambda Functions)
  974. </p>
  975. </th></tr></thead>
  976. <tbody>
  977. <tr><td>
  978. <p>
  979. <span class="bold"><strong>Compiled with <code class="literal">bjam release ...</code>
  980. for maximum optimization (<code class="literal">/O2 /Ob2</code>)</strong></span>
  981. <span class="inlinemediaobject"><img src="../../../example/profile_msvc_release.png" width="1170" alt="profile_msvc_release"></span>
  982. </p>
  983. </td></tr>
  984. <tr><td>
  985. <p>
  986. <span class="bold"><strong>Compiled with <code class="literal">bjam debug ...</code>
  987. for no optimization (<code class="literal">/Od /Ob0</code>)</strong></span> <span class="inlinemediaobject"><img src="../../../example/profile_msvc_debug.png" width="1170" alt="profile_msvc_debug"></span>
  988. </p>
  989. </td></tr>
  990. </tbody>
  991. </table></div>
  992. <div class="informaltable"><table class="table">
  993. <colgroup><col></colgroup>
  994. <thead><tr><th>
  995. <p>
  996. GCC 4.3.4 With <a href="http://www.open-std.org/JTC1/SC22/WG21/docs/standards" target="_top">C++03</a>
  997. Only (Without <a href="http://www.open-std.org/JTC1/SC22/WG21/" target="_top">C++11</a>
  998. Lambda Functions and Without "Local Classes as Template Parameters")
  999. </p>
  1000. </th></tr></thead>
  1001. <tbody>
  1002. <tr><td>
  1003. <p>
  1004. <span class="bold"><strong>Compiled with <code class="literal">bjam release ...</code>
  1005. for maximum optimization (<code class="literal">-O3 -finline-functions</code>)</strong></span>
  1006. <span class="inlinemediaobject"><img src="../../../example/profile_gcc_release.png" width="1170" alt="profile_gcc_release"></span>
  1007. </p>
  1008. </td></tr>
  1009. <tr><td>
  1010. <p>
  1011. <span class="bold"><strong>Compiled with <code class="literal">bjam debug ...</code>
  1012. for no optimization (<code class="literal">-O0 -fno-inline</code>)</strong></span>
  1013. <span class="inlinemediaobject"><img src="../../../example/profile_gcc_debug.png" width="1170" alt="profile_gcc_debug"></span>
  1014. </p>
  1015. </td></tr>
  1016. </tbody>
  1017. </table></div>
  1018. </div>
  1019. <table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
  1020. <td align="left"></td>
  1021. <td align="right"><div class="copyright-footer">Copyright &#169; 2009-2012 Lorenzo
  1022. Caminiti<p>
  1023. Distributed under the Boost Software License, Version 1.0 (see accompanying
  1024. 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>)
  1025. </p>
  1026. </div></td>
  1027. </tr></table>
  1028. <hr>
  1029. <div class="spirit-nav">
  1030. <a accesskey="p" href="examples.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="no_variadic_macros.html"><img src="../../../../../doc/src/images/next.png" alt="Next"></a>
  1031. </div>
  1032. </body>
  1033. </html>