...one of the most highly
regarded and expertly designed C++ library projects in the
world.
— Herb Sutter and Andrei
Alexandrescu, C++
Coding Standards
For a sequence seq
, initial
state initial_state
,
and binary function object or function pointer f
,
fold
returns the result of the repeated application
of binary f
to the result
of the previous f
invocation
(inital_state
if it is
the first call) and each element of seq
.
template< typename Sequence, typename State, typename F > typenameresult_of::fold
<Sequence, State const, F>::type fold( Sequence& seq, State const& initial_state, F f); template< typename Sequence, typename State, typename F > typenameresult_of::fold
<Sequence const, State const, F>::type fold( Sequence const& seq, State const& initial_state, F f); template< typename Sequence, typename State, typename F > typenameresult_of::fold
<Sequence, State, F>::type fold( Sequence& seq, State& initial_state, F f); template< typename Sequence, typename State, typename F > typenameresult_of::fold
<Sequence const, State, F>::type fold( Sequence const& seq, State& initial_state, F f);
Table 1.40. Parameters
Parameter 
Requirement 
Description 


A model of Forward Sequence 
Operation's argument 

Any type 
Initial state 


Operation's argument 
fold(seq, initial_state, f);
Return type: Any type
Semantics: Equivalent to f(...
f(f(initial_state,e1),e2) ...eN)
where e1 ...eN
are the consecutive elements of seq
.
Linear, exactly
applications of result_of::size
<Sequence>::valuef
.
#include <boost/fusion/algorithm/iteration/fold.hpp> #include <boost/fusion/include/fold.hpp>
struct make_string
{
typedef std::string result_type;
template<typename T>
std::string operator()(const std::string& str, const T& t) const
{
return str + boost::lexical_cast<std::string>(t);
}
};
...
const vector
<int,int> vec(1,2);
assert(fold(vec,std::string(""), make_string()) == "12");