mirror of
https://github.com/boostorg/fusion.git
synced 2025-07-16 13:52:24 +02:00
adds functional section TOC
[SVN r37069]
This commit is contained in:
Tobias Schwinger
162
doc/html/fusion/functional.html
Normal file
162
doc/html/fusion/functional.html
Normal file
@ -0,0 +1,162 @@
|
|||||||
|
<html>
|
||||||
|
<head>
|
||||||
|
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
|
||||||
|
<title>Functional</title>
|
||||||
|
<link rel="stylesheet" href="../boostbook.css" type="text/css">
|
||||||
|
<meta name="generator" content="DocBook XSL Stylesheets V1.68.1">
|
||||||
|
<link rel="start" href="../index.html" title="Chapter<65>1.<2E>Fusion 2.0">
|
||||||
|
<link rel="up" href="../index.html" title="Chapter<65>1.<2E>Fusion 2.0">
|
||||||
|
<link rel="prev" href="extension.html" title="Extension">
|
||||||
|
<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%">
|
||||||
|
<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>
|
||||||
|
</table>
|
||||||
|
<hr>
|
||||||
|
<div class="spirit-nav">
|
||||||
|
<a accesskey="p" href="extension.html"><img src="../images/prev.png" alt="Prev"></a><a accesskey="u" href="../index.html"><img src="../images/up.png" alt="Up"></a><a accesskey="h" href="../index.html"><img src="../images/home.png" alt="Home"></a><a accesskey="n" href="functional/concepts.html"><img src="../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/poly.html"> Polymorphic Function
|
||||||
|
Object</a></span></dt>
|
||||||
|
<dt><span class="section"><a href="functional/concepts/def_callable.html"> Deferred
|
||||||
|
Callable 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>
|
||||||
|
<a name="fusion.functional.header"></a><h3>
|
||||||
|
<a name="id1186564"></a>
|
||||||
|
<a href="functional.html#fusion.functional.header">Header</a>
|
||||||
|
</h3>
|
||||||
|
<pre class="programlisting">
|
||||||
|
<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">fusion</span><span class="special">/</span><span class="identifier">functional</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span>
|
||||||
|
</pre>
|
||||||
|
<a name="fusion.functional.fused_and_unfused_forms"></a><h3>
|
||||||
|
<a name="id1186636"></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 <code class="literal">(a,b,c)</code>
|
||||||
|
with some Fusion <a href="sequences.html" title="Sequences">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's possible to apply a simple transformation to <code class="literal">f</code>
|
||||||
|
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, <code class="literal">f'</code> is an unary function that takes the arguments to
|
||||||
|
<code class="computeroutput"><span class="identifier">f</span></code> as a tuple; <code class="literal">f'</code>
|
||||||
|
is the <span class="emphasis"><em>fused</em></span> form of <code class="computeroutput"><span class="identifier">f</span></code>.
|
||||||
|
Reading the above equivalence right-to-left to get the inverse transformation,
|
||||||
|
<code class="computeroutput"><span class="identifier">f</span></code> is the <span class="emphasis"><em>unfused</em></span>
|
||||||
|
form of <code class="literal">f'</code>.
|
||||||
|
</p>
|
||||||
|
<a name="fusion.functional.calling_functions_and_function_objects"></a><h3>
|
||||||
|
<a name="id1186863"></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="sequences.html" title="Sequences">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="id1186923"></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
|
||||||
|
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"><small>Copyright <20> 2001-2005 Joel de Guzman, Dan Marsden</small></td>
|
||||||
|
</tr></table>
|
||||||
|
<hr>
|
||||||
|
<div class="spirit-nav">
|
||||||
|
<a accesskey="p" href="extension.html"><img src="../images/prev.png" alt="Prev"></a><a accesskey="u" href="../index.html"><img src="../images/up.png" alt="Up"></a><a accesskey="h" href="../index.html"><img src="../images/home.png" alt="Home"></a><a accesskey="n" href="functional/concepts.html"><img src="../images/next.png" alt="Next"></a>
|
||||||
|
</div>
|
||||||
|
</body>
|
||||||
|
</html>
|
||||||
Reference in New Issue
Block a user