libs/parameter/test/preprocessor_eval_category.cpp
// 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 (BOOST_PARAMETER_MAX_ARITY < 4)
#error Define BOOST_PARAMETER_MAX_ARITY as 4 or greater.
#endif
#if !defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING) && \
(BOOST_PARAMETER_EXPONENTIAL_OVERLOAD_THRESHOLD_ARITY < 5)
#error Define BOOST_PARAMETER_EXPONENTIAL_OVERLOAD_THRESHOLD_ARITY \
as 5 or greater.
#endif
#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
} // namespace test
#include <boost/parameter/preprocessor.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 <boost/type_traits/remove_reference.hpp>
#include "evaluate_category.hpp"
#if defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING)
#include <utility>
#endif
namespace test {
BOOST_PARAMETER_FUNCTION((bool), evaluate, kw,
(required
(lrc0, *)
(lr0, *)
(rrc0, *)
(rr0, *)
)
)
{
BOOST_TEST((
test::passed_by_lvalue_reference_to_const == test::A<
typename boost::remove_const<
typename boost::parameter::value_type<
Args
, test::kw::lrc0
>::type
>::type
>::evaluate_category(args[test::_lrc0])
));
BOOST_TEST_EQ(
test::passed_by_lvalue_reference_to_const
, test::A<
typename boost::remove_const<
typename boost::remove_reference<lrc0_type>::type
>::type
>::evaluate_category(lrc0)
);
BOOST_TEST((
test::passed_by_lvalue_reference == test::A<
typename boost::remove_const<
typename boost::parameter::value_type<
Args
, test::kw::lr0
>::type
>::type
>::evaluate_category(args[test::_lr0])
));
BOOST_TEST_EQ(
test::passed_by_lvalue_reference
, test::A<
typename boost::remove_const<
typename boost::remove_reference<lr0_type>::type
>::type
>::evaluate_category(lr0)
);
#if defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING)
if (
boost::is_scalar<
typename boost::remove_const<
typename boost::remove_reference<rrc0_type>::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::kw::rrc0
>::type
>::type
>::evaluate_category(args[test::_rrc0])
));
BOOST_TEST_EQ(
test::passed_by_lvalue_reference_to_const
, test::A<
typename boost::remove_const<
typename boost::remove_reference<rrc0_type>::type
>::type
>::evaluate_category(std::forward<rrc0_type>(rrc0))
);
BOOST_TEST((
test::passed_by_lvalue_reference_to_const == test::A<
typename boost::remove_const<
typename boost::parameter::value_type<
Args
, test::kw::rr0
>::type
>::type
>::evaluate_category(args[test::_rr0])
));
BOOST_TEST_EQ(
test::passed_by_lvalue_reference_to_const
, test::A<
typename boost::remove_const<
typename boost::remove_reference<rr0_type>::type
>::type
>::evaluate_category(std::forward<rr0_type>(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::kw::rrc0
>::type
>::type
>::evaluate_category(args[test::_rrc0])
));
BOOST_TEST_EQ(
test::passed_by_rvalue_reference_to_const
, test::A<
typename boost::remove_const<
typename boost::remove_reference<rrc0_type>::type
>::type
>::evaluate_category(std::forward<rrc0_type>(rrc0))
);
BOOST_TEST((
test::passed_by_rvalue_reference == test::A<
typename boost::remove_const<
typename boost::parameter::value_type<
Args
, test::kw::rr0
>::type
>::type
>::evaluate_category(args[test::_rr0])
));
BOOST_TEST_EQ(
test::passed_by_rvalue_reference
, test::A<
typename boost::remove_const<
typename boost::remove_reference<rr0_type>::type
>::type
>::evaluate_category(std::forward<rr0_type>(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::kw::rrc0
>::type
>::type
>::evaluate_category(args[test::_rrc0])
));
BOOST_TEST_EQ(
test::passed_by_lvalue_reference_to_const
, test::A<
typename boost::remove_const<
typename boost::remove_reference<rrc0_type>::type
>::type
>::evaluate_category(rrc0)
);
BOOST_TEST((
test::passed_by_lvalue_reference_to_const == test::A<
typename boost::remove_const<
typename boost::parameter::value_type<
Args
, test::kw::rr0
>::type
>::type
>::evaluate_category(args[test::_rr0])
));
BOOST_TEST_EQ(
test::passed_by_lvalue_reference_to_const
, test::A<
typename boost::remove_const<
typename boost::remove_reference<rr0_type>::type
>::type
>::evaluate_category(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(
args[test::_lrc0]
, args[test::_lr0]
, args[test::_rrc0]
, args[test::_rr0]
);
}
#if BOOST_WORKAROUND(__SUNPRO_CC, BOOST_TESTED_AT(0x580))
typedef test::string_predicate<test::kw::lr0> rr0_pred;
BOOST_PARAMETER_MEMBER_FUNCTION((bool), static evaluate, kw,
(required
(lrc0, (char))
)
(deduced
(optional
(rrc0, (float), 0.0f)
(lr0, (char const*), test::baz)
(rr0, *(rr0_pred), std::string(lr0))
)
)
)
#else // !BOOST_WORKAROUND(__SUNPRO_CC, BOOST_TESTED_AT(0x580))
BOOST_PARAMETER_MEMBER_FUNCTION((bool), static evaluate, kw,
(required
(lrc0, (char))
)
(deduced
(optional
(rrc0, (float), 0.0f)
(lr0, (char const*), test::baz)
(rr0
, *(test::string_predicate<test::kw::lr0>)
, std::string(lr0)
)
)
)
)
#endif // SunPro CC workarounds needed.
{
BOOST_TEST((
test::passed_by_lvalue_reference_to_const == test::A<
typename boost::remove_const<
typename boost::parameter::value_type<
Args
, test::kw::lrc0
>::type
>::type
>::evaluate_category(args[test::_lrc0])
));
BOOST_TEST_EQ(
test::passed_by_lvalue_reference_to_const
, test::A<
typename boost::remove_const<
typename boost::remove_reference<lrc0_type>::type
>::type
>::evaluate_category(lrc0)
);
BOOST_TEST((
test::passed_by_lvalue_reference == test::A<
typename boost::remove_const<
typename boost::parameter::value_type<
Args
, test::kw::lr0
>::type
>::type
>::evaluate_category(args[test::_lr0])
));
BOOST_TEST_EQ(
test::passed_by_lvalue_reference
, test::A<
typename boost::remove_const<
typename boost::remove_reference<lr0_type>::type
>::type
>::evaluate_category(lr0)
);
BOOST_TEST((
test::passed_by_lvalue_reference_to_const == test::A<
typename boost::remove_const<
typename boost::parameter::value_type<
Args
, test::kw::rrc0
>::type
>::type
>::evaluate_category(args[test::_rrc0])
));
BOOST_TEST_EQ(
test::passed_by_lvalue_reference_to_const
, test::A<
typename boost::remove_const<
typename boost::remove_reference<rrc0_type>::type
>::type
>::evaluate_category(rrc0)
);
#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::kw::rr0
>::type
>::type
>::evaluate_category(args[test::_rr0])
));
BOOST_TEST_EQ(
test::passed_by_rvalue_reference
, test::A<
typename boost::remove_const<
typename boost::remove_reference<rr0_type>::type
>::type
>::evaluate_category(std::forward<rr0_type>(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::kw::rr0
>::type
>::type
>::evaluate_category(args[test::_rr0])
));
BOOST_TEST_EQ(
test::passed_by_lvalue_reference_to_const
, test::A<
typename boost::remove_const<
typename boost::remove_reference<rr0_type>::type
>::type
>::evaluate_category(rr0)
);
#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_CONSTRUCTOR(C, (B), kw,
(required
(lrc0, *)
(lr0, *)
(rrc0, *)
(rr0, *)
)
)
};
} // namespace test
int main()
{
test::evaluate(
test::lvalue_const_float()
, test::lvalue_float()
, test::rvalue_const_float()
, test::rvalue_float()
);
test::evaluate(
test::lvalue_const_char_ptr()
, test::lvalue_char_ptr()
, test::rvalue_const_char_ptr()
, test::rvalue_char_ptr()
);
test::evaluate(
test::lvalue_const_str()
, test::lvalue_str()
, test::rvalue_const_str()
, test::rvalue_str()
);
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 cf0(
test::lvalue_const_float()
, test::lvalue_float()
, test::rvalue_const_float()
, test::rvalue_float()
);
test::C cc0(
test::lvalue_const_char_ptr()
, test::lvalue_char_ptr()
, test::rvalue_const_char_ptr()
, test::rvalue_char_ptr()
);
test::C cs0(
test::lvalue_const_str()
, test::lvalue_str()
, test::rvalue_const_str()
, test::rvalue_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_MSVC, >= 1800)
// MSVC-12+ treats static_cast<char_arr&&>(baz_arr) as an lvalue.
#else
test::evaluate(
"q2x"
, baz_arr
#if defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING)
, static_cast<char_arr const&&>("mos")
, static_cast<char_arr&&>(baz_arr)
#else
, "crg"
, "uir"
#endif
);
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::lvalue_const_str()[0]);
test::C::evaluate(
test::lvalue_const_str()[0]
, test::rvalue_const_float()
);
#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(
"frd"
, baz_arr
#if defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING)
, static_cast<char_arr const&&>("dfs")
, static_cast<char_arr&&>(baz_arr)
#else
, "plg"
, "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::lvalue_const_str()[0]
, test::lvalue_char_ptr()
, test::rvalue_str()
, test::rvalue_const_float()
);
cp1.evaluate(
test::lvalue_const_str()[0]
, test::rvalue_str()
, test::rvalue_const_float()
, test::lvalue_char_ptr()
);
return boost::report_errors();
}