123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160 |
- // Copyright David Abrahams 2005.
- // 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_TAG_DWA2005610_HPP
- #define BOOST_PARAMETER_AUX_TAG_DWA2005610_HPP
- #include <boost/parameter/aux_/unwrap_cv_reference.hpp>
- #include <boost/parameter/aux_/tagged_argument.hpp>
- #include <boost/parameter/config.hpp>
- #if defined(BOOST_PARAMETER_CAN_USE_MP11) && \
- !BOOST_WORKAROUND(BOOST_MSVC, >= 1910)
- // MSVC-14.1+ assigns rvalue references to tagged_argument instances
- // instead of tagged_argument_rref instances with this code.
- #include <boost/mp11/integral.hpp>
- #include <boost/mp11/utility.hpp>
- #include <type_traits>
- namespace boost { namespace parameter { namespace aux {
- template <typename Keyword, typename Arg>
- struct tag_if_lvalue_reference
- {
- using type = ::boost::parameter::aux::tagged_argument_list_of_1<
- ::boost::parameter::aux::tagged_argument<
- Keyword
- , typename ::boost::parameter::aux
- ::unwrap_cv_reference<Arg>::type
- >
- >;
- };
- template <typename Keyword, typename Arg>
- struct tag_if_scalar
- {
- using type = ::boost::parameter::aux::tagged_argument_list_of_1<
- ::boost::parameter::aux
- ::tagged_argument<Keyword,typename ::std::add_const<Arg>::type>
- >;
- };
- template <typename Keyword, typename Arg>
- using tag_if_otherwise = ::boost::mp11::mp_if<
- ::std::is_scalar<typename ::std::remove_const<Arg>::type>
- , ::boost::parameter::aux::tag_if_scalar<Keyword,Arg>
- , ::boost::mp11::mp_identity<
- ::boost::parameter::aux::tagged_argument_list_of_1<
- ::boost::parameter::aux::tagged_argument_rref<Keyword,Arg>
- >
- >
- >;
- template <typename Keyword, typename Arg>
- using tag = ::boost::mp11::mp_if<
- ::boost::mp11::mp_if<
- ::std::is_lvalue_reference<Arg>
- , ::boost::mp11::mp_true
- , ::boost::parameter::aux::is_cv_reference_wrapper<Arg>
- >
- , ::boost::parameter::aux::tag_if_lvalue_reference<Keyword,Arg>
- , ::boost::parameter::aux::tag_if_otherwise<Keyword,Arg>
- >;
- }}} // namespace boost::parameter::aux_
- #elif defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING)
- #include <boost/mpl/bool.hpp>
- #include <boost/mpl/if.hpp>
- #include <boost/mpl/eval_if.hpp>
- #include <boost/mpl/identity.hpp>
- #include <boost/type_traits/add_const.hpp>
- #include <boost/type_traits/is_scalar.hpp>
- #include <boost/type_traits/is_lvalue_reference.hpp>
- #include <boost/type_traits/remove_const.hpp>
- namespace boost { namespace parameter { namespace aux {
- template <typename Keyword, typename ActualArg>
- struct tag
- {
- typedef typename ::boost::parameter::aux
- ::unwrap_cv_reference<ActualArg>::type Arg;
- typedef typename ::boost::add_const<Arg>::type ConstArg;
- typedef typename ::boost::remove_const<Arg>::type MutArg;
- typedef typename ::boost::mpl::eval_if<
- typename ::boost::mpl::if_<
- ::boost::is_lvalue_reference<ActualArg>
- , ::boost::mpl::true_
- , ::boost::parameter::aux::is_cv_reference_wrapper<ActualArg>
- >::type
- , ::boost::mpl::identity<
- #if defined(BOOST_PARAMETER_CAN_USE_MP11)
- ::boost::parameter::aux::tagged_argument_list_of_1<
- #endif
- ::boost::parameter::aux::tagged_argument<Keyword,Arg>
- #if defined(BOOST_PARAMETER_CAN_USE_MP11)
- >
- #endif
- >
- , ::boost::mpl::if_<
- ::boost::is_scalar<MutArg>
- #if defined(BOOST_PARAMETER_CAN_USE_MP11)
- , ::boost::parameter::aux::tagged_argument_list_of_1<
- ::boost::parameter::aux::tagged_argument<Keyword,ConstArg>
- >
- , ::boost::parameter::aux::tagged_argument_list_of_1<
- ::boost::parameter::aux::tagged_argument_rref<Keyword,Arg>
- >
- #else
- , ::boost::parameter::aux::tagged_argument<Keyword,ConstArg>
- , ::boost::parameter::aux::tagged_argument_rref<Keyword,Arg>
- #endif
- >
- >::type type;
- };
- }}} // namespace boost::parameter::aux_
- #else // !defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING)
- namespace boost { namespace parameter { namespace aux {
- template <
- typename Keyword
- , typename Arg
- #if BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564))
- , typename = typename ::boost::parameter::aux
- ::is_cv_reference_wrapper<Arg>::type
- #endif
- >
- struct tag
- {
- typedef ::boost::parameter::aux::tagged_argument<
- Keyword
- , typename ::boost::parameter::aux::unwrap_cv_reference<Arg>::type
- > type;
- };
- }}} // namespace boost::parameter::aux_
- #if BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564))
- #include <boost/mpl/bool.hpp>
- #include <boost/type_traits/remove_reference.hpp>
- namespace boost { namespace parameter { namespace aux {
- template <typename Keyword, typename Arg>
- struct tag<Keyword,Arg,::boost::mpl::false_>
- {
- typedef ::boost::parameter::aux::tagged_argument<
- Keyword
- , typename ::boost::remove_reference<Arg>::type
- > type;
- };
- }}} // namespace boost::parameter::aux_
- #endif // Borland workarounds needed.
- #endif // MP11 or perfect forwarding support
- #endif // include guard
|