| // 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_PARAMETER_AUX_PACK_MAKE_PARAMETER_SPEC_ITEMS_HPP |
| #define BOOST_PARAMETER_AUX_PACK_MAKE_PARAMETER_SPEC_ITEMS_HPP |
| |
| namespace boost { namespace parameter { namespace aux { |
| |
| // This recursive metafunction forwards successive elements of |
| // parameters::parameter_spec to make_deduced_items<>. |
| // -- Cromwell D. Enage |
| template <typename SpecSeq> |
| struct make_deduced_list; |
| |
| // Helper for match_parameters_base_cond<...>, below. |
| template <typename ArgumentPackAndError, typename SpecSeq> |
| struct match_parameters_base_cond_helper; |
| |
| // Helper metafunction for make_parameter_spec_items<...>, below. |
| template <typename SpecSeq, typename ...Args> |
| struct make_parameter_spec_items_helper; |
| }}} // namespace boost::parameter::aux |
| |
| #include <boost/parameter/aux_/void.hpp> |
| |
| namespace boost { namespace parameter { namespace aux { |
| |
| template <typename SpecSeq> |
| struct make_parameter_spec_items_helper<SpecSeq> |
| { |
| typedef ::boost::parameter::void_ type; |
| }; |
| }}} // namespace boost::parameter::aux |
| |
| #include <boost/parameter/aux_/pack/make_deduced_items.hpp> |
| |
| #if defined(BOOST_PARAMETER_CAN_USE_MP11) |
| #include <boost/mp11/list.hpp> |
| #else |
| #include <boost/mpl/front.hpp> |
| #include <boost/mpl/pop_front.hpp> |
| #endif |
| |
| namespace boost { namespace parameter { namespace aux { |
| |
| template <typename SpecSeq> |
| struct make_deduced_list_not_empty |
| : ::boost::parameter::aux::make_deduced_items< |
| #if defined(BOOST_PARAMETER_CAN_USE_MP11) |
| ::boost::mp11::mp_front<SpecSeq> |
| #else |
| typename ::boost::mpl::front<SpecSeq>::type |
| #endif |
| , ::boost::parameter::aux::make_deduced_list< |
| #if defined(BOOST_PARAMETER_CAN_USE_MP11) |
| ::boost::mp11::mp_pop_front<SpecSeq> |
| #else |
| typename ::boost::mpl::pop_front<SpecSeq>::type |
| #endif |
| > |
| > |
| { |
| }; |
| }}} // namespace boost::parameter::aux |
| |
| #if defined(BOOST_PARAMETER_CAN_USE_MP11) |
| #include <boost/mp11/utility.hpp> |
| #else |
| #include <boost/mpl/eval_if.hpp> |
| #include <boost/mpl/empty.hpp> |
| #include <boost/mpl/identity.hpp> |
| #endif |
| |
| namespace boost { namespace parameter { namespace aux { |
| |
| template <typename SpecSeq> |
| struct make_deduced_list |
| #if defined(BOOST_PARAMETER_CAN_USE_MP11) |
| : ::boost::mp11::mp_if< |
| ::boost::mp11::mp_empty<SpecSeq> |
| , ::boost::mp11::mp_identity< ::boost::parameter::void_> |
| #else |
| : ::boost::mpl::eval_if< |
| ::boost::mpl::empty<SpecSeq> |
| , ::boost::mpl::identity< ::boost::parameter::void_> |
| #endif |
| , ::boost::parameter::aux::make_deduced_list_not_empty<SpecSeq> |
| > |
| { |
| }; |
| }}} // namespace boost::parameter::aux |
| |
| #if defined(BOOST_PARAMETER_CAN_USE_MP11) |
| #include <type_traits> |
| #else |
| #include <boost/mpl/bool.hpp> |
| #include <boost/mpl/pair.hpp> |
| #include <boost/mpl/if.hpp> |
| #include <boost/type_traits/is_same.hpp> |
| |
| namespace boost { namespace parameter { namespace aux { |
| |
| template <typename ArgumentPackAndError> |
| struct is_arg_pack_error_void |
| : ::boost::mpl::if_< |
| ::boost::is_same< |
| typename ::boost::mpl::second<ArgumentPackAndError>::type |
| , ::boost::parameter::void_ |
| > |
| , ::boost::mpl::true_ |
| , ::boost::mpl::false_ |
| >::type |
| { |
| }; |
| }}} // namespace boost::parameter::aux |
| |
| #endif // BOOST_PARAMETER_CAN_USE_MP11 |
| |
| namespace boost { namespace parameter { namespace aux { |
| |
| // Checks if the arguments match the criteria of overload resolution. |
| // If NamedList satisfies the PS0, PS1, ..., this is a metafunction |
| // returning parameters. Otherwise it has no nested ::type. |
| template <typename ArgumentPackAndError, typename SpecSeq> |
| #if defined(BOOST_PARAMETER_CAN_USE_MP11) |
| using match_parameters_base_cond = ::boost::mp11::mp_if< |
| ::boost::mp11::mp_empty<SpecSeq> |
| , ::std::is_same< |
| ::boost::mp11::mp_at_c<ArgumentPackAndError,1> |
| , ::boost::parameter::void_ |
| > |
| , ::boost::parameter::aux::match_parameters_base_cond_helper< |
| ArgumentPackAndError |
| , SpecSeq |
| > |
| >; |
| #else |
| struct match_parameters_base_cond |
| : ::boost::mpl::eval_if< |
| ::boost::mpl::empty<SpecSeq> |
| , ::boost::parameter::aux |
| ::is_arg_pack_error_void<ArgumentPackAndError> |
| , ::boost::parameter::aux::match_parameters_base_cond_helper< |
| ArgumentPackAndError |
| , SpecSeq |
| > |
| > |
| { |
| }; |
| #endif // BOOST_PARAMETER_CAN_USE_MP11 |
| }}} // namespace boost::parameter::aux |
| |
| #include <boost/parameter/aux_/pack/satisfies.hpp> |
| |
| namespace boost { namespace parameter { namespace aux { |
| |
| template <typename ArgumentPackAndError, typename SpecSeq> |
| struct match_parameters_base_cond_helper |
| #if defined(BOOST_PARAMETER_CAN_USE_MP11) |
| : ::boost::mp11::mp_if< |
| #else |
| : ::boost::mpl::eval_if< |
| #endif |
| ::boost::parameter::aux::satisfies_requirements_of< |
| #if defined(BOOST_PARAMETER_CAN_USE_MP11) |
| ::boost::mp11::mp_at_c<ArgumentPackAndError,0> |
| , ::boost::mp11::mp_front<SpecSeq> |
| #else |
| typename ::boost::mpl::first<ArgumentPackAndError>::type |
| , typename ::boost::mpl::front<SpecSeq>::type |
| #endif |
| > |
| , ::boost::parameter::aux::match_parameters_base_cond< |
| ArgumentPackAndError |
| #if defined(BOOST_PARAMETER_CAN_USE_MP11) |
| , ::boost::mp11::mp_pop_front<SpecSeq> |
| #else |
| , typename ::boost::mpl::pop_front<SpecSeq>::type |
| #endif |
| > |
| #if defined(BOOST_PARAMETER_CAN_USE_MP11) |
| , ::boost::mp11::mp_false |
| #else |
| , ::boost::mpl::false_ |
| #endif |
| > |
| { |
| }; |
| |
| // This parameters item chaining metafunction class does not require |
| // the lengths of the SpecSeq and of Args parameter pack to match. |
| // Used by argument_pack to build the items in the resulting arg_list. |
| // -- Cromwell D. Enage |
| template <typename SpecSeq, typename ...Args> |
| #if defined(BOOST_PARAMETER_CAN_USE_MP11) |
| using make_parameter_spec_items = ::boost::mp11::mp_if< |
| ::boost::mp11::mp_empty<SpecSeq> |
| , ::boost::mp11::mp_identity< ::boost::parameter::void_> |
| , ::boost::parameter::aux |
| ::make_parameter_spec_items_helper<SpecSeq,Args...> |
| >; |
| #else |
| struct make_parameter_spec_items |
| : ::boost::mpl::eval_if< |
| ::boost::mpl::empty<SpecSeq> |
| , ::boost::mpl::identity< ::boost::parameter::void_> |
| , ::boost::parameter::aux |
| ::make_parameter_spec_items_helper<SpecSeq,Args...> |
| > |
| { |
| }; |
| #endif |
| }}} // namespace boost::parameter::aux |
| |
| #include <boost/parameter/aux_/pack/make_items.hpp> |
| |
| namespace boost { namespace parameter { namespace aux { |
| |
| template <typename SpecSeq, typename A0, typename ...Args> |
| struct make_parameter_spec_items_helper<SpecSeq,A0,Args...> |
| : ::boost::parameter::aux::make_items< |
| #if defined(BOOST_PARAMETER_CAN_USE_MP11) |
| ::boost::mp11::mp_front<SpecSeq> |
| #else |
| typename ::boost::mpl::front<SpecSeq>::type |
| #endif |
| , A0 |
| , ::boost::parameter::aux::make_parameter_spec_items< |
| #if defined(BOOST_PARAMETER_CAN_USE_MP11) |
| ::boost::mp11::mp_pop_front<SpecSeq> |
| #else |
| typename ::boost::mpl::pop_front<SpecSeq>::type |
| #endif |
| , Args... |
| > |
| > |
| { |
| }; |
| }}} // namespace boost::parameter::aux |
| |
| #endif // include guard |
| |
