| // Copyright Cromwell D. Enage 2018. |
| // 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(BOOST_PARAMETER_HAS_PERFECT_FORWARDING) && \ |
| (BOOST_PARAMETER_COMPOSE_MAX_ARITY < 8) |
| #error Define BOOST_PARAMETER_COMPOSE_MAX_ARITY as 8 or greater. |
| #endif |
| |
| #include <boost/parameter/name.hpp> |
| |
| namespace test { |
| |
| BOOST_PARAMETER_NAME((_lrc0, kw0) in(lrc0)) |
| BOOST_PARAMETER_NAME((_lr0, kw1) in_out(lr0)) |
| BOOST_PARAMETER_NAME((_rrc0, kw2) in(rrc0)) |
| #if defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING) |
| BOOST_PARAMETER_NAME((_rr0, kw3) consume(rr0)) |
| #else |
| BOOST_PARAMETER_NAME((_rr0, kw3) rr0) |
| #endif |
| BOOST_PARAMETER_NAME((_lrc1, kw4) in(lrc1)) |
| BOOST_PARAMETER_NAME((_lr1, kw5) out(lr1)) |
| BOOST_PARAMETER_NAME((_rrc1, kw6) in(rrc1)) |
| BOOST_PARAMETER_NAME((_rr1, kw7) rr1) |
| } // namespace test |
| |
| #include <boost/parameter/preprocessor_no_spec.hpp> |
| #include <boost/parameter/value_type.hpp> |
| #include <boost/core/lightweight_test.hpp> |
| #include <boost/type_traits/is_scalar.hpp> |
| #include <boost/type_traits/remove_const.hpp> |
| #include "evaluate_category.hpp" |
| |
| namespace test { |
| |
| BOOST_PARAMETER_NO_SPEC_FUNCTION((bool), evaluate) |
| { |
| BOOST_TEST(( |
| test::passed_by_lvalue_reference_to_const == test::A< |
| typename boost::remove_const< |
| typename boost::parameter::value_type< |
| Args |
| , test::kw0::lrc0 |
| >::type |
| >::type |
| >::evaluate_category(args[test::_lrc0]) |
| )); |
| BOOST_TEST(( |
| test::passed_by_lvalue_reference == test::A< |
| typename boost::remove_const< |
| typename boost::parameter::value_type< |
| Args |
| , test::kw1::lr0 |
| >::type |
| >::type |
| >::evaluate_category(args[test::_lr0]) |
| )); |
| |
| #if defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING) |
| if ( |
| boost::is_scalar< |
| typename boost::remove_const< |
| typename boost::parameter::value_type< |
| Args |
| , test::kw2::rrc0 |
| >::type |
| >::type |
| >::value |
| ) |
| { |
| BOOST_TEST(( |
| test::passed_by_lvalue_reference_to_const == test::A< |
| typename boost::remove_const< |
| typename boost::parameter::value_type< |
| Args |
| , test::kw2::rrc0 |
| >::type |
| >::type |
| >::evaluate_category(args[test::_rrc0]) |
| )); |
| BOOST_TEST(( |
| test::passed_by_lvalue_reference_to_const == test::A< |
| typename boost::remove_const< |
| typename boost::parameter::value_type< |
| Args |
| , test::kw3::rr0 |
| >::type |
| >::type |
| >::evaluate_category(args[test::_rr0]) |
| )); |
| } |
| else // rrc0's value type isn't scalar |
| { |
| BOOST_TEST(( |
| test::passed_by_rvalue_reference_to_const == test::A< |
| typename boost::remove_const< |
| typename boost::parameter::value_type< |
| Args |
| , test::kw2::rrc0 |
| >::type |
| >::type |
| >::evaluate_category(args[test::_rrc0]) |
| )); |
| BOOST_TEST(( |
| test::passed_by_rvalue_reference == test::A< |
| typename boost::remove_const< |
| typename boost::parameter::value_type< |
| Args |
| , test::kw3::rr0 |
| >::type |
| >::type |
| >::evaluate_category(args[test::_rr0]) |
| )); |
| } |
| #else // !defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING) |
| BOOST_TEST(( |
| test::passed_by_lvalue_reference_to_const == test::A< |
| typename boost::remove_const< |
| typename boost::parameter::value_type< |
| Args |
| , test::kw2::rrc0 |
| >::type |
| >::type |
| >::evaluate_category(args[test::_rrc0]) |
| )); |
| BOOST_TEST(( |
| test::passed_by_lvalue_reference_to_const == test::A< |
| typename boost::remove_const< |
| typename boost::parameter::value_type< |
| Args |
| , test::kw3::rr0 |
| >::type |
| >::type |
| >::evaluate_category(args[test::_rr0]) |
| )); |
| #endif // BOOST_PARAMETER_HAS_PERFECT_FORWARDING |
| |
| return true; |
| } |
| } // namespace test |
| |
| #include <boost/mpl/bool.hpp> |
| #include <boost/mpl/if.hpp> |
| |
| #if !defined(BOOST_NO_SFINAE) |
| #include <boost/parameter/aux_/preprocessor/nullptr.hpp> |
| #include <boost/core/enable_if.hpp> |
| #include <boost/type_traits/is_base_of.hpp> |
| #endif |
| |
| namespace test { |
| |
| char const* baz = "baz"; |
| |
| struct B |
| { |
| #if !defined(LIBS_PARAMETER_TEST_COMPILE_FAILURE_VENDOR_SPECIFIC) && \ |
| BOOST_WORKAROUND(BOOST_MSVC, >= 1800) |
| B() |
| { |
| } |
| #endif |
| |
| template <typename Args> |
| explicit B( |
| Args const& args |
| #if !defined(BOOST_NO_SFINAE) |
| , typename boost::disable_if< |
| typename boost::mpl::if_< |
| boost::is_base_of<B,Args> |
| , boost::mpl::true_ |
| , boost::mpl::false_ |
| >::type |
| >::type* = BOOST_PARAMETER_AUX_PP_NULLPTR |
| #endif // BOOST_NO_SFINAE |
| ) |
| { |
| test::evaluate( |
| test::_lrc0 = args[test::_lrc0] |
| , test::_lr0 = args[test::_lr0] |
| , test::_rrc0 = args[test::_rrc0] |
| , test::_rr0 = args[test::_rr0] |
| ); |
| } |
| |
| BOOST_PARAMETER_NO_SPEC_MEMBER_FUNCTION((bool), static evaluate) |
| { |
| BOOST_TEST(( |
| test::passed_by_lvalue_reference_to_const == test::A< |
| typename boost::remove_const< |
| typename boost::parameter::value_type< |
| Args |
| , test::kw0::lrc0 |
| >::type |
| >::type |
| >::evaluate_category(args[test::_lrc0]) |
| )); |
| BOOST_TEST(( |
| test::passed_by_lvalue_reference == test::A< |
| typename boost::remove_const< |
| typename boost::parameter::value_type< |
| Args |
| , test::kw1::lr0 |
| , char const* |
| >::type |
| >::type |
| >::evaluate_category(args[test::_lr0 | test::baz]) |
| )); |
| BOOST_TEST(( |
| test::passed_by_lvalue_reference_to_const == test::A< |
| typename boost::remove_const< |
| typename boost::parameter::value_type< |
| Args |
| , test::kw2::rrc0 |
| , float |
| >::type |
| >::type |
| >::evaluate_category(args[test::_rrc0 | 0.0f]) |
| )); |
| |
| #if defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING) |
| BOOST_TEST(( |
| test::passed_by_rvalue_reference == test::A< |
| typename boost::remove_const< |
| typename boost::parameter::value_type< |
| Args |
| , test::kw3::rr0 |
| , std::string |
| >::type |
| >::type |
| >::evaluate_category( |
| args[ |
| test::_rr0 | std::string(args[test::_lr0 | test::baz]) |
| ] |
| ) |
| )); |
| #else // !defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING) |
| BOOST_TEST(( |
| test::passed_by_lvalue_reference_to_const == test::A< |
| typename boost::remove_const< |
| typename boost::parameter::value_type< |
| Args |
| , test::kw3::rr0 |
| , std::string |
| >::type |
| >::type |
| >::evaluate_category( |
| args[ |
| test::_rr0 | std::string(args[test::_lr0 | test::baz]) |
| ] |
| ) |
| )); |
| #endif // BOOST_PARAMETER_HAS_PERFECT_FORWARDING |
| |
| return true; |
| } |
| }; |
| |
| struct C : B |
| { |
| #if !defined(LIBS_PARAMETER_TEST_COMPILE_FAILURE_VENDOR_SPECIFIC) && \ |
| BOOST_WORKAROUND(BOOST_MSVC, >= 1800) |
| C() : B() |
| { |
| } |
| #endif |
| |
| BOOST_PARAMETER_NO_SPEC_CONSTRUCTOR(C, (B)) |
| }; |
| |
| struct D |
| { |
| BOOST_PARAMETER_NO_SPEC_NO_BASE_CONSTRUCTOR(D, D::_evaluate) |
| |
| BOOST_PARAMETER_NO_SPEC_CONST_MEMBER_FUNCTION((bool), evaluate_m) |
| { |
| return D::_evaluate(args); |
| } |
| |
| BOOST_PARAMETER_NO_SPEC_CONST_FUNCTION_CALL_OPERATOR((bool)) |
| { |
| return D::_evaluate(args); |
| } |
| |
| private: |
| template <typename Args> |
| static bool _evaluate(Args const& args) |
| { |
| 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>()] |
| ) |
| ); |
| #if defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING) |
| 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(BOOST_PARAMETER_HAS_PERFECT_FORWARDING) |
| 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_PARAMETER_HAS_PERFECT_FORWARDING |
| |
| return true; |
| } |
| }; |
| } // namespace test |
| |
| int main() |
| { |
| test::evaluate( |
| test::_lr0 = test::lvalue_float() |
| , test::_rrc0 = test::rvalue_const_float() |
| , test::_rr0 = test::rvalue_float() |
| , test::_lrc0 = test::lvalue_const_float() |
| ); |
| test::evaluate( |
| test::_lr0 = test::lvalue_char_ptr() |
| , test::_rrc0 = test::rvalue_const_char_ptr() |
| , test::_rr0 = test::rvalue_char_ptr() |
| , test::_lrc0 = test::lvalue_const_char_ptr() |
| ); |
| test::evaluate( |
| test::_lr0 = test::lvalue_str() |
| , test::_rrc0 = test::rvalue_const_str() |
| , test::_rr0 = test::rvalue_str() |
| , test::_lrc0 = test::lvalue_const_str() |
| ); |
| |
| test::C cf1( |
| test::_lr0 = test::lvalue_float() |
| , test::_rrc0 = test::rvalue_const_float() |
| , test::_rr0 = test::rvalue_float() |
| , test::_lrc0 = test::lvalue_const_float() |
| ); |
| test::C cc1( |
| test::_lr0 = test::lvalue_char_ptr() |
| , test::_rrc0 = test::rvalue_const_char_ptr() |
| , test::_rr0 = test::rvalue_char_ptr() |
| , test::_lrc0 = test::lvalue_const_char_ptr() |
| ); |
| test::C cs1( |
| test::_lr0 = test::lvalue_str() |
| , test::_rrc0 = test::rvalue_const_str() |
| , test::_rr0 = test::rvalue_str() |
| , test::_lrc0 = test::lvalue_const_str() |
| ); |
| |
| char baz_arr[4] = "qux"; |
| typedef char char_arr[4]; |
| |
| #if !defined(LIBS_PARAMETER_TEST_COMPILE_FAILURE_VENDOR_SPECIFIC) && ( \ |
| BOOST_WORKAROUND(BOOST_GCC, < 40000) || \ |
| BOOST_WORKAROUND(BOOST_MSVC, >= 1800) \ |
| ) |
| // MSVC-12+ treats static_cast<char_arr&&>(baz_arr) as an lvalue. |
| // GCC 3- tries to bind string literals |
| // to non-const references to char const*. |
| #else |
| test::evaluate( |
| test::_lr0 = baz_arr |
| #if defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING) |
| , test::_rrc0 = static_cast<char_arr const&&>("def") |
| , test::_rr0 = static_cast<char_arr&&>(baz_arr) |
| #else |
| , test::_rrc0 = "grl" |
| , test::_rr0 = "grp" |
| #endif |
| , test::_lrc0 = "wld" |
| ); |
| #endif // MSVC-12+ |
| test::B::evaluate(test::_lrc0 = test::lvalue_const_str()[0]); |
| test::C::evaluate( |
| test::_rrc0 = test::rvalue_const_float() |
| , test::_lrc0 = test::lvalue_const_str()[0] |
| ); |
| |
| #if !defined(LIBS_PARAMETER_TEST_COMPILE_FAILURE_VENDOR_SPECIFIC) && \ |
| BOOST_WORKAROUND(BOOST_MSVC, >= 1800) |
| // MSVC-12+ treats static_cast<char_arr&&>(baz_arr) as an lvalue. |
| test::C cp0; |
| test::C cp1; |
| #else |
| test::C cp0( |
| test::_lrc0 = "frd" |
| , test::_lr0 = baz_arr |
| #if defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING) |
| , test::_rrc0 = static_cast<char_arr const&&>("dfs") |
| , test::_rr0 = static_cast<char_arr&&>(baz_arr) |
| #else |
| , test::_rrc0 = "plg" |
| , test::_rr0 = "thd" |
| #endif |
| ); |
| test::C cp1( |
| test::_lr0 = baz_arr |
| #if defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING) |
| , test::_rrc0 = static_cast<char_arr const&&>("dgx") |
| , test::_rr0 = static_cast<char_arr&&>(baz_arr) |
| #else |
| , test::_rrc0 = "hnk" |
| , test::_rr0 = "xzz" |
| #endif |
| , test::_lrc0 = "zts" |
| ); |
| #endif // MSVC-12+ |
| |
| cp0.evaluate( |
| test::_lrc0 = test::lvalue_const_str()[0] |
| , test::_lr0 = test::lvalue_char_ptr() |
| , test::_rr0 = test::rvalue_str() |
| , test::_rrc0 = test::rvalue_const_float() |
| ); |
| cp1.evaluate( |
| test::_lrc0 = test::lvalue_const_str()[0] |
| , test::_rr0 = test::rvalue_str() |
| , test::_rrc0 = test::rvalue_const_float() |
| , test::_lr0 = test::lvalue_char_ptr() |
| ); |
| |
| test::D dp0( |
| 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>() |
| ); |
| test::D dp1( |
| 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>() |
| ); |
| |
| dp0.evaluate_m( |
| 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>() |
| ); |
| dp1.evaluate_m( |
| 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>() |
| ); |
| dp0( |
| 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>() |
| ); |
| dp1( |
| 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>() |
| ); |
| return boost::report_errors(); |
| } |
| |