// Copyright David Abrahams, Daniel Wallin 2003.
|
// Copyright Cromwell D. Enage 2017.
|
// 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_PARAMETERS_031014_HPP
|
#define BOOST_PARAMETERS_031014_HPP
|
|
#include <boost/parameter/config.hpp>
|
|
#if defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING)
|
|
namespace boost { namespace parameter { namespace aux {
|
|
// The make_arg_list<> metafunction produces a reversed arg_list,
|
// so pass the arguments to the arg_list constructor reversed in turn.
|
template <typename ArgList, typename ...Args>
|
struct arg_list_factory;
|
}}} // namespace boost::parameter::aux
|
|
#include <boost/parameter/aux_/arg_list.hpp>
|
#include <utility>
|
|
#if defined(BOOST_PARAMETER_CAN_USE_MP11)
|
#include <boost/mp11/utility.hpp>
|
#include <type_traits>
|
#else
|
#include <boost/mpl/if.hpp>
|
#include <boost/type_traits/is_same.hpp>
|
#endif
|
|
namespace boost { namespace parameter { namespace aux {
|
|
// TODO: Reduce template code bloat. -- Cromwell D. Enage
|
template <typename ArgList>
|
struct arg_list_factory<ArgList>
|
{
|
template <typename ...ReversedArgs>
|
static inline BOOST_CONSTEXPR ArgList
|
reverse(ReversedArgs&&... reversed_args)
|
{
|
return ArgList(
|
#if defined(BOOST_PARAMETER_CAN_USE_MP11)
|
::boost::mp11::mp_if<
|
::std::is_same<
|
#else
|
typename ::boost::mpl::if_<
|
::boost::is_same<
|
#endif
|
typename ArgList::tagged_arg::value_type
|
, ::boost::parameter::void_
|
>
|
, ::boost::parameter::aux::value_type_is_void
|
, ::boost::parameter::aux::value_type_is_not_void
|
#if defined(BOOST_PARAMETER_CAN_USE_MP11)
|
>()
|
#else
|
>::type()
|
#endif
|
, ::std::forward<ReversedArgs>(reversed_args)...
|
);
|
}
|
};
|
|
template <typename ArgList, typename A0, typename ...Args>
|
struct arg_list_factory<ArgList,A0,Args...>
|
{
|
template <typename ...ReversedArgs>
|
static inline BOOST_CONSTEXPR ArgList
|
reverse(A0&& a0, Args&&... args, ReversedArgs&&... reversed_args)
|
{
|
return ::boost::parameter::aux
|
::arg_list_factory<ArgList,Args...>::reverse(
|
::std::forward<Args>(args)...
|
, ::std::forward<A0>(a0)
|
, ::std::forward<ReversedArgs>(reversed_args)...
|
);
|
}
|
};
|
}}} // namespace boost::parameter::aux
|
|
#include <boost/parameter/aux_/void.hpp>
|
#include <boost/parameter/aux_/pack/make_arg_list.hpp>
|
#include <boost/parameter/aux_/pack/make_parameter_spec_items.hpp>
|
#include <boost/parameter/aux_/pack/tag_keyword_arg.hpp>
|
#include <boost/parameter/aux_/pack/tag_template_keyword_arg.hpp>
|
|
#if defined(BOOST_PARAMETER_CAN_USE_MP11)
|
#include <boost/mp11/integral.hpp>
|
#include <boost/mp11/list.hpp>
|
#else
|
#include <boost/mpl/bool.hpp>
|
#include <boost/mpl/pair.hpp>
|
#include <boost/mpl/identity.hpp>
|
#endif
|
|
#if !defined(BOOST_PARAMETER_VARIADIC_MPL_SEQUENCE)
|
#if defined(BOOST_PARAMETER_CAN_USE_MP11)
|
//#include <boost/mp11/mpl.hpp>
|
#define BOOST_PARAMETER_VARIADIC_MPL_SEQUENCE ::boost::mp11::mp_list
|
#else
|
#include <boost/fusion/container/list/list_fwd.hpp>
|
|
// Newer versions of MSVC fail on the evaluate_category and
|
// preprocessor_eval_category test programs when parameters uses
|
// boost::fusion::list.
|
// -- Cromwell D. Enage
|
#if defined(BOOST_FUSION_HAS_VARIADIC_LIST) && ( \
|
!defined(BOOST_MSVC) || (BOOST_MSVC < 1800) \
|
)
|
#include <boost/fusion/container/list.hpp>
|
#include <boost/fusion/mpl.hpp>
|
#define BOOST_PARAMETER_VARIADIC_MPL_SEQUENCE ::boost::fusion::list
|
#else
|
#include <boost/fusion/container/deque/deque_fwd.hpp>
|
|
#if defined(BOOST_FUSION_HAS_VARIADIC_DEQUE)
|
#include <boost/fusion/container/deque.hpp>
|
#include <boost/fusion/mpl.hpp>
|
#define BOOST_PARAMETER_VARIADIC_MPL_SEQUENCE ::boost::fusion::deque
|
#else
|
#include <boost/mpl/vector.hpp>
|
#define BOOST_PARAMETER_VARIADIC_MPL_SEQUENCE ::boost::mpl::vector
|
#endif // BOOST_FUSION_HAS_VARIADIC_DEQUE
|
#endif // BOOST_FUSION_HAS_VARIADIC_LIST
|
#endif // BOOST_PARAMETER_CAN_USE_MP11
|
#endif // BOOST_PARAMETER_VARIADIC_MPL_SEQUENCE
|
|
namespace boost { namespace parameter {
|
|
template <typename ...Spec>
|
struct parameters
|
{
|
typedef BOOST_PARAMETER_VARIADIC_MPL_SEQUENCE<Spec...> parameter_spec;
|
|
typedef typename ::boost::parameter::aux
|
::make_deduced_list<parameter_spec>::type deduced_list;
|
|
// If the elements of NamedList match the criteria of overload
|
// resolution, returns a type which can be constructed from
|
// parameters. Otherwise, this is not a valid metafunction
|
// (no nested ::type).
|
template <typename ArgumentPackAndError>
|
struct match_base
|
#if !defined(BOOST_PARAMETER_CAN_USE_MP11)
|
: ::boost::mpl::if_<
|
typename ::boost::parameter::aux::match_parameters_base_cond<
|
ArgumentPackAndError
|
, parameter_spec
|
>::type
|
, ::boost::mpl::identity<
|
::boost::parameter::parameters<Spec...>
|
>
|
, ::boost::parameter::void_
|
>
|
#endif
|
{
|
#if defined(BOOST_PARAMETER_CAN_USE_MP11)
|
using type = ::boost::mp11::mp_if<
|
typename ::boost::parameter::aux::match_parameters_base_cond<
|
ArgumentPackAndError
|
, parameter_spec
|
>::type
|
, ::boost::mp11::mp_identity<
|
::boost::parameter::parameters<Spec...>
|
>
|
, ::boost::parameter::void_
|
>;
|
#endif
|
};
|
|
// Specializations are to be used as an optional argument
|
// to eliminate overloads via SFINAE.
|
template <typename ...Args>
|
struct match
|
: ::boost::parameter::parameters<Spec...>
|
::BOOST_NESTED_TEMPLATE match_base<
|
typename ::boost::parameter::aux::make_arg_list<
|
typename ::boost::parameter::aux
|
::make_parameter_spec_items<parameter_spec,Args...>::type
|
, deduced_list
|
, ::boost::parameter::aux::tag_keyword_arg
|
// Don't emit errors when doing SFINAE.
|
#if defined(BOOST_PARAMETER_CAN_USE_MP11)
|
, ::boost::mp11::mp_false
|
#else
|
, ::boost::mpl::false_
|
#endif
|
>::type
|
>::type
|
{
|
};
|
|
// Metafunction that returns an ArgumentPack.
|
template <typename ...Args>
|
struct bind
|
#if !defined(BOOST_PARAMETER_CAN_USE_MP11)
|
: ::boost::mpl::first<
|
typename ::boost::parameter::aux::make_arg_list<
|
typename ::boost::parameter::aux
|
::make_parameter_spec_items<parameter_spec,Args...>::type
|
, deduced_list
|
, ::boost::parameter::aux::tag_template_keyword_arg
|
>::type
|
>
|
#endif
|
{
|
#if defined(BOOST_PARAMETER_CAN_USE_MP11)
|
using type = ::boost::mp11::mp_at_c<
|
typename ::boost::parameter::aux::make_arg_list<
|
typename ::boost::parameter::aux
|
::make_parameter_spec_items<parameter_spec,Args...>::type
|
, deduced_list
|
, ::boost::parameter::aux::tag_template_keyword_arg
|
>::type
|
, 0
|
>;
|
#endif
|
};
|
|
// The function call operator is used to build an arg_list that
|
// labels the positional parameters and maintains whatever other
|
// tags may have been specified by the caller.
|
inline ::boost::parameter::aux::empty_arg_list operator()() const
|
{
|
return ::boost::parameter::aux::empty_arg_list();
|
}
|
|
template <typename A0, typename ...Args>
|
#if defined(BOOST_PARAMETER_CAN_USE_MP11)
|
inline ::boost::mp11::mp_at_c<
|
#else
|
inline typename ::boost::mpl::first<
|
#endif
|
typename ::boost::parameter::aux::make_arg_list<
|
typename ::boost::parameter::aux
|
::make_parameter_spec_items<parameter_spec,A0,Args...>::type
|
, deduced_list
|
, ::boost::parameter::aux::tag_keyword_arg
|
>::type
|
#if defined(BOOST_PARAMETER_CAN_USE_MP11)
|
, 0
|
>
|
#else
|
>::type
|
#endif
|
operator()(A0&& a0, Args&& ...args) const
|
{
|
typedef typename ::boost::parameter::aux::make_arg_list<
|
typename ::boost::parameter::aux
|
::make_parameter_spec_items<parameter_spec,A0,Args...>::type
|
, deduced_list
|
, ::boost::parameter::aux::tag_keyword_arg
|
>::type list_error_pair;
|
|
#if defined(BOOST_PARAMETER_CAN_USE_MP11)
|
using result_type = ::boost::mp11::mp_at_c<list_error_pair,0>;
|
|
using error = ::boost::mp11::mp_at_c<list_error_pair,1>;
|
#else
|
typedef typename ::boost::mpl
|
::first<list_error_pair>::type result_type;
|
|
typedef typename ::boost::mpl
|
::second<list_error_pair>::type error;
|
#endif
|
|
error();
|
|
return ::boost::parameter::aux
|
::arg_list_factory<result_type,A0,Args...>::reverse(
|
::std::forward<A0>(a0)
|
, ::std::forward<Args>(args)...
|
);
|
}
|
};
|
}} // namespace boost::parameter
|
|
#else // !defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING)
|
|
#include <boost/parameter/aux_/void.hpp>
|
#include <boost/parameter/aux_/arg_list.hpp>
|
#include <boost/parameter/aux_/pack/make_arg_list.hpp>
|
#include <boost/parameter/aux_/pack/make_items.hpp>
|
#include <boost/parameter/aux_/pack/make_deduced_items.hpp>
|
#include <boost/parameter/aux_/pack/tag_template_keyword_arg.hpp>
|
#include <boost/parameter/aux_/preprocessor/binary_seq_for_each.hpp>
|
#include <boost/preprocessor/arithmetic/inc.hpp>
|
#include <boost/preprocessor/repetition/enum_shifted.hpp>
|
#include <boost/preprocessor/repetition/repeat.hpp>
|
#include <boost/preprocessor/selection/min.hpp>
|
|
#if ( \
|
BOOST_PARAMETER_EXPONENTIAL_OVERLOAD_THRESHOLD_ARITY < \
|
BOOST_PARAMETER_MAX_ARITY \
|
)
|
#include <boost/parameter/aux_/pack/tag_keyword_arg_ref.hpp>
|
#include <boost/mpl/pair.hpp>
|
#include <boost/preprocessor/arithmetic/dec.hpp>
|
#include <boost/preprocessor/arithmetic/sub.hpp>
|
#include <boost/preprocessor/facilities/intercept.hpp>
|
#include <boost/preprocessor/iteration/iterate.hpp>
|
#include <boost/preprocessor/repetition/enum.hpp>
|
#include <boost/preprocessor/repetition/enum_trailing_params.hpp>
|
#endif
|
|
#if !defined(BOOST_NO_SFINAE) && \
|
!BOOST_WORKAROUND(BOOST_BORLANDC, BOOST_TESTED_AT(0x592))
|
#include <boost/parameter/aux_/pack/tag_keyword_arg.hpp>
|
#include <boost/mpl/bool.hpp>
|
#include <boost/mpl/if.hpp>
|
#include <boost/mpl/identity.hpp>
|
#include <boost/type_traits/is_same.hpp>
|
#endif
|
|
#if BOOST_WORKAROUND(BOOST_BORLANDC, BOOST_TESTED_AT(0x564))
|
#include <boost/preprocessor/repetition/enum_params.hpp>
|
#else
|
#include <boost/preprocessor/repetition/enum_binary_params.hpp>
|
#endif
|
|
#include <boost/parameter/aux_/preprocessor/no_perfect_forwarding_begin.hpp>
|
|
namespace boost { namespace parameter {
|
|
template <
|
typename PS0
|
, BOOST_PP_ENUM_SHIFTED(
|
BOOST_PARAMETER_MAX_ARITY
|
, BOOST_PARAMETER_template_args
|
, PS
|
)
|
>
|
struct parameters
|
{
|
typedef typename BOOST_PARAMETER_build_deduced_list(
|
BOOST_PARAMETER_MAX_ARITY
|
, ::boost::parameter::aux::make_deduced_items
|
, PS
|
)::type deduced_list;
|
|
// If the elements of NamedList match the criteria of overload
|
// resolution, returns a type which can be constructed from
|
// parameters. Otherwise, this is not a valid metafunction
|
// (no nested ::type).
|
#if !defined(BOOST_NO_SFINAE) && \
|
!BOOST_WORKAROUND(BOOST_BORLANDC, BOOST_TESTED_AT(0x592))
|
// If NamedList satisfies the PS0, PS1, ..., this is a metafunction
|
// returning parameters. Otherwise it has no nested ::type.
|
template <typename ArgumentPackAndError>
|
struct match_base
|
: ::boost::mpl::if_<
|
// ::boost::mpl::and_<
|
// aux::satisfies_requirements_of<NamedList,PS0>
|
// , ::boost::mpl::and_<
|
// aux::satisfies_requirements_of<NamedList,PS1>...
|
// ..., ::boost::mpl::true_
|
// ...> >
|
typename BOOST_PP_REPEAT(
|
BOOST_PARAMETER_MAX_ARITY
|
, BOOST_PARAMETER_satisfies_begin
|
, PS
|
)
|
::boost::is_same<
|
typename ::boost::mpl
|
::second<ArgumentPackAndError>::type
|
, ::boost::parameter::void_
|
>
|
BOOST_PP_REPEAT(
|
BOOST_PARAMETER_MAX_ARITY
|
, BOOST_PARAMETER_satisfies_end
|
, ::boost::mpl::false_
|
)::type
|
, ::boost::mpl::identity<
|
::boost::parameter::parameters<
|
BOOST_PP_ENUM_PARAMS(BOOST_PARAMETER_MAX_ARITY, PS)
|
>
|
>
|
, ::boost::parameter::void_
|
>
|
{
|
};
|
#endif // SFINAE enabled, not Borland
|
|
// Specializations are to be used as an optional argument
|
// to eliminate overloads via SFINAE.
|
template <
|
#if BOOST_WORKAROUND(BOOST_BORLANDC, BOOST_TESTED_AT(0x564))
|
// Borland simply can't handle default arguments in member
|
// class templates. People wishing to write portable code can
|
// explicitly specify BOOST_PARAMETER_MAX_ARITY arguments.
|
BOOST_PP_ENUM_PARAMS(BOOST_PARAMETER_MAX_ARITY, typename A)
|
#else
|
BOOST_PP_ENUM_BINARY_PARAMS(
|
BOOST_PARAMETER_MAX_ARITY
|
, typename A
|
, = ::boost::parameter::void_ BOOST_PP_INTERCEPT
|
)
|
#endif
|
>
|
struct match
|
#if !defined(BOOST_NO_SFINAE) && \
|
!BOOST_WORKAROUND(BOOST_BORLANDC, BOOST_TESTED_AT(0x592))
|
: ::boost::parameter::parameters<
|
BOOST_PP_ENUM_PARAMS(BOOST_PARAMETER_MAX_ARITY, PS)
|
>::BOOST_NESTED_TEMPLATE match_base<
|
typename ::boost::parameter::aux::make_arg_list<
|
typename BOOST_PARAMETER_build_arg_list(
|
BOOST_PARAMETER_MAX_ARITY
|
, ::boost::parameter::aux::make_items
|
, PS
|
, A
|
)::type
|
, deduced_list
|
, ::boost::parameter::aux::tag_keyword_arg
|
// Don't emit errors when doing SFINAE.
|
, ::boost::mpl::false_
|
>::type
|
>::type
|
{
|
};
|
#else
|
{
|
typedef ::boost::parameter::parameters<
|
BOOST_PP_ENUM_PARAMS(BOOST_PARAMETER_MAX_ARITY, PS)
|
> type;
|
};
|
#endif // SFINAE enabled, not Borland
|
|
// Metafunction that returns an ArgumentPack.
|
|
// TODO, bind has to instantiate the error type in the result
|
// of make_arg_list.
|
|
template <
|
#if BOOST_WORKAROUND(BOOST_BORLANDC, BOOST_TESTED_AT(0x564))
|
// Borland simply can't handle default arguments in member
|
// class templates. People wishing to write portable code can
|
// explicitly specify BOOST_PARAMETER_MAX_ARITY arguments.
|
BOOST_PP_ENUM_PARAMS(BOOST_PARAMETER_MAX_ARITY, typename A)
|
#else
|
BOOST_PP_ENUM_BINARY_PARAMS(
|
BOOST_PARAMETER_MAX_ARITY
|
, typename A
|
, = ::boost::parameter::void_ BOOST_PP_INTERCEPT
|
)
|
#endif
|
>
|
struct bind
|
{
|
typedef typename ::boost::parameter::aux::make_arg_list<
|
typename BOOST_PARAMETER_build_arg_list(
|
BOOST_PARAMETER_MAX_ARITY
|
, ::boost::parameter::aux::make_items
|
, PS
|
, A
|
)::type
|
, deduced_list
|
, ::boost::parameter::aux::tag_template_keyword_arg
|
>::type result;
|
|
typedef typename ::boost::mpl::first<result>::type type;
|
};
|
|
BOOST_PP_REPEAT(
|
BOOST_PARAMETER_MAX_ARITY
|
, BOOST_PARAMETER_forward_typedef
|
, (PS)(parameter_spec)
|
)
|
|
// The function call operator is used to build an arg_list that
|
// labels the positional parameters and maintains whatever other
|
// tags may have been specified by the caller.
|
//
|
// !!!NOTE!!!
|
//
|
// The make_arg_list<> metafunction produces a reversed arg_list,
|
// so pass the arguments to the arg_list constructor reversed in turn.
|
inline ::boost::parameter::aux::empty_arg_list operator()() const
|
{
|
return ::boost::parameter::aux::empty_arg_list();
|
}
|
|
#if (0 < BOOST_PARAMETER_EXPONENTIAL_OVERLOAD_THRESHOLD_ARITY)
|
BOOST_PP_REPEAT(
|
BOOST_PP_MIN(
|
BOOST_PP_INC(BOOST_PARAMETER_MAX_ARITY)
|
, BOOST_PARAMETER_EXPONENTIAL_OVERLOAD_THRESHOLD_ARITY
|
)
|
, BOOST_PARAMETER_AUX_PP_BINARY_SEQ_FOR_EACH_Z
|
, (BOOST_PARAMETER_function_call_op_overload_R)(_)
|
)
|
#if ( \
|
BOOST_PARAMETER_EXPONENTIAL_OVERLOAD_THRESHOLD_ARITY < \
|
BOOST_PARAMETER_MAX_ARITY \
|
)
|
#define BOOST_PP_ITERATION_PARAMS_1 \
|
(3,( \
|
BOOST_PARAMETER_EXPONENTIAL_OVERLOAD_THRESHOLD_ARITY \
|
, BOOST_PARAMETER_MAX_ARITY \
|
, <boost/parameter/aux_/preprocessor/overloads.hpp> \
|
))
|
#include BOOST_PP_ITERATE()
|
#endif
|
#else // (0 == BOOST_PARAMETER_EXPONENTIAL_OVERLOAD_THRESHOLD_ARITY)
|
template <typename A0>
|
inline typename ::boost::mpl::first<
|
typename ::boost::parameter::aux::make_arg_list<
|
::boost::parameter::aux::item<
|
PS0,A0
|
>
|
, deduced_list
|
, ::boost::parameter::aux::tag_keyword_arg_ref
|
>::type
|
>::type
|
operator()(A0& a0) const
|
{
|
typedef typename ::boost::parameter::aux::make_arg_list<
|
::boost::parameter::aux::item<
|
PS0,A0
|
>
|
, deduced_list
|
, ::boost::parameter::aux::tag_keyword_arg_ref
|
>::type result;
|
|
typedef typename ::boost::mpl::first<result>::type result_type;
|
typedef typename ::boost::mpl::second<result>::type error;
|
error();
|
|
return result_type(
|
a0
|
// , void_(), void_(), void_() ...
|
BOOST_PP_ENUM_TRAILING_PARAMS(
|
BOOST_PP_SUB(BOOST_PARAMETER_COMPOSE_MAX_ARITY, 1)
|
, ::boost::parameter::aux::void_reference() BOOST_PP_INTERCEPT
|
)
|
);
|
}
|
|
template <typename A0, typename A1>
|
inline typename ::boost::mpl::first<
|
typename ::boost::parameter::aux::make_arg_list<
|
::boost::parameter::aux::item<
|
PS0,A0
|
, ::boost::parameter::aux::item<
|
PS1,A1
|
>
|
>
|
, deduced_list
|
, ::boost::parameter::aux::tag_keyword_arg_ref
|
>::type
|
>::type
|
operator()(A0& a0, A1& a1) const
|
{
|
typedef typename ::boost::parameter::aux::make_arg_list<
|
::boost::parameter::aux::item<
|
PS0,A0
|
, ::boost::parameter::aux::item<
|
PS1,A1
|
>
|
>
|
, deduced_list
|
, ::boost::parameter::aux::tag_keyword_arg
|
>::type result;
|
|
typedef typename ::boost::mpl::first<result>::type result_type;
|
typedef typename ::boost::mpl::second<result>::type error;
|
error();
|
|
return result_type(
|
a1
|
, a0
|
// , void_(), void_() ...
|
BOOST_PP_ENUM_TRAILING_PARAMS(
|
BOOST_PP_SUB(BOOST_PARAMETER_COMPOSE_MAX_ARITY, 2)
|
, ::boost::parameter::aux::void_reference() BOOST_PP_INTERCEPT
|
)
|
);
|
}
|
|
#if (2 < BOOST_PARAMETER_MAX_ARITY)
|
// Higher arities are handled by the preprocessor
|
#define BOOST_PP_ITERATION_PARAMS_1 \
|
(3,( \
|
3 \
|
, BOOST_PARAMETER_MAX_ARITY \
|
, <boost/parameter/aux_/preprocessor/overloads.hpp> \
|
))
|
#include BOOST_PP_ITERATE()
|
#endif
|
#endif // exponential overloads
|
};
|
}} // namespace boost::parameter
|
|
#include <boost/parameter/aux_/preprocessor/no_perfect_forwarding_end.hpp>
|
|
#endif // BOOST_PARAMETER_HAS_PERFECT_FORWARDING
|
#endif // include guard
|
