e5337e2503
Decouple the compose() function and the BOOST_PARAMETER_NO_SPEC_* code generation macros from BOOST_PARAMETER_MAX_ARITY for older compilers so their generated functions can take in more arguments.
315 lines
11 KiB
C++
315 lines
11 KiB
C++
// 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)
|
|
|
|
#include <boost/parameter/config.hpp>
|
|
|
|
#if ( \
|
|
!defined(__MINGW32__) && \
|
|
defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING) \
|
|
) || defined(BOOST_MSVC)
|
|
#if (BOOST_PARAMETER_MAX_ARITY < 8)
|
|
#error Define BOOST_PARAMETER_MAX_ARITY as 8 or greater.
|
|
#endif
|
|
#else // mingw, or no perfect forwarding support and not msvc
|
|
#if (BOOST_PARAMETER_COMPOSE_MAX_ARITY < 8)
|
|
#error Define BOOST_PARAMETER_COMPOSE_MAX_ARITY as 8 or greater.
|
|
#endif
|
|
#endif // msvc, or perfect forwarding support and not mingw
|
|
|
|
#include <boost/parameter/name.hpp>
|
|
|
|
namespace test {
|
|
|
|
BOOST_PARAMETER_NAME((_lrc0, kw) in(lrc0))
|
|
BOOST_PARAMETER_NAME((_lr0, kw) in_out(lr0))
|
|
BOOST_PARAMETER_NAME((_rrc0, kw) in(rrc0))
|
|
#if defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING)
|
|
BOOST_PARAMETER_NAME((_rr0, kw) consume(rr0))
|
|
#else
|
|
BOOST_PARAMETER_NAME((_rr0, kw) rr0)
|
|
#endif
|
|
BOOST_PARAMETER_NAME((_lrc1, kw) in(lrc1))
|
|
BOOST_PARAMETER_NAME((_lr1, kw) out(lr1))
|
|
BOOST_PARAMETER_NAME((_rrc1, kw) in(rrc1))
|
|
BOOST_PARAMETER_NAME((_rr1, kw) rr1)
|
|
} // namespace test
|
|
|
|
#include <boost/mpl/bool.hpp>
|
|
#include <boost/mpl/placeholders.hpp>
|
|
#include <boost/mpl/if.hpp>
|
|
#include <boost/core/lightweight_test.hpp>
|
|
#include <boost/type_traits/is_convertible.hpp>
|
|
#include "evaluate_category.hpp"
|
|
|
|
#if !defined(__MINGW32__) && defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING)
|
|
#include <boost/parameter/preprocessor.hpp>
|
|
#include <utility>
|
|
#elif defined(BOOST_MSVC)
|
|
#include <boost/parameter/preprocessor.hpp>
|
|
#else
|
|
#include <boost/parameter/preprocessor_no_spec.hpp>
|
|
#endif
|
|
|
|
namespace test {
|
|
|
|
struct C
|
|
{
|
|
#if ( \
|
|
!defined(__MINGW32__) && \
|
|
defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING) \
|
|
) || defined(BOOST_MSVC)
|
|
typedef boost::mpl::if_<
|
|
boost::is_convertible<boost::mpl::_,std::bitset<1> >
|
|
, boost::mpl::true_
|
|
, boost::mpl::false_
|
|
> bs0_pred;
|
|
typedef boost::mpl::if_<
|
|
boost::is_convertible<boost::mpl::_,std::bitset<2> >
|
|
, boost::mpl::true_
|
|
, boost::mpl::false_
|
|
> bs1_pred;
|
|
typedef boost::mpl::if_<
|
|
boost::is_convertible<boost::mpl::_,std::bitset<3> >
|
|
, boost::mpl::true_
|
|
, boost::mpl::false_
|
|
> bs2_pred;
|
|
typedef boost::mpl::if_<
|
|
boost::is_convertible<boost::mpl::_,std::bitset<4> >
|
|
, boost::mpl::true_
|
|
, boost::mpl::false_
|
|
> bs3_pred;
|
|
typedef boost::mpl::if_<
|
|
boost::is_convertible<boost::mpl::_,std::bitset<5> >
|
|
, boost::mpl::true_
|
|
, boost::mpl::false_
|
|
> bs4_pred;
|
|
typedef boost::mpl::if_<
|
|
boost::is_convertible<boost::mpl::_,std::bitset<6> >
|
|
, boost::mpl::true_
|
|
, boost::mpl::false_
|
|
> bs5_pred;
|
|
typedef boost::mpl::if_<
|
|
boost::is_convertible<boost::mpl::_,std::bitset<7> >
|
|
, boost::mpl::true_
|
|
, boost::mpl::false_
|
|
> bs6_pred;
|
|
typedef boost::mpl::if_<
|
|
boost::is_convertible<boost::mpl::_,std::bitset<8> >
|
|
, boost::mpl::true_
|
|
, boost::mpl::false_
|
|
> bs7_pred;
|
|
|
|
BOOST_PARAMETER_CONST_FUNCTION_CALL_OPERATOR((bool), kw,
|
|
(deduced
|
|
(required
|
|
(lrc0, *(bs0_pred))
|
|
(lr0, *(bs1_pred))
|
|
(rrc0, *(bs2_pred))
|
|
(rr0, *(bs3_pred))
|
|
(lrc1, *(bs4_pred))
|
|
)
|
|
(optional
|
|
(lr1, *(bs5_pred), test::lvalue_bitset<5>())
|
|
(rrc1, *(bs6_pred), test::rvalue_const_bitset<6>())
|
|
(rr1, *(bs7_pred), test::rvalue_bitset<7>())
|
|
)
|
|
)
|
|
)
|
|
#else
|
|
BOOST_PARAMETER_NO_SPEC_CONST_FUNCTION_CALL_OPERATOR((bool))
|
|
#endif // msvc, or perfect forwarding support and not mingw
|
|
{
|
|
#if ( \
|
|
!defined(__MINGW32__) && \
|
|
defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING) \
|
|
) || defined(BOOST_MSVC)
|
|
BOOST_TEST_EQ(
|
|
test::passed_by_lvalue_reference_to_const
|
|
, test::U::evaluate_category<0>(lrc0)
|
|
);
|
|
BOOST_TEST_EQ(
|
|
test::passed_by_lvalue_reference
|
|
, test::U::evaluate_category<1>(lr0)
|
|
);
|
|
BOOST_TEST_EQ(
|
|
test::passed_by_lvalue_reference_to_const
|
|
, test::U::evaluate_category<4>(lrc1)
|
|
);
|
|
BOOST_TEST_EQ(
|
|
test::passed_by_lvalue_reference
|
|
, test::U::evaluate_category<5>(lr1)
|
|
);
|
|
#else // mingw, or no perfect forwarding support and not msvc
|
|
BOOST_TEST_EQ(
|
|
test::passed_by_lvalue_reference_to_const
|
|
, test::U::evaluate_category<0>(args[test::_lrc0])
|
|
);
|
|
BOOST_TEST_EQ(
|
|
test::passed_by_lvalue_reference
|
|
, test::U::evaluate_category<1>(args[test::_lr0])
|
|
);
|
|
BOOST_TEST_EQ(
|
|
test::passed_by_lvalue_reference_to_const
|
|
, test::U::evaluate_category<4>(args[test::_lrc1])
|
|
);
|
|
BOOST_TEST_EQ(
|
|
test::passed_by_lvalue_reference
|
|
, test::U::evaluate_category<5>(
|
|
args[test::_lr1 | test::lvalue_bitset<5>()]
|
|
)
|
|
);
|
|
#endif // msvc, or perfect forwarding support and not mingw
|
|
#if defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING)
|
|
#if defined(__MINGW32__)
|
|
BOOST_TEST_EQ(
|
|
test::passed_by_rvalue_reference_to_const
|
|
, test::U::evaluate_category<2>(args[test::_rrc0])
|
|
);
|
|
BOOST_TEST_EQ(
|
|
test::passed_by_rvalue_reference
|
|
, test::U::evaluate_category<3>(args[test::_rr0])
|
|
);
|
|
BOOST_TEST_EQ(
|
|
test::passed_by_rvalue_reference_to_const
|
|
, test::U::evaluate_category<6>(
|
|
args[test::_rrc1 | test::rvalue_const_bitset<6>()]
|
|
)
|
|
);
|
|
BOOST_TEST_EQ(
|
|
test::passed_by_rvalue_reference
|
|
, test::U::evaluate_category<7>(
|
|
args[test::_rr1 | test::rvalue_bitset<7>()]
|
|
)
|
|
);
|
|
#else // !defined(__MINGW32__)
|
|
BOOST_TEST_EQ(
|
|
test::passed_by_rvalue_reference_to_const
|
|
, test::U::evaluate_category<2>(std::forward<rrc0_type>(rrc0))
|
|
);
|
|
BOOST_TEST_EQ(
|
|
test::passed_by_rvalue_reference
|
|
, test::U::evaluate_category<3>(std::forward<rr0_type>(rr0))
|
|
);
|
|
BOOST_TEST_EQ(
|
|
test::passed_by_rvalue_reference_to_const
|
|
, test::U::evaluate_category<6>(std::forward<rrc1_type>(rrc1))
|
|
);
|
|
BOOST_TEST_EQ(
|
|
test::passed_by_rvalue_reference
|
|
, test::U::evaluate_category<7>(std::forward<rr1_type>(rr1))
|
|
);
|
|
#endif // __MINGW32__
|
|
#else // !defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING)
|
|
#if defined(BOOST_MSVC)
|
|
BOOST_TEST_EQ(
|
|
test::passed_by_lvalue_reference_to_const
|
|
, test::U::evaluate_category<2>(rrc0)
|
|
);
|
|
BOOST_TEST_EQ(
|
|
test::passed_by_lvalue_reference_to_const
|
|
, test::U::evaluate_category<3>(rr0)
|
|
);
|
|
BOOST_TEST_EQ(
|
|
test::passed_by_lvalue_reference_to_const
|
|
, test::U::evaluate_category<6>(rrc1)
|
|
);
|
|
BOOST_TEST_EQ(
|
|
test::passed_by_lvalue_reference_to_const
|
|
, test::U::evaluate_category<7>(rr1)
|
|
);
|
|
#else // !defined(BOOST_MSVC)
|
|
BOOST_TEST_EQ(
|
|
test::passed_by_lvalue_reference_to_const
|
|
, test::U::evaluate_category<2>(args[test::_rrc0])
|
|
);
|
|
BOOST_TEST_EQ(
|
|
test::passed_by_lvalue_reference_to_const
|
|
, test::U::evaluate_category<3>(args[test::_rr0])
|
|
);
|
|
BOOST_TEST_EQ(
|
|
test::passed_by_lvalue_reference_to_const
|
|
, test::U::evaluate_category<6>(
|
|
args[test::_rrc1 | test::rvalue_const_bitset<6>()]
|
|
)
|
|
);
|
|
BOOST_TEST_EQ(
|
|
test::passed_by_lvalue_reference_to_const
|
|
, test::U::evaluate_category<7>(
|
|
args[test::_rr1 | test::rvalue_bitset<7>()]
|
|
)
|
|
);
|
|
#endif // BOOST_MSVC
|
|
#endif // BOOST_PARAMETER_HAS_PERFECT_FORWARDING
|
|
|
|
return true;
|
|
}
|
|
};
|
|
} // namespace test
|
|
|
|
int main()
|
|
{
|
|
test::C cp0;
|
|
test::C cp1;
|
|
|
|
#if ( \
|
|
!defined(__MINGW32__) && \
|
|
defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING) \
|
|
) || defined(BOOST_MSVC)
|
|
cp0(
|
|
test::lvalue_const_bitset<4>()
|
|
, test::lvalue_const_bitset<0>()
|
|
, test::lvalue_bitset<1>()
|
|
, test::rvalue_const_bitset<2>()
|
|
, test::rvalue_bitset<3>()
|
|
);
|
|
cp0(
|
|
test::lvalue_const_bitset<4>()
|
|
, test::lvalue_const_bitset<0>()
|
|
, test::rvalue_const_bitset<6>()
|
|
, test::lvalue_bitset<1>()
|
|
, test::rvalue_const_bitset<2>()
|
|
, test::rvalue_bitset<3>()
|
|
);
|
|
cp1(
|
|
test::lvalue_bitset<1>()
|
|
, test::rvalue_const_bitset<2>()
|
|
, test::rvalue_bitset<3>()
|
|
, test::lvalue_const_bitset<4>()
|
|
, test::lvalue_bitset<5>()
|
|
, test::rvalue_const_bitset<6>()
|
|
, test::rvalue_bitset<7>()
|
|
, test::lvalue_const_bitset<0>()
|
|
);
|
|
#else // mingw, or no perfect forwarding support and not msvc
|
|
cp0(
|
|
test::_lrc1 = test::lvalue_const_bitset<4>()
|
|
, test::_lrc0 = test::lvalue_const_bitset<0>()
|
|
, test::_lr0 = test::lvalue_bitset<1>()
|
|
, test::_rrc0 = test::rvalue_const_bitset<2>()
|
|
, test::_rr0 = test::rvalue_bitset<3>()
|
|
);
|
|
cp0(
|
|
test::_lrc1 = test::lvalue_const_bitset<4>()
|
|
, test::_lrc0 = test::lvalue_const_bitset<0>()
|
|
, test::_rrc1 = test::rvalue_const_bitset<6>()
|
|
, test::_lr0 = test::lvalue_bitset<1>()
|
|
, test::_rrc0 = test::rvalue_const_bitset<2>()
|
|
, test::_rr0 = test::rvalue_bitset<3>()
|
|
);
|
|
cp1(
|
|
test::_lr0 = test::lvalue_bitset<1>()
|
|
, test::_rrc0 = test::rvalue_const_bitset<2>()
|
|
, test::_rr0 = test::rvalue_bitset<3>()
|
|
, test::_lrc1 = test::lvalue_const_bitset<4>()
|
|
, test::_lr1 = test::lvalue_bitset<5>()
|
|
, test::_rrc1 = test::rvalue_const_bitset<6>()
|
|
, test::_rr1 = test::rvalue_bitset<7>()
|
|
, test::_lrc0 = test::lvalue_const_bitset<0>()
|
|
);
|
|
#endif // msvc, or perfect forwarding support and not mingw
|
|
return boost::report_errors();
|
|
}
|
|
|