123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214 |
- /*=============================================================================
- Copyright (c) 2005-2006 Joao Abecasis
- Copyright (c) 2006-2007 Tobias Schwinger
- Use modification and distribution are subject to 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).
- ==============================================================================*/
- #if !defined(BOOST_FUSION_FUNCTIONAL_INVOCATION_INVOKE_FUNCTION_OBJECT_HPP_INCLUDED)
- #if !defined(BOOST_PP_IS_ITERATING)
- #include <boost/preprocessor/cat.hpp>
- #include <boost/preprocessor/iteration/iterate.hpp>
- #include <boost/preprocessor/arithmetic/dec.hpp>
- #include <boost/preprocessor/repetition/repeat_from_to.hpp>
- #include <boost/preprocessor/repetition/enum.hpp>
- #include <boost/preprocessor/repetition/enum_params.hpp>
- #include <boost/utility/result_of.hpp>
- #include <boost/core/enable_if.hpp>
- #include <boost/type_traits/remove_reference.hpp>
- #include <boost/type_traits/remove_const.hpp>
- #include <boost/fusion/support/category_of.hpp>
- #include <boost/fusion/sequence/intrinsic/size.hpp>
- #include <boost/fusion/sequence/intrinsic/at.hpp>
- #include <boost/fusion/sequence/intrinsic/begin.hpp>
- #include <boost/fusion/iterator/next.hpp>
- #include <boost/fusion/iterator/deref.hpp>
- #include <boost/fusion/functional/invocation/limits.hpp>
- namespace boost { namespace fusion
- {
- namespace detail
- {
- template<
- class Function, class Sequence,
- int N = result_of::size<Sequence>::value,
- bool RandomAccess = traits::is_random_access<Sequence>::value,
- typename Enable = void
- >
- struct invoke_function_object_impl;
- template <class Sequence, int N>
- struct invoke_function_object_param_types;
- #define BOOST_PP_FILENAME_1 \
- <boost/fusion/functional/invocation/invoke_function_object.hpp>
- #define BOOST_PP_ITERATION_LIMITS \
- (0, BOOST_FUSION_INVOKE_FUNCTION_OBJECT_MAX_ARITY)
- #include BOOST_PP_ITERATE()
- }
- namespace result_of
- {
- template <class Function, class Sequence, class Enable = void>
- struct invoke_function_object;
- template <class Function, class Sequence>
- struct invoke_function_object<Function, Sequence,
- typename enable_if_has_type<
- typename detail::invoke_function_object_impl<
- typename boost::remove_reference<Function>::type, Sequence
- >::result_type
- >::type>
- {
- typedef typename detail::invoke_function_object_impl<
- typename boost::remove_reference<Function>::type, Sequence
- >::result_type type;
- };
- }
- template <class Function, class Sequence>
- BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
- inline typename result_of::invoke_function_object<Function,Sequence>::type
- invoke_function_object(Function f, Sequence & s)
- {
- return detail::invoke_function_object_impl<
- typename boost::remove_reference<Function>::type,Sequence
- >::call(f,s);
- }
- template <class Function, class Sequence>
- BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
- inline typename result_of::invoke_function_object<Function,Sequence const>::type
- invoke_function_object(Function f, Sequence const & s)
- {
- return detail::invoke_function_object_impl<
- typename boost::remove_reference<Function>::type,Sequence const
- >::call(f,s);
- }
- }}
- #define BOOST_FUSION_FUNCTIONAL_INVOCATION_INVOKE_FUNCTION_OBJECT_HPP_INCLUDED
- #else // defined(BOOST_PP_IS_ITERATING)
- ///////////////////////////////////////////////////////////////////////////////
- //
- // Preprocessor vertical repetition code
- //
- ///////////////////////////////////////////////////////////////////////////////
- #define N BOOST_PP_ITERATION()
- #define M(z,j,data) \
- typename result_of::at_c<Sequence,j>::type
- template <class Function, class Sequence>
- struct invoke_function_object_impl<Function,Sequence,N,true,
- typename enable_if_has_type<
- typename boost::result_of<Function (BOOST_PP_ENUM(N,M,~)) >::type
- >::type>
- {
- public:
- typedef typename boost::result_of<
- Function (BOOST_PP_ENUM(N,M,~)) >::type result_type;
- #undef M
- #if N > 0
- template <class F>
- BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
- static inline result_type
- call(F & f, Sequence & s)
- {
- #define M(z,j,data) fusion::at_c<j>(s)
- return f( BOOST_PP_ENUM(N,M,~) );
- #undef M
- }
- #else
- template <class F>
- BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
- static inline result_type
- call(F & f, Sequence & /*s*/)
- {
- return f();
- }
- #endif
- };
- #define M(z,j,data) \
- typename invoke_function_object_param_types<Sequence,N>::T ## j
- template <class Function, class Sequence>
- struct invoke_function_object_impl<Function,Sequence,N,false,
- typename enable_if_has_type<
- typename boost::result_of<Function (BOOST_PP_ENUM(N,M,~)) >::type
- >::type>
- #undef M
- {
- private:
- typedef invoke_function_object_param_types<Sequence,N> seq;
- public:
- typedef typename boost::result_of<
- Function (BOOST_PP_ENUM_PARAMS(N,typename seq::T))
- >::type result_type;
- #if N > 0
- template <class F>
- BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
- static inline result_type
- call(F & f, Sequence & s)
- {
- typename seq::I0 i0 = fusion::begin(s);
- #define M(z,j,data) \
- typename seq::I##j i##j = \
- fusion::next(BOOST_PP_CAT(i,BOOST_PP_DEC(j)));
- BOOST_PP_REPEAT_FROM_TO(1,N,M,~)
- #undef M
- return f( BOOST_PP_ENUM_PARAMS(N,*i) );
- }
- #else
- template <class F>
- BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
- static inline result_type
- call(F & f, Sequence & /*s*/)
- {
- return f();
- }
- #endif
- };
- template <class Sequence>
- struct invoke_function_object_param_types<Sequence,N>
- {
- #if N > 0
- typedef typename result_of::begin<Sequence>::type I0;
- typedef typename result_of::deref<I0>::type T0;
- #define M(z,i,data) \
- typedef typename result_of::next< \
- BOOST_PP_CAT(I,BOOST_PP_DEC(i))>::type I##i; \
- typedef typename result_of::deref<I##i>::type T##i;
- BOOST_PP_REPEAT_FROM_TO(1,N,M,~)
- #undef M
- #endif
- };
- #undef N
- #endif // defined(BOOST_PP_IS_ITERATING)
- #endif
|