| /*============================================================================= | |
| Copyright (c) 2001-2006 Joel de Guzman | |
| Copyright (c) 2006 Dan Marsden | |
| Copyright (c) 2009-2010 Christopher Schmidt | |
| Distributed under the Boost Software License, Version 1.0. (See accompanying | |
| file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) | |
| ==============================================================================*/ | |
| #ifndef BOOST_FUSION_ALGORITHM_ITERATION_DETAIL_FOLD_HPP | |
| #define BOOST_FUSION_ALGORITHM_ITERATION_DETAIL_FOLD_HPP | |
| #include <boost/config.hpp> | |
| #include <boost/fusion/sequence/intrinsic/begin.hpp> | |
| #include <boost/fusion/sequence/intrinsic/end.hpp> | |
| #include <boost/fusion/sequence/intrinsic/empty.hpp> | |
| #include <boost/fusion/sequence/intrinsic/size.hpp> | |
| #include <boost/fusion/iterator/equal_to.hpp> | |
| #include <boost/fusion/iterator/deref.hpp> | |
| #include <boost/fusion/iterator/value_of.hpp> | |
| #include <boost/fusion/iterator/prior.hpp> | |
| #include <boost/fusion/iterator/next.hpp> | |
| #include <boost/preprocessor/cat.hpp> | |
| #include <boost/mpl/eval_if.hpp> | |
| #include <boost/mpl/if.hpp> | |
| #include <boost/mpl/bool.hpp> | |
| #include <boost/utility/result_of.hpp> | |
| #include <boost/type_traits/add_const.hpp> | |
| #include <boost/type_traits/add_reference.hpp> | |
| #endif | |
| #ifdef BOOST_FUSION_REVERSE_FOLD | |
| # ifdef BOOST_FUSION_ITER_FOLD | |
| # define BOOST_FUSION_FOLD_NAME reverse_iter_fold | |
| # else | |
| # define BOOST_FUSION_FOLD_NAME reverse_fold | |
| # endif | |
| # define BOOST_FUSION_FOLD_IMPL_FIRST_IT_FUNCTION end | |
| # define BOOST_FUSION_FOLD_IMPL_NEXT_IT_FUNCTION prior | |
| # define BOOST_FUSION_FOLD_IMPL_FIRST_IT_META_TRANSFORM(IT) \ | |
| typename fusion::result_of::prior<IT>::type | |
| # define BOOST_FUSION_FOLD_IMPL_FIRST_IT_TRANSFORM(IT) fusion::prior(IT) | |
| #else | |
| # ifdef BOOST_FUSION_ITER_FOLD | |
| # define BOOST_FUSION_FOLD_NAME iter_fold | |
| # else | |
| # define BOOST_FUSION_FOLD_NAME fold | |
| # endif | |
| # define BOOST_FUSION_FOLD_IMPL_FIRST_IT_FUNCTION begin | |
| # define BOOST_FUSION_FOLD_IMPL_NEXT_IT_FUNCTION next | |
| # define BOOST_FUSION_FOLD_IMPL_FIRST_IT_META_TRANSFORM(IT) IT | |
| # define BOOST_FUSION_FOLD_IMPL_FIRST_IT_TRANSFORM(IT) IT | |
| #endif | |
| #ifdef BOOST_FUSION_ITER_FOLD | |
| # define BOOST_FUSION_FOLD_IMPL_INVOKE_IT_META_TRANSFORM(IT) IT& | |
| # define BOOST_FUSION_FOLD_IMPL_INVOKE_IT_TRANSFORM(IT) IT | |
| #else | |
| # define BOOST_FUSION_FOLD_IMPL_INVOKE_IT_META_TRANSFORM(IT) \ | |
| typename fusion::result_of::deref<IT>::type | |
| # define BOOST_FUSION_FOLD_IMPL_INVOKE_IT_TRANSFORM(IT) fusion::deref(IT) | |
| #endif | |
| namespace boost { namespace fusion | |
| { | |
| namespace detail | |
| { | |
| template<typename State, typename It, typename F> | |
| struct BOOST_PP_CAT(BOOST_FUSION_FOLD_NAME, _lvalue_state) | |
| : boost::result_of< | |
| F( | |
| typename add_reference<typename add_const<State>::type>::type, | |
| BOOST_FUSION_FOLD_IMPL_INVOKE_IT_META_TRANSFORM(It)) | |
| > | |
| {}; | |
| template<typename Result,int N> | |
| struct BOOST_PP_CAT(unrolled_,BOOST_FUSION_FOLD_NAME) | |
| { | |
| template<typename State, typename It0, typename F> | |
| static Result | |
| call(State const& state,It0 const& it0,F f) | |
| { | |
| typedef typename | |
| result_of::BOOST_FUSION_FOLD_IMPL_NEXT_IT_FUNCTION< | |
| It0 const | |
| >::type | |
| It1; | |
| It1 it1 = fusion::BOOST_FUSION_FOLD_IMPL_NEXT_IT_FUNCTION(it0); | |
| typedef typename | |
| result_of::BOOST_FUSION_FOLD_IMPL_NEXT_IT_FUNCTION< | |
| It1 | |
| >::type | |
| It2; | |
| It2 it2 = fusion::BOOST_FUSION_FOLD_IMPL_NEXT_IT_FUNCTION(it1); | |
| typedef typename | |
| result_of::BOOST_FUSION_FOLD_IMPL_NEXT_IT_FUNCTION< | |
| It2 | |
| >::type | |
| It3; | |
| It3 it3 = fusion::BOOST_FUSION_FOLD_IMPL_NEXT_IT_FUNCTION(it2); | |
| typedef typename BOOST_PP_CAT(BOOST_FUSION_FOLD_NAME, _lvalue_state)<State,It0,F>::type State1; | |
| State1 const state1=f(state,BOOST_FUSION_FOLD_IMPL_INVOKE_IT_TRANSFORM(it0)); | |
| typedef typename BOOST_PP_CAT(BOOST_FUSION_FOLD_NAME, _lvalue_state)<State1,It1,F>::type State2; | |
| State2 const state2=f(state1,BOOST_FUSION_FOLD_IMPL_INVOKE_IT_TRANSFORM(it1)); | |
| typedef typename BOOST_PP_CAT(BOOST_FUSION_FOLD_NAME, _lvalue_state)<State2,It2,F>::type State3; | |
| State3 const state3=f(state2,BOOST_FUSION_FOLD_IMPL_INVOKE_IT_TRANSFORM(it2)); | |
| return BOOST_PP_CAT(unrolled_,BOOST_FUSION_FOLD_NAME)< | |
| Result | |
| , N-4 | |
| >::call( | |
| f(state3,BOOST_FUSION_FOLD_IMPL_INVOKE_IT_TRANSFORM(it3)), | |
| fusion::BOOST_FUSION_FOLD_IMPL_NEXT_IT_FUNCTION(it3), | |
| f); | |
| } | |
| }; | |
| template<typename Result> | |
| struct BOOST_PP_CAT(unrolled_,BOOST_FUSION_FOLD_NAME)<Result,3> | |
| { | |
| template<typename State, typename It0, typename F> | |
| static Result | |
| call(State const& state,It0 const& it0,F f) | |
| { | |
| typedef typename | |
| result_of::BOOST_FUSION_FOLD_IMPL_NEXT_IT_FUNCTION< | |
| It0 const | |
| >::type | |
| It1; | |
| It1 it1 = fusion::BOOST_FUSION_FOLD_IMPL_NEXT_IT_FUNCTION(it0); | |
| typedef typename | |
| result_of::BOOST_FUSION_FOLD_IMPL_NEXT_IT_FUNCTION< | |
| It1 | |
| >::type | |
| It2; | |
| It2 it2 = fusion::BOOST_FUSION_FOLD_IMPL_NEXT_IT_FUNCTION(it1); | |
| typedef typename BOOST_PP_CAT(BOOST_FUSION_FOLD_NAME, _lvalue_state)<State,It0,F>::type State1; | |
| State1 const state1=f(state,BOOST_FUSION_FOLD_IMPL_INVOKE_IT_TRANSFORM(it0)); | |
| typedef typename BOOST_PP_CAT(BOOST_FUSION_FOLD_NAME, _lvalue_state)<State1,It1,F>::type State2; | |
| State2 const state2=f(state1,BOOST_FUSION_FOLD_IMPL_INVOKE_IT_TRANSFORM(it1)); | |
| return f(state2,BOOST_FUSION_FOLD_IMPL_INVOKE_IT_TRANSFORM(it2)); | |
| } | |
| }; | |
| template<typename Result> | |
| struct BOOST_PP_CAT(unrolled_,BOOST_FUSION_FOLD_NAME)<Result,2> | |
| { | |
| template<typename State, typename It0, typename F> | |
| static Result | |
| call(State const& state,It0 const& it0,F f) | |
| { | |
| typedef typename BOOST_PP_CAT(BOOST_FUSION_FOLD_NAME, _lvalue_state)<State,It0,F>::type State1; | |
| State1 const state1=f(state,BOOST_FUSION_FOLD_IMPL_INVOKE_IT_TRANSFORM(it0)); | |
| return f( | |
| state1, | |
| BOOST_FUSION_FOLD_IMPL_INVOKE_IT_TRANSFORM( | |
| fusion::BOOST_FUSION_FOLD_IMPL_NEXT_IT_FUNCTION(it0))); | |
| } | |
| }; | |
| template<typename Result> | |
| struct BOOST_PP_CAT(unrolled_,BOOST_FUSION_FOLD_NAME)<Result,1> | |
| { | |
| template<typename State, typename It0, typename F> | |
| static Result | |
| call(State const& state,It0 const& it0,F f) | |
| { | |
| return f(state, | |
| BOOST_FUSION_FOLD_IMPL_INVOKE_IT_TRANSFORM(it0)); | |
| } | |
| }; | |
| template<typename Result> | |
| struct BOOST_PP_CAT(unrolled_,BOOST_FUSION_FOLD_NAME)<Result,0> | |
| { | |
| template<typename State, typename It0, typename F> | |
| static Result | |
| call(State const& state,It0 const& it0,F f) | |
| { | |
| return static_cast<Result>(state); | |
| } | |
| }; | |
| template<typename StateRef, typename It0, typename F, int N> | |
| struct BOOST_PP_CAT(result_of_unrolled_,BOOST_FUSION_FOLD_NAME) | |
| { | |
| typedef typename | |
| BOOST_PP_CAT(BOOST_FUSION_FOLD_NAME, _lvalue_state)< | |
| StateRef | |
| , It0 const | |
| , F | |
| >::type | |
| rest1; | |
| typedef typename | |
| result_of::BOOST_FUSION_FOLD_IMPL_NEXT_IT_FUNCTION< | |
| It0 const | |
| >::type | |
| it1; | |
| typedef typename | |
| BOOST_PP_CAT(BOOST_FUSION_FOLD_NAME, _lvalue_state)< | |
| rest1 | |
| , it1 | |
| , F | |
| >::type | |
| rest2; | |
| typedef typename | |
| result_of::BOOST_FUSION_FOLD_IMPL_NEXT_IT_FUNCTION<it1>::type | |
| it2; | |
| typedef typename | |
| BOOST_PP_CAT(BOOST_FUSION_FOLD_NAME, _lvalue_state)< | |
| rest2 | |
| , it2 | |
| , F | |
| >::type | |
| rest3; | |
| typedef typename | |
| result_of::BOOST_FUSION_FOLD_IMPL_NEXT_IT_FUNCTION<it2>::type | |
| it3; | |
| typedef typename | |
| BOOST_PP_CAT(result_of_unrolled_,BOOST_FUSION_FOLD_NAME)< | |
| typename BOOST_PP_CAT( | |
| BOOST_FUSION_FOLD_NAME, _lvalue_state)< | |
| rest3 | |
| , it3 | |
| , F | |
| >::type | |
| , typename result_of::BOOST_FUSION_FOLD_IMPL_NEXT_IT_FUNCTION< | |
| it3 | |
| >::type | |
| , F | |
| , N-4 | |
| >::type | |
| type; | |
| }; | |
| template<typename StateRef, typename It0, typename F> | |
| struct BOOST_PP_CAT(result_of_unrolled_,BOOST_FUSION_FOLD_NAME)< | |
| StateRef | |
| , It0 | |
| , F | |
| , 3 | |
| > | |
| { | |
| typedef typename | |
| BOOST_PP_CAT(BOOST_FUSION_FOLD_NAME, _lvalue_state)< | |
| StateRef | |
| , It0 const | |
| , F | |
| >::type | |
| rest1; | |
| typedef typename | |
| result_of::BOOST_FUSION_FOLD_IMPL_NEXT_IT_FUNCTION< | |
| It0 const | |
| >::type | |
| it1; | |
| typedef typename | |
| BOOST_PP_CAT(BOOST_FUSION_FOLD_NAME, _lvalue_state)< | |
| typename BOOST_PP_CAT( | |
| BOOST_FUSION_FOLD_NAME, _lvalue_state)< | |
| rest1 | |
| , it1 | |
| , F | |
| >::type | |
| , typename result_of::BOOST_FUSION_FOLD_IMPL_NEXT_IT_FUNCTION< | |
| it1 const | |
| >::type const | |
| , F | |
| >::type | |
| type; | |
| }; | |
| template<typename StateRef, typename It0, typename F> | |
| struct BOOST_PP_CAT(result_of_unrolled_,BOOST_FUSION_FOLD_NAME)< | |
| StateRef | |
| , It0 | |
| , F | |
| , 2 | |
| > | |
| : BOOST_PP_CAT(BOOST_FUSION_FOLD_NAME, _lvalue_state)< | |
| typename BOOST_PP_CAT(BOOST_FUSION_FOLD_NAME, _lvalue_state)< | |
| StateRef | |
| , It0 const | |
| , F | |
| >::type | |
| , typename result_of::BOOST_FUSION_FOLD_IMPL_NEXT_IT_FUNCTION< | |
| It0 const | |
| >::type const | |
| , F | |
| > | |
| {}; | |
| template<typename StateRef, typename It0, typename F> | |
| struct BOOST_PP_CAT(result_of_unrolled_,BOOST_FUSION_FOLD_NAME)< | |
| StateRef | |
| , It0 | |
| , F | |
| , 1 | |
| > | |
| : BOOST_PP_CAT(BOOST_FUSION_FOLD_NAME, _lvalue_state)< | |
| StateRef | |
| , It0 const | |
| , F | |
| > | |
| {}; | |
| template<typename StateRef, typename It0, typename F> | |
| struct BOOST_PP_CAT(result_of_unrolled_,BOOST_FUSION_FOLD_NAME)< | |
| StateRef | |
| , It0 | |
| , F | |
| , 0 | |
| > | |
| { | |
| typedef StateRef type; | |
| }; | |
| template<typename StateRef, typename It0, typename F, int SeqSize> | |
| struct BOOST_PP_CAT(result_of_first_unrolled,BOOST_FUSION_FOLD_NAME) | |
| { | |
| typedef typename | |
| BOOST_PP_CAT(result_of_unrolled_,BOOST_FUSION_FOLD_NAME)< | |
| typename boost::result_of< | |
| F( | |
| StateRef, | |
| BOOST_FUSION_FOLD_IMPL_INVOKE_IT_META_TRANSFORM( | |
| It0 const) | |
| ) | |
| >::type | |
| , typename result_of::BOOST_FUSION_FOLD_IMPL_NEXT_IT_FUNCTION< | |
| It0 const | |
| >::type | |
| , F | |
| , SeqSize-1 | |
| >::type | |
| type; | |
| }; | |
| template<int SeqSize, typename StateRef, typename It0, typename F> | |
| struct BOOST_PP_CAT(BOOST_FUSION_FOLD_NAME,_impl) | |
| { | |
| typedef typename | |
| BOOST_PP_CAT( | |
| result_of_first_unrolled,BOOST_FUSION_FOLD_NAME)< | |
| StateRef | |
| , BOOST_FUSION_FOLD_IMPL_FIRST_IT_META_TRANSFORM(It0) | |
| , F | |
| , SeqSize | |
| >::type | |
| type; | |
| static type | |
| call(StateRef state, It0 const& it0, F f) | |
| { | |
| return BOOST_PP_CAT(unrolled_,BOOST_FUSION_FOLD_NAME)< | |
| type | |
| , SeqSize | |
| >::call(state,BOOST_FUSION_FOLD_IMPL_FIRST_IT_TRANSFORM(it0),f); | |
| } | |
| }; | |
| template<typename StateRef, typename It0, typename F> | |
| struct BOOST_PP_CAT(BOOST_FUSION_FOLD_NAME,_impl)<0,StateRef,It0,F> | |
| { | |
| typedef StateRef type; | |
| static StateRef | |
| call(StateRef state, It0 const&, F) | |
| { | |
| return static_cast<StateRef>(state); | |
| } | |
| }; | |
| } | |
| namespace result_of | |
| { | |
| template<typename Seq, typename State, typename F> | |
| struct BOOST_FUSION_FOLD_NAME | |
| : detail::BOOST_PP_CAT(BOOST_FUSION_FOLD_NAME,_impl)< | |
| size<Seq>::value | |
| , typename add_reference< | |
| typename add_const<State>::type | |
| >::type | |
| , typename BOOST_FUSION_FOLD_IMPL_FIRST_IT_FUNCTION<Seq>::type | |
| , F | |
| > | |
| {}; | |
| } | |
| template<typename Seq, typename State, typename F> | |
| inline typename result_of::BOOST_FUSION_FOLD_NAME< | |
| Seq | |
| , State const | |
| , F | |
| >::type | |
| BOOST_FUSION_FOLD_NAME(Seq& seq,State const& state,F f) | |
| { | |
| return result_of::BOOST_FUSION_FOLD_NAME<Seq,State const,F>::call( | |
| state, | |
| fusion::BOOST_FUSION_FOLD_IMPL_FIRST_IT_FUNCTION(seq), | |
| f); | |
| } | |
| template<typename Seq, typename State, typename F> | |
| inline typename result_of::BOOST_FUSION_FOLD_NAME< | |
| Seq const | |
| , State const | |
| , F | |
| >::type | |
| BOOST_FUSION_FOLD_NAME(Seq const& seq,State const& state,F f) | |
| { | |
| return result_of::BOOST_FUSION_FOLD_NAME<Seq const,State const,F>::call( | |
| state, | |
| fusion::BOOST_FUSION_FOLD_IMPL_FIRST_IT_FUNCTION(seq), | |
| f); | |
| } | |
| }} | |
| #undef BOOST_FUSION_FOLD_NAME | |
| #undef BOOST_FUSION_FOLD_IMPL_FIRST_IT_FUNCTION | |
| #undef BOOST_FUSION_FOLD_IMPL_NEXT_IT_FUNCTION | |
| #undef BOOST_FUSION_FOLD_IMPL_FIRST_IT_META_TRANSFORM | |
| #undef BOOST_FUSION_FOLD_IMPL_FIRST_IT_TRANSFORM | |
| #undef BOOST_FUSION_FOLD_IMPL_INVOKE_IT_META_TRANSFORM | |
| #undef BOOST_FUSION_FOLD_IMPL_INVOKE_IT_TRANSFORM |