572 lines
18 KiB
C++
572 lines
18 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 (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();
|
|
}
|
|
|