libs/parameter/test/preprocessor_eval_cat_no_spec.cpp
// 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(); }