forked from boostorg/fusion
Eric Niebler
798b2f4017
https://svn.boost.org/svn/boost/trunk ........ r41077 | troyer | 2007-11-13 23:00:02 -0800 (Tue, 13 Nov 2007) | 1 line Added support for std::complex to serialization ........ r41078 | joaquin | 2007-11-13 23:09:29 -0800 (Tue, 13 Nov 2007) | 1 line added missing include ........ r41079 | djowel | 2007-11-14 02:13:51 -0800 (Wed, 14 Nov 2007) | 1 line adjust to compensate for lack of <small> tag. ........ r41080 | djowel | 2007-11-14 02:17:09 -0800 (Wed, 14 Nov 2007) | 1 line refresh docs ........ r41081 | djowel | 2007-11-14 02:23:23 -0800 (Wed, 14 Nov 2007) | 1 line refresh docs ........ r41082 | djowel | 2007-11-14 02:24:21 -0800 (Wed, 14 Nov 2007) | 1 line refresh docs ........ r41083 | anthonyw | 2007-11-14 03:08:09 -0800 (Wed, 14 Nov 2007) | 1 line ignore and join all threads in group on exception ........ r41084 | anthonyw | 2007-11-14 03:56:53 -0800 (Wed, 14 Nov 2007) | 1 line interrupt and join all threads in a group if an exception is thrown during a test ........ r41086 | johnmaddock | 2007-11-14 04:14:19 -0800 (Wed, 14 Nov 2007) | 1 line Merged changes from the Sandbox to Trunk. ........ r41087 | anthonyw | 2007-11-14 04:17:41 -0800 (Wed, 14 Nov 2007) | 1 line interrupt and join all threads in a group if an exception is thrown during a test ........ r41088 | johnmaddock | 2007-11-14 04:41:32 -0800 (Wed, 14 Nov 2007) | 1 line Added WinCE workaround. ........ r41089 | johnmaddock | 2007-11-14 05:03:15 -0800 (Wed, 14 Nov 2007) | 1 line Catch exceptions thrown from thread creation. ........ r41090 | anthonyw | 2007-11-14 06:49:58 -0800 (Wed, 14 Nov 2007) | 1 line fixes for pthread implementation ........ r41091 | bemandawes | 2007-11-14 07:50:43 -0800 (Wed, 14 Nov 2007) | 1 line Replace old docs with excerpts from http://article.gmane.org/gmane.comp.lib.boost.testing/5020 ........ r41093 | eric_niebler | 2007-11-14 08:36:15 -0800 (Wed, 14 Nov 2007) | 1 line fix support for segmented iteration ........ r41094 | dave | 2007-11-14 09:37:55 -0800 (Wed, 14 Nov 2007) | 3 lines Update command-prompt instructions per http://news.gmane.org/find-root.php?message_id=%3cfhcrem%24c4%241%40ger.gmane.org%3e ........ r41095 | bemandawes | 2007-11-14 12:05:30 -0800 (Wed, 14 Nov 2007) | 1 line Bring docs more in line with reality:-) ........ r41097 | hljin | 2007-11-14 18:07:53 -0800 (Wed, 14 Nov 2007) | 1 line GIL: removed the example directory from the documentation as it is a duplication and re-directed the Doxygen documentation to a local copy (to be submitted next) ........ r41098 | hljin | 2007-11-14 18:30:13 -0800 (Wed, 14 Nov 2007) | 1 line GIL: added a local copy of the Doxygen documentation ........ r41099 | hljin | 2007-11-14 18:32:04 -0800 (Wed, 14 Nov 2007) | 1 line GIL: added a local copy of the Doxygen documentation (second batch) ........ r41100 | chris_kohlhoff | 2007-11-14 22:19:04 -0800 (Wed, 14 Nov 2007) | 6 lines Try to fix an order-of-initialisation problem with error_category references. The symptom, which only occurs in some applications, is a crash due to a dereference of a null pointer. The exact conditions under which the problem occurs are not fully understood, so this fix is probably more paranoid than necessary. ........ r41102 | jhunold | 2007-11-14 23:04:24 -0800 (Wed, 14 Nov 2007) | 1 line Suppress msvc "deprecated" warnings. ........ r41103 | johnmaddock | 2007-11-15 01:52:26 -0800 (Thu, 15 Nov 2007) | 1 line Fix some compiler warnings when building with the Intel and aCC compilers. ........ r41104 | garcia | 2007-11-15 04:50:48 -0800 (Thu, 15 Nov 2007) | 2 lines John Torjo is reviewing the X-files. ........ r41105 | hkaiser | 2007-11-15 05:27:24 -0800 (Thu, 15 Nov 2007) | 1 line Suppressed more warnings during build of Wave. ........ r41106 | bemandawes | 2007-11-15 06:36:40 -0800 (Thu, 15 Nov 2007) | 1 line GetUserDefaultUILanguage isn't present for Cygwin, so disable use ........ r41107 | bemandawes | 2007-11-15 07:20:27 -0800 (Thu, 15 Nov 2007) | 1 line Get rid of .cvsignore files ........ r41108 | eric_niebler | 2007-11-15 08:06:22 -0800 (Thu, 15 Nov 2007) | 1 line fix typo ........ r41110 | grafik | 2007-11-15 08:58:21 -0800 (Thu, 15 Nov 2007) | 1 line Fix building of multiple regression tools at once. ........ r41111 | gmelquio | 2007-11-15 09:52:31 -0800 (Thu, 15 Nov 2007) | 1 line Fixed documentation typo. ........ r41113 | grafik | 2007-11-15 10:56:43 -0800 (Thu, 15 Nov 2007) | 1 line Switch intel-win32 to use static multi thread runtime since the single thread static runtime is no longer available. (fixes #1287) ........ r41114 | andreas_huber69 | 2007-11-15 11:22:12 -0800 (Thu, 15 Nov 2007) | 1 line Added new FAQ item suggested by Chris Paulse. ........ r41116 | guwi17 | 2007-11-15 12:52:37 -0800 (Thu, 15 Nov 2007) | 4 lines This patch now lets the Sun compiler work for most of uBLAS. 'test4' is now failing. Too avoid other compilers complaining about missing return values in some functions where exceptions are thrown, code was added so an arbitatry were chosen. ........ r41117 | danmarsden | 2007-11-15 13:15:47 -0800 (Thu, 15 Nov 2007) | 1 line removing failing test on EDG compilers ........ r41118 | grafik | 2007-11-15 14:05:15 -0800 (Thu, 15 Nov 2007) | 1 line Remove redundant reference to system library. It causes double linking when used indirectly through filesystem. Which can lead to double linking incompatible variants when a specific filesystem variant is requested. ........ r41119 | grafik | 2007-11-15 14:05:22 -0800 (Thu, 15 Nov 2007) | 1 line Oops, forgot we need to use the root boost project settings when building. ........ [SVN r41141]
166 lines
9.7 KiB
HTML
166 lines
9.7 KiB
HTML
<html>
|
||
<head>
|
||
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
|
||
<title>Functional</title>
|
||
<link rel="stylesheet" href="../../../../../doc/html/boostbook.css" type="text/css">
|
||
<meta name="generator" content="DocBook XSL Stylesheets V1.66.1">
|
||
<link rel="start" href="../index.html" title="Chapter 1. Fusion 2.0">
|
||
<link rel="up" href="../index.html" title="Chapter 1. Fusion 2.0">
|
||
<link rel="prev" href="extension/macros/adapt_assoc.html" title=" BOOST_FUSION_ADAPT_ASSOC_STRUCT">
|
||
<link rel="next" href="functional/concepts.html" title="Concepts">
|
||
</head>
|
||
<body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF">
|
||
<table cellpadding="2" width="100%"><tr>
|
||
<td valign="top"><img alt="Boost C++ Libraries" width="277" height="86" src="../../../../../boost.png"></td>
|
||
<td align="center"><a href="../../../../../index.htm">Home</a></td>
|
||
<td align="center"><a href="../../../../libraries.htm">Libraries</a></td>
|
||
<td align="center"><a href="../../../../../people/people.htm">People</a></td>
|
||
<td align="center"><a href="../../../../../more/faq.htm">FAQ</a></td>
|
||
<td align="center"><a href="../../../../../more/index.htm">More</a></td>
|
||
</tr></table>
|
||
<hr>
|
||
<div class="spirit-nav">
|
||
<a accesskey="p" href="extension/macros/adapt_assoc.html"><img src="../../../../../doc/html/images/prev.png" alt="Prev"></a><a accesskey="u" href="../index.html"><img src="../../../../../doc/html/images/up.png" alt="Up"></a><a accesskey="h" href="../index.html"><img src="../../../../../doc/html/images/home.png" alt="Home"></a><a accesskey="n" href="functional/concepts.html"><img src="../../../../../doc/html/images/next.png" alt="Next"></a>
|
||
</div>
|
||
<div class="section" lang="en">
|
||
<div class="titlepage"><div><div><h2 class="title" style="clear: both">
|
||
<a name="fusion.functional"></a><a href="functional.html" title="Functional">Functional</a></h2></div></div></div>
|
||
<div class="toc"><dl>
|
||
<dt><span class="section"><a href="functional/concepts.html">Concepts</a></span></dt>
|
||
<dd><dl>
|
||
<dt><span class="section"><a href="functional/concepts/callable.html"> Callable Object</a></span></dt>
|
||
<dt><span class="section"><a href="functional/concepts/reg_callable.html"> Regular Callable
|
||
Object</a></span></dt>
|
||
<dt><span class="section"><a href="functional/concepts/def_callable.html"> Deferred
|
||
Callable Object</a></span></dt>
|
||
<dt><span class="section"><a href="functional/concepts/poly.html"> Polymorphic Function
|
||
Object</a></span></dt>
|
||
</dl></dd>
|
||
<dt><span class="section"><a href="functional/invocation.html">Invocation</a></span></dt>
|
||
<dd><dl>
|
||
<dt><span class="section"><a href="functional/invocation/functions.html">Functions</a></span></dt>
|
||
<dt><span class="section"><a href="functional/invocation/metafunctions.html">Metafunctions</a></span></dt>
|
||
</dl></dd>
|
||
<dt><span class="section"><a href="functional/adapters.html"> Adapters</a></span></dt>
|
||
<dd><dl>
|
||
<dt><span class="section"><a href="functional/adapters/fused.html">fused</a></span></dt>
|
||
<dt><span class="section"><a href="functional/adapters/fused_procedure.html">fused_procedure</a></span></dt>
|
||
<dt><span class="section"><a href="functional/adapters/fused_function_object.html">fused_function_object</a></span></dt>
|
||
<dt><span class="section"><a href="functional/adapters/unfused_generic.html">unfused_generic</a></span></dt>
|
||
<dt><span class="section"><a href="functional/adapters/unfused_lvalue_args.html">unfused_lvalue_args</a></span></dt>
|
||
<dt><span class="section"><a href="functional/adapters/unfused_rvalue_args.html">unfused_rvalue_args</a></span></dt>
|
||
<dt><span class="section"><a href="functional/adapters/unfused_typed.html">unfused_typed</a></span></dt>
|
||
</dl></dd>
|
||
<dt><span class="section"><a href="functional/generation.html">Generation</a></span></dt>
|
||
<dd><dl>
|
||
<dt><span class="section"><a href="functional/generation/functions.html">Functions</a></span></dt>
|
||
<dt><span class="section"><a href="functional/generation/metafunctions.html">Metafunctions</a></span></dt>
|
||
</dl></dd>
|
||
</dl></div>
|
||
<p>
|
||
Components to call functions and function objects and to make Fusion code callable
|
||
through a function object interface.
|
||
</p>
|
||
<p>
|
||
/functional.hpp>
|
||
</p>
|
||
<a name="fusion.functional.fused_and_unfused_forms"></a><h3>
|
||
<a name="id651450"></a>
|
||
<a href="functional.html#fusion.functional.fused_and_unfused_forms">Fused and unfused
|
||
forms</a>
|
||
</h3>
|
||
<p>
|
||
What is a function call?
|
||
</p>
|
||
<pre class="programlisting">
|
||
<span class="identifier">f</span> <span class="special">(</span><span class="identifier">a</span><span class="special">,</span><span class="identifier">b</span><span class="special">,</span><span class="identifier">c</span><span class="special">)</span>
|
||
</pre>
|
||
<p>
|
||
It is a name and a tuple written next to each other, left-to-right.
|
||
</p>
|
||
<p>
|
||
Although the C++ syntax does not allow to replace <tt class="literal">(a,b,c)</tt>
|
||
with some Fusion <a href="sequence.html" title="Sequence">Sequence</a>, introducing
|
||
yet another function provides a solution:
|
||
</p>
|
||
<pre class="programlisting">
|
||
<span class="identifier">invoke</span><span class="special">(</span><span class="identifier">f</span><span class="special">,</span><span class="identifier">my_sequence</span><span class="special">)</span>
|
||
</pre>
|
||
<p>
|
||
Alternatively it is possible to apply a simple transformation to <tt class="literal">f</tt>
|
||
in order to achieve the same effect:
|
||
</p>
|
||
<pre class="programlisting">
|
||
<span class="identifier">f</span> <span class="identifier">tuple</span> <span class="special"><=></span> f' <span class="special">(</span><span class="identifier">tuple</span><span class="special">)</span>
|
||
</pre>
|
||
<p>
|
||
Now, <tt class="literal">f'</tt> is an unary function that takes the arguments to
|
||
<tt class="computeroutput"><span class="identifier">f</span></tt> as a tuple; <tt class="literal">f'</tt>
|
||
is the <span class="emphasis"><em>fused</em></span> form of <tt class="computeroutput"><span class="identifier">f</span></tt>.
|
||
Reading the above equivalence right-to-left to get the inverse transformation,
|
||
<tt class="computeroutput"><span class="identifier">f</span></tt> is the <span class="emphasis"><em>unfused</em></span>
|
||
form of <tt class="literal">f'</tt>.
|
||
</p>
|
||
<a name="fusion.functional.calling_functions_and_function_objects"></a><h3>
|
||
<a name="id651715"></a>
|
||
<a href="functional.html#fusion.functional.calling_functions_and_function_objects">Calling
|
||
functions and function objects</a>
|
||
</h3>
|
||
<p>
|
||
Having generic C++ code call back arbitrary functions provided by the client
|
||
used to be a heavily repetitive task, as different functions can differ in
|
||
arity, invocation syntax and other properties that might be part of the type.
|
||
Transporting arguments as Fusion sequences and factoring out the invocation
|
||
makes Fusion algorithms applicable to function arguments and also reduces the
|
||
problem to one invocation syntax and a fixed arity (instead of an arbitrary
|
||
number of arbitrary arguments times several syntactic variants times additional
|
||
properties).
|
||
</p>
|
||
<p>
|
||
Transforming an unfused function into its fused counterpart allows n-ary calls
|
||
from an algorithm that invokes an unary <a href="functional/concepts/poly.html" title=" Polymorphic Function
|
||
Object">Polymorphic
|
||
Function Object</a> with <a href="sequence.html" title="Sequence">Sequence</a>
|
||
arguments.
|
||
</p>
|
||
<p>
|
||
The library provides several function templates to invoke different kinds of
|
||
functions and adapters to transform them into fused form, respectively. Every
|
||
variant has a corresponding generator function template that returns an adapter
|
||
instance for the given argument.
|
||
</p>
|
||
<a name="fusion.functional.making_fusion_code_callable_through_a_function_object_interface"></a><h3>
|
||
<a name="id651791"></a>
|
||
<a href="functional.html#fusion.functional.making_fusion_code_callable_through_a_function_object_interface">Making
|
||
Fusion code callable through a function object interface</a>
|
||
</h3>
|
||
<p>
|
||
Transforming a fused function into its unfused counterpart allows to create
|
||
function objects to accept arbitrary calls. In other words, an unary function
|
||
object can be implemented instead of (maybe heavily overloaded) function templates
|
||
or function call operators.
|
||
</p>
|
||
<p>
|
||
The library provides several adapter variants that implement this transformation,
|
||
ranging from strictly typed to fully generic. The latter provides a reusable,
|
||
approximate solution to <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2002/n1385.htm" target="_top">The
|
||
Forwarding Problem</a>. Every generic variant has a corresponding generator
|
||
function template that returns an adapter instance for the given argument.
|
||
</p>
|
||
</div>
|
||
<table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
|
||
<td align="left"></td>
|
||
<td align="right"><div class="copyright-footer">Copyright © 2001-2007 Joel de Guzman, Dan Marsden, Tobias
|
||
Schwinger<p>
|
||
Distributed under the Boost Software License, Version 1.0. (See accompanying
|
||
file LICENSE_1_0.txt or copy at <a href="http://www.boost.org/LICENSE_1_0.txt" target="_top">http://www.boost.org/LICENSE_1_0.txt</a>)
|
||
</p>
|
||
</div></td>
|
||
</tr></table>
|
||
<hr>
|
||
<div class="spirit-nav">
|
||
<a accesskey="p" href="extension/macros/adapt_assoc.html"><img src="../../../../../doc/html/images/prev.png" alt="Prev"></a><a accesskey="u" href="../index.html"><img src="../../../../../doc/html/images/up.png" alt="Up"></a><a accesskey="h" href="../index.html"><img src="../../../../../doc/html/images/home.png" alt="Home"></a><a accesskey="n" href="functional/concepts.html"><img src="../../../../../doc/html/images/next.png" alt="Next"></a>
|
||
</div>
|
||
</body>
|
||
</html>
|