// Copyright David Abrahams 2006. 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) | |
// | |
// #include guards intentionally disabled. | |
// #ifndef BOOST_DETAIL_FUNCTION_N_DWA2006514_HPP | |
// # define BOOST_DETAIL_FUNCTION_N_DWA2006514_HPP | |
#include <boost/mpl/void.hpp> | |
#include <boost/mpl/apply.hpp> | |
#include <boost/preprocessor/control/if.hpp> | |
#include <boost/preprocessor/cat.hpp> | |
#include <boost/preprocessor/punctuation/comma_if.hpp> | |
#include <boost/preprocessor/repetition/enum_params.hpp> | |
#include <boost/preprocessor/repetition/enum_trailing_params.hpp> | |
#include <boost/preprocessor/repetition/repeat.hpp> | |
#include <boost/preprocessor/seq/fold_left.hpp> | |
#include <boost/preprocessor/seq/seq.hpp> | |
#include <boost/preprocessor/seq/for_each.hpp> | |
#include <boost/preprocessor/seq/for_each_i.hpp> | |
#include <boost/preprocessor/seq/for_each_product.hpp> | |
#include <boost/preprocessor/seq/size.hpp> | |
#include <boost/type_traits/add_const.hpp> | |
#include <boost/type_traits/remove_reference.hpp> | |
namespace boost { namespace detail { | |
# define BOOST_DETAIL_default_arg(z, n, _) \ | |
typedef mpl::void_ BOOST_PP_CAT(arg, n); | |
# define BOOST_DETAIL_function_arg(z, n, _) \ | |
typedef typename remove_reference< \ | |
typename add_const< BOOST_PP_CAT(A, n) >::type \ | |
>::type BOOST_PP_CAT(arg, n); | |
#define BOOST_DETAIL_cat_arg_counts(s, state, n) \ | |
BOOST_PP_IF( \ | |
n \ | |
, BOOST_PP_CAT(state, BOOST_PP_CAT(_, n)) \ | |
, state \ | |
) \ | |
/**/ | |
#define function_name \ | |
BOOST_PP_SEQ_FOLD_LEFT( \ | |
BOOST_DETAIL_cat_arg_counts \ | |
, BOOST_PP_CAT(function, BOOST_PP_SEQ_HEAD(args)) \ | |
, BOOST_PP_SEQ_TAIL(args)(0) \ | |
) \ | |
/**/ | |
template<typename F> | |
struct function_name | |
{ | |
BOOST_PP_REPEAT( | |
BOOST_MPL_LIMIT_METAFUNCTION_ARITY | |
, BOOST_DETAIL_default_arg | |
, ~ | |
) | |
template<typename Signature> | |
struct result {}; | |
#define BOOST_DETAIL_function_result(r, _, n) \ | |
template<typename This BOOST_PP_ENUM_TRAILING_PARAMS(n, typename A)> \ | |
struct result<This(BOOST_PP_ENUM_PARAMS(n, A))> \ | |
{ \ | |
BOOST_PP_REPEAT(n, BOOST_DETAIL_function_arg, ~) \ | |
typedef \ | |
typename BOOST_PP_CAT(mpl::apply, BOOST_MPL_LIMIT_METAFUNCTION_ARITY)<\ | |
F \ | |
BOOST_PP_ENUM_TRAILING_PARAMS( \ | |
BOOST_MPL_LIMIT_METAFUNCTION_ARITY \ | |
, arg \ | |
) \ | |
>::type \ | |
impl; \ | |
typedef typename impl::result_type type; \ | |
}; \ | |
/**/ | |
BOOST_PP_SEQ_FOR_EACH(BOOST_DETAIL_function_result, _, args) | |
# define arg_type(r, _, i, is_const) \ | |
BOOST_PP_COMMA_IF(i) BOOST_PP_CAT(A, i) BOOST_PP_CAT(const_if, is_const) & | |
# define result_(r, n, constness) \ | |
typename result< \ | |
function_name( \ | |
BOOST_PP_SEQ_FOR_EACH_I_R(r, arg_type, ~, constness) \ | |
) \ | |
> \ | |
/**/ | |
# define param(r, _, i, is_const) BOOST_PP_COMMA_IF(i) \ | |
BOOST_PP_CAT(A, i) BOOST_PP_CAT(const_if, is_const) & BOOST_PP_CAT(x, i) | |
# define param_list(r, n, constness) \ | |
BOOST_PP_SEQ_FOR_EACH_I_R(r, param, ~, constness) | |
# define call_operator(r, constness) \ | |
template<BOOST_PP_ENUM_PARAMS(BOOST_PP_SEQ_SIZE(constness), typename A)> \ | |
result_(r, BOOST_PP_SEQ_SIZE(constness), constness)::type \ | |
operator ()( param_list(r, BOOST_PP_SEQ_SIZE(constness), constness) ) const \ | |
{ \ | |
typedef result_(r, BOOST_PP_SEQ_SIZE(constness), constness)::impl impl; \ | |
return impl()(BOOST_PP_ENUM_PARAMS(BOOST_PP_SEQ_SIZE(constness), x)); \ | |
} \ | |
/**/ | |
# define const_if0 | |
# define const_if1 const | |
# define bits(z, n, _) ((0)(1)) | |
# define gen_operator(r, _, n) \ | |
BOOST_PP_SEQ_FOR_EACH_PRODUCT_R( \ | |
r \ | |
, call_operator \ | |
, BOOST_PP_REPEAT(n, bits, ~) \ | |
) \ | |
/**/ | |
BOOST_PP_SEQ_FOR_EACH( | |
gen_operator | |
, ~ | |
, args | |
) | |
# undef bits | |
# undef const_if1 | |
# undef const_if0 | |
# undef call_operator | |
# undef param_list | |
# undef param | |
# undef result_ | |
# undef default_ | |
# undef arg_type | |
# undef gen_operator | |
# undef function_name | |
# undef args | |
}; | |
}} // namespace boost::detail | |
//#endif // BOOST_DETAIL_FUNCTION_N_DWA2006514_HPP |