1 <?xml version=
"1.0" encoding=
"utf-8" ?>
2 <!DOCTYPE html PUBLIC
"-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
3 <html xmlns=
"http://www.w3.org/1999/xhtml" xml:
lang=
"en" lang=
"en">
5 <meta http-equiv=
"Content-Type" content=
"text/html; charset=utf-8" />
6 <meta name=
"generator" content=
"Docutils 0.7: http://docutils.sourceforge.net/" />
7 <title>The MPL Reference Manual: reverse_transform
</title>
8 <link rel=
"stylesheet" href=
"../style.css" type=
"text/css" />
10 <body class=
"docframe refmanual">
11 <table class=
"header"><tr class=
"header"><td class=
"header-group navigation-bar"><span class=
"navigation-group"><a href=
"./reverse-copy-if.html" class=
"navigation-link">Prev
</a> <a href=
"./reverse-replace.html" class=
"navigation-link">Next
</a></span><span class=
"navigation-group-separator"> |
</span><span class=
"navigation-group"><a href=
"./reverse-copy-if.html" class=
"navigation-link">Back
</a> <a href=
"./reverse-replace.html" class=
"navigation-link">Along
</a></span><span class=
"navigation-group-separator"> |
</span><span class=
"navigation-group"><a href=
"./transformation-algorithms.html" class=
"navigation-link">Up
</a> <a href=
"../refmanual.html" class=
"navigation-link">Home
</a></span><span class=
"navigation-group-separator"> |
</span><span class=
"navigation-group"><a href=
"./refmanual_toc.html" class=
"navigation-link">Full TOC
</a></span></td>
12 <td class=
"header-group page-location"><a href=
"../refmanual.html" class=
"navigation-link">Front Page
</a> /
<a href=
"./algorithms.html" class=
"navigation-link">Algorithms
</a> /
<a href=
"./transformation-algorithms.html" class=
"navigation-link">Transformation Algorithms
</a> /
<a href=
"./reverse-transform.html" class=
"navigation-link">reverse_transform
</a></td>
13 </tr></table><div class=
"header-separator"></div>
14 <div class=
"section" id=
"reverse-transform">
15 <h1><a class=
"toc-backref" href=
"./transformation-algorithms.html#id1500">reverse_transform
</a></h1>
16 <div class=
"section" id=
"id740">
17 <h3><a class=
"subsection-title" href=
"#synopsis" name=
"synopsis">Synopsis
</a></h3>
18 <pre class=
"literal-block">
22 , typename In =
<em>unspecified
</em>
24 struct
<a href=
"./reverse-transform.html" class=
"identifier">reverse_transform
</a>
26 typedef
<em>unspecified
</em> type;
33 , typename In =
<em>unspecified
</em>
35 struct
<a href=
"./reverse-transform.html" class=
"identifier">reverse_transform
</a>
37 typedef
<em>unspecified
</em> type;
41 <div class=
"section" id=
"id741">
42 <h3><a class=
"subsection-title" href=
"#description" name=
"description">Description
</a></h3>
43 <p><tt class=
"literal"><span class=
"pre"><a href=
"./reverse-transform.html" class=
"identifier">reverse_transform
</a></span></tt> is an
<a class=
"reference internal" href=
"./terminology.html#overloaded-name">overloaded name
</a>:
</p>
45 <li><tt class=
"literal"><span class=
"pre"><a href=
"./reverse-transform.html" class=
"identifier">reverse_transform
</a><Seq,Op
></span></tt> returns a reversed, transformed copy of the
46 original sequence produced by applying an unary transformation
<tt class=
"literal"><span class=
"pre">Op
</span></tt> to
47 every element in the [
<tt class=
"literal"><span class=
"pre"><a href=
"./begin.html" class=
"identifier">begin
</a><Sequence
>::type
</span></tt>,
<tt class=
"literal"><span class=
"pre"><a href=
"./end.html" class=
"identifier">end
</a><Sequence
>::type
</span></tt>) range.
</li>
48 <li><tt class=
"literal"><span class=
"pre"><a href=
"./reverse-transform.html" class=
"identifier">reverse_transform
</a><Seq1,Seq2,Op
></span></tt> returns a new sequence produced by applying a
49 binary transformation
<tt class=
"literal"><span class=
"pre">BinaryOp
</span></tt> to a pair of elements (e
<sub>1</sub>, e2
<sub>1</sub>)
50 from the corresponding [
<tt class=
"literal"><span class=
"pre"><a href=
"./begin.html" class=
"identifier">begin
</a><Seq1
>::type
</span></tt>,
<tt class=
"literal"><span class=
"pre"><a href=
"./end.html" class=
"identifier">end
</a><Seq1
>::type
</span></tt>) and [
<tt class=
"literal"><span class=
"pre"><a href=
"./begin.html" class=
"identifier">begin
</a><Seq2
>::type
</span></tt>,
<tt class=
"literal"><span class=
"pre"><a href=
"./end.html" class=
"identifier">end
</a><Seq2
>::type
</span></tt>) ranges in reverse
53 <p>[
<em>Note:
</em> This wording applies to a no-inserter version(s) of the algorithm. See the
54 <cite>Expression semantics
</cite> subsection for a precise specification of the algorithm's
55 details in all cases —
<em>end note
</em>]
</p>
57 <div class=
"section" id=
"id742">
58 <h3><a class=
"subsection-title" href=
"#header" name=
"header">Header
</a></h3>
59 <pre class=
"literal-block">
60 #include
<<a href=
"../../../../boost/mpl/transform.hpp" class=
"header">boost/mpl/transform.hpp
</a>>
63 <div class=
"section" id=
"id743">
64 <h3><a class=
"subsection-title" href=
"#model-of" name=
"model-of">Model of
</a></h3>
65 <p><a class=
"reference internal" href=
"./reversible-algorithm.html">Reversible Algorithm
</a></p>
67 <div class=
"section" id=
"id744">
68 <h3><a class=
"subsection-title" href=
"#parameters" name=
"parameters">Parameters
</a></h3>
69 <table border=
"1" class=
"docutils table">
75 <thead valign=
"bottom">
76 <tr><th class=
"head">Parameter
</th>
77 <th class=
"head">Requirement
</th>
78 <th class=
"head">Description
</th>
82 <tr><td><tt class=
"literal"><span class=
"pre">Sequence
</span></tt>,
83 <tt class=
"literal"><span class=
"pre">Seq1
</span></tt>,
<tt class=
"literal"><span class=
"pre">Seq2
</span></tt></td>
84 <td><a class=
"reference internal" href=
"./forward-sequence.html">Forward Sequence
</a></td>
85 <td>Sequences to transform.
</td>
87 <tr><td><tt class=
"literal"><span class=
"pre">Op
</span></tt>,
88 <tt class=
"literal"><span class=
"pre">BinaryOp
</span></tt></td>
89 <td><a class=
"reference internal" href=
"./lambda-expression.html">Lambda Expression
</a></td>
90 <td>A transformation.
</td>
92 <tr><td><tt class=
"literal"><span class=
"pre">In
</span></tt></td>
93 <td><a class=
"reference internal" href=
"./inserter.html">Inserter
</a></td>
99 <div class=
"section" id=
"id745">
100 <h3><a class=
"subsection-title" href=
"#expression-semantics" name=
"expression-semantics">Expression semantics
</a></h3>
101 <p>The semantics of an expression are defined only
102 where they differ from, or are not defined in
<a class=
"reference internal" href=
"./reversible-algorithm.html">Reversible Algorithm
</a>.
</p>
103 <p>For any
<a class=
"reference internal" href=
"./forward-sequence.html">Forward Sequence
</a>s
<tt class=
"literal"><span class=
"pre">s
</span></tt>,
<tt class=
"literal"><span class=
"pre">s1
</span></tt> and
<tt class=
"literal"><span class=
"pre">s2
</span></tt>,
<a class=
"reference internal" href=
"./lambda-expression.html">Lambda Expression
</a>s
<tt class=
"literal"><span class=
"pre">op
</span></tt> and
<tt class=
"literal"><span class=
"pre">op2
</span></tt>,
104 and an
<a class=
"reference internal" href=
"./inserter.html">Inserter
</a> <tt class=
"literal"><span class=
"pre">in
</span></tt>:
</p>
105 <pre class=
"literal-block">
106 typedef
<a href=
"./reverse-transform.html" class=
"identifier">reverse_transform
</a><s,op,in
>::type r;
108 <table class=
"docutils field-list" frame=
"void" rules=
"none">
109 <col class=
"field-name" />
110 <col class=
"field-body" />
112 <tr class=
"field"><th class=
"field-name">Return type:
</th><td class=
"field-body"><p class=
"first">A type.
</p>
115 <tr class=
"field"><th class=
"field-name">Postcondition:
</th><td class=
"field-body"><p class=
"first">Equivalent to
</p>
116 <pre class=
"last literal-block">
117 typedef
<a href=
"./lambda.html" class=
"identifier">lambda
</a><op
>::type f;
118 typedef
<a href=
"./lambda.html" class=
"identifier">lambda
</a><in::operation
>::type in_op;
120 typedef
<a href=
"./reverse-fold.html" class=
"identifier">reverse_fold
</a><
123 ,
<a href=
"./bind.html" class=
"identifier">bind
</a>< in_op,
<a href=
"./placeholders.html" class=
"identifier">_1
</a>,
<a href=
"./bind.html" class=
"identifier">bind
</a><f,
<a href=
"./placeholders.html" class=
"identifier">_2
</a>> >
130 <pre class=
"literal-block">
131 typedef
<a href=
"./transform.html" class=
"identifier">transform
</a><s1,s2,op,in
>::type r;
133 <table class=
"docutils field-list" frame=
"void" rules=
"none">
134 <col class=
"field-name" />
135 <col class=
"field-body" />
137 <tr class=
"field"><th class=
"field-name">Return type:
</th><td class=
"field-body"><p class=
"first">A type.
</p>
140 <tr class=
"field"><th class=
"field-name">Postcondition:
</th><td class=
"field-body"><p class=
"first">Equivalent to
</p>
141 <pre class=
"last literal-block">
142 typedef
<a href=
"./lambda.html" class=
"identifier">lambda
</a><op2
>::type f;
143 typedef
<a href=
"./lambda.html" class=
"identifier">lambda
</a><in::operation
>::type in_op;
145 typedef
<a href=
"./reverse-fold.html" class=
"identifier">reverse_fold
</a><
146 pair_view
<s1,s2
>
148 ,
<a href=
"./bind.html" class=
"identifier">bind
</a><
150 ,
<a href=
"./placeholders.html" class=
"identifier">_1
</a>
151 ,
<a href=
"./bind.html" class=
"identifier">bind
</a><f,
<a href=
"./bind.html" class=
"identifier">bind
</a><first
<>,
<a href=
"./placeholders.html" class=
"identifier">_2
</a>>,
<a href=
"./bind.html" class=
"identifier">bind
</a><second
<>,
<a href=
"./placeholders.html" class=
"identifier">_2
</a>> >
160 <div class=
"section" id=
"id746">
161 <h3><a class=
"subsection-title" href=
"#complexity" name=
"complexity">Complexity
</a></h3>
162 <p>Linear. Exactly
<tt class=
"literal"><span class=
"pre"><a href=
"./size.html" class=
"identifier">size
</a><s
>::value
</span></tt> /
<tt class=
"literal"><span class=
"pre"><a href=
"./size.html" class=
"identifier">size
</a><s1
>::value
</span></tt> applications of
163 <tt class=
"literal"><span class=
"pre">op
</span></tt> /
<tt class=
"literal"><span class=
"pre">op2
</span></tt> and
<tt class=
"literal"><span class=
"pre">in::operation
</span></tt>.
</p>
165 <div class=
"section" id=
"id747">
166 <h3><a class=
"subsection-title" href=
"#example" name=
"example">Example
</a></h3>
167 <pre class=
"literal-block">
168 typedef
<a href=
"./vector.html" class=
"identifier">vector
</a><char,short,int,long,float,double
> types;
169 typedef
<a href=
"./vector.html" class=
"identifier">vector
</a><double*,float*,long*,int*,short*,char*
> pointers;
170 typedef
<a href=
"./reverse-transform.html" class=
"identifier">reverse_transform
</a>< types,boost::add_pointer
<<a href=
"./placeholders.html" class=
"identifier">_1
</a>> >::type result;
172 <a href=
"./assert.html" class=
"identifier">BOOST_MPL_ASSERT
</a>((
<a href=
"./equal.html" class=
"identifier">equal
</a><result,pointers
> ));
175 <div class=
"section" id=
"id748">
176 <h3><a class=
"subsection-title" href=
"#see-also" name=
"see-also">See also
</a></h3>
177 <p><a class=
"reference internal" href=
"./transformation-algorithms.html">Transformation Algorithms
</a>,
<a class=
"reference internal" href=
"./reversible-algorithm.html">Reversible Algorithm
</a>,
<a class=
"reference internal" href=
"./transform.html">transform
</a>,
<a class=
"reference internal" href=
"./reverse-copy.html">reverse_copy
</a>,
<a class=
"reference internal" href=
"./replace-if.html">replace_if
</a></p>
178 <!-- Algorithms/Transformation Algorithms//reverse_replace |140 -->
182 <div class=
"footer-separator"></div>
183 <table class=
"footer"><tr class=
"footer"><td class=
"header-group navigation-bar"><span class=
"navigation-group"><a href=
"./reverse-copy-if.html" class=
"navigation-link">Prev
</a> <a href=
"./reverse-replace.html" class=
"navigation-link">Next
</a></span><span class=
"navigation-group-separator"> |
</span><span class=
"navigation-group"><a href=
"./reverse-copy-if.html" class=
"navigation-link">Back
</a> <a href=
"./reverse-replace.html" class=
"navigation-link">Along
</a></span><span class=
"navigation-group-separator"> |
</span><span class=
"navigation-group"><a href=
"./transformation-algorithms.html" class=
"navigation-link">Up
</a> <a href=
"../refmanual.html" class=
"navigation-link">Home
</a></span><span class=
"navigation-group-separator"> |
</span><span class=
"navigation-group"><a href=
"./refmanual_toc.html" class=
"navigation-link">Full TOC
</a></span></td>
184 <td><div class=
"copyright-footer"><div class=
"copyright">Copyright ©
2001-
2009 Aleksey Gurtovoy and David Abrahams
</div>
185 Distributed under the Boost Software License, Version
1.0. (See accompanying
186 file LICENSE_1_0.txt or copy at
<a class=
"reference external" href=
"http://www.boost.org/LICENSE_1_0.txt" target=
"_top">http://www.boost.org/LICENSE_1_0.txt
</a>)
</div></td></tr></table></body>