townforge/parameter
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
cc
parameter/test/compose.cpp
CromwellEnage 7b2d3f6e41 Reinstate MP11 support for ArgumentPacks 
Argument packs qualify as Boost.MP11-style maps as well as MPL sequences.  These maps store the keyword tag types as their keys.
2019-01-21 01:14:59 -05:00

747 lines
24 KiB
C++
Raw Permalink Blame History

// Copyright Rene Rivera 2006.
// 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/nested_keyword.hpp>
#include <boost/parameter/name.hpp>
#include <boost/parameter/config.hpp>
namespace param {
BOOST_PARAMETER_NESTED_KEYWORD(tag, a0, a_zero)
BOOST_PARAMETER_NESTED_KEYWORD(tag, a1, a_one)
BOOST_PARAMETER_NAME(a2)
BOOST_PARAMETER_NAME(a3)
BOOST_PARAMETER_NAME(in(lrc))
BOOST_PARAMETER_NAME(out(lr))
#if defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING)
BOOST_PARAMETER_NAME(consume(rr))
#else
BOOST_PARAMETER_NAME(rr)
#endif
}
#include <boost/parameter/is_argument_pack.hpp>
#include <boost/mpl/void.hpp>
#include <boost/mpl/bool.hpp>
#include <boost/mpl/int.hpp>
#include <boost/mpl/if.hpp>
#include <boost/mpl/has_key.hpp>
#include <boost/mpl/key_type.hpp>
#include <boost/mpl/order.hpp>
#include <boost/mpl/count.hpp>
#include <boost/mpl/equal_to.hpp>
#include <boost/mpl/assert.hpp>
#include <boost/type_traits/is_same.hpp>
#if defined(BOOST_PARAMETER_CAN_USE_MP11)
#include <boost/mp11/list.hpp>
#include <boost/mp11/map.hpp>
#include <type_traits>
#endif
#if defined(BOOST_NO_CXX11_HDR_FUNCTIONAL)
#include <boost/function.hpp>
#else
#include <functional>
#endif
namespace test {
struct A
{
int i;
int j;
template <typename ArgPack>
A(ArgPack const& args) : i(args[param::a0]), j(args[param::a1])
{
#if defined(BOOST_PARAMETER_CAN_USE_MP11)
static_assert(
boost::mp11::mp_map_contains<ArgPack,param::tag::a0>::value
, "param::tag::a0 must be in ArgPack"
);
static_assert(
boost::mp11::mp_map_contains<ArgPack,param::tag::a1>::value
, "param::tag::a1 must be in ArgPack"
);
static_assert(
!boost::mp11::mp_map_contains<ArgPack,param::tag::lrc>::value
, "param::tag::lrc must not be in ArgPack"
);
static_assert(
!boost::mp11::mp_map_contains<ArgPack,param::tag::lr>::value
, "param::tag::lr must not be in ArgPack"
);
static_assert(
!boost::mp11::mp_map_contains<ArgPack,param::tag::rr>::value
, "param::tag::rr must not be in ArgPack"
);
static_assert(
!std::is_same<
::boost::mp11::mp_map_find<ArgPack,param::tag::a0>
, void
>::value
, "param::tag::a0 must be found in ArgPack"
);
static_assert(
!std::is_same<
::boost::mp11::mp_map_find<ArgPack,param::tag::a1>
, void
>::value
, "param::tag::a1 must be found in ArgPack"
);
static_assert(
std::is_same<
::boost::mp11::mp_map_find<ArgPack,param::tag::lrc>
, void
>::value
, "param::tag::lrc must not be found in ArgPack"
);
static_assert(
std::is_same<
::boost::mp11::mp_map_find<ArgPack,param::tag::lr>
, void
>::value
, "param::tag::lr must not be found in ArgPack"
);
static_assert(
std::is_same<
::boost::mp11::mp_map_find<ArgPack,param::tag::rr>
, void
>::value
, "param::tag::rr must not be found in ArgPack"
);
#endif // BOOST_PARAMETER_CAN_USE_MP11
BOOST_MPL_ASSERT((boost::parameter::is_argument_pack<ArgPack>));
BOOST_MPL_ASSERT((boost::mpl::has_key<ArgPack,param::tag::a0>));
BOOST_MPL_ASSERT((boost::mpl::has_key<ArgPack,param::tag::a1>));
BOOST_MPL_ASSERT_NOT((
boost::mpl::has_key<ArgPack,param::tag::lrc>
));
BOOST_MPL_ASSERT_NOT((
boost::mpl::has_key<ArgPack,param::tag::lr>
));
BOOST_MPL_ASSERT_NOT((
boost::mpl::has_key<ArgPack,param::tag::rr>
));
BOOST_MPL_ASSERT((
boost::mpl::equal_to<
typename boost::mpl::count<ArgPack,param::tag::a0>::type
, boost::mpl::int_<1>
>
));
BOOST_MPL_ASSERT((
boost::mpl::equal_to<
typename boost::mpl::count<ArgPack,param::tag::a1>::type
, boost::mpl::int_<1>
>
));
BOOST_MPL_ASSERT((
typename boost::mpl::if_<
boost::is_same<
typename boost::mpl
::key_type<ArgPack,param::tag::a0>::type
, param::tag::a0
>
, boost::mpl::true_
, boost::mpl::false_
>::type
));
BOOST_MPL_ASSERT((
typename boost::mpl::if_<
boost::is_same<
typename boost::mpl
::key_type<ArgPack,param::tag::a1>::type
, param::tag::a1
>
, boost::mpl::true_
, boost::mpl::false_
>::type
));
BOOST_MPL_ASSERT((
typename boost::mpl::if_<
boost::is_same<
typename boost::mpl
::order<ArgPack,param::tag::a0>::type
, boost::mpl::void_
>
, boost::mpl::false_
, boost::mpl::true_
>::type
));
BOOST_MPL_ASSERT((
typename boost::mpl::if_<
boost::is_same<
typename boost::mpl
::order<ArgPack,param::tag::a1>::type
, boost::mpl::void_
>
, boost::mpl::false_
, boost::mpl::true_
>::type
));
}
};
float F()
{
return 4.0f;
}
float E()
{
return 4.625f;
}
double D()
{
return 198.9;
}
struct C
{
struct result_type
{
double operator()() const
{
return 2.5;
}
};
result_type operator()() const
{
return result_type();
}
};
struct B : A
{
#if defined(BOOST_NO_CXX11_HDR_FUNCTIONAL)
boost::function<float()> k;
boost::function<double()> l;
#else
std::function<float()> k;
std::function<double()> l;
#endif
template <typename ArgPack>
B(ArgPack const& args)
: A((args, param::tag::a0::a_zero = 1))
, k(args[param::_a2 | E])
, l(args[param::_a3 || C()])
{
}
};
struct G
{
int i;
int& j;
int const& k;
template <typename ArgPack>
G(ArgPack const& args)
: i(args[param::_rr])
, j(args[param::_lr])
, k(args[param::_lrc])
{
#if defined(BOOST_PARAMETER_CAN_USE_MP11)
static_assert(
boost::mp11::mp_map_contains<ArgPack,param::tag::lrc>::value
, "param::tag::lrc must be in ArgPack"
);
static_assert(
boost::mp11::mp_map_contains<ArgPack,param::tag::lr>::value
, "param::tag::lr must be in ArgPack"
);
static_assert(
boost::mp11::mp_map_contains<ArgPack,param::tag::rr>::value
, "param::tag::rr must be in ArgPack"
);
static_assert(
!boost::mp11::mp_map_contains<ArgPack,param::tag::a0>::value
, "param::tag::a0 must not be in ArgPack"
);
static_assert(
!boost::mp11::mp_map_contains<ArgPack,param::tag::a1>::value
, "param::tag::a1 must not be in ArgPack"
);
static_assert(
!boost::mp11::mp_map_contains<ArgPack,param::tag::a2>::value
, "param::tag::a2 must not be in ArgPack"
);
static_assert(
!boost::mp11::mp_map_contains<ArgPack,param::tag::a3>::value
, "param::tag::a3 must not be in ArgPack"
);
static_assert(
!std::is_same<
boost::mp11::mp_map_find<ArgPack,param::tag::lrc>
, void
>::value
, "param::tag::lrc must be found in ArgPack"
);
static_assert(
!std::is_same<
boost::mp11::mp_map_find<ArgPack,param::tag::lr>
, void
>::value
, "param::tag::lr must be found in ArgPack"
);
static_assert(
!std::is_same<
boost::mp11::mp_map_find<ArgPack,param::tag::rr>
, void
>::value
, "param::tag::rr must be found in ArgPack"
);
static_assert(
std::is_same<
boost::mp11::mp_map_find<ArgPack,param::tag::a0>
, void
>::value
, "param::tag::a0 must not be found in ArgPack"
);
static_assert(
std::is_same<
boost::mp11::mp_map_find<ArgPack,param::tag::a1>
, void
>::value
, "param::tag::a1 must not be found in ArgPack"
);
static_assert(
std::is_same<
boost::mp11::mp_map_find<ArgPack,param::tag::a2>
, void
>::value
, "param::tag::a2 must not be found in ArgPack"
);
static_assert(
std::is_same<
boost::mp11::mp_map_find<ArgPack,param::tag::a3>
, void
>::value
, "param::tag::a3 must not be found in ArgPack"
);
#endif // BOOST_PARAMETER_CAN_USE_MP11
BOOST_MPL_ASSERT((boost::parameter::is_argument_pack<ArgPack>));
BOOST_MPL_ASSERT((boost::mpl::has_key<ArgPack,param::tag::rr>));
BOOST_MPL_ASSERT((boost::mpl::has_key<ArgPack,param::tag::lr>));
BOOST_MPL_ASSERT((boost::mpl::has_key<ArgPack,param::tag::lrc>));
BOOST_MPL_ASSERT_NOT((
boost::mpl::has_key<ArgPack,param::tag::a0>
));
BOOST_MPL_ASSERT_NOT((
boost::mpl::has_key<ArgPack,param::tag::a1>
));
BOOST_MPL_ASSERT_NOT((
boost::mpl::has_key<ArgPack,param::tag::a2>
));
BOOST_MPL_ASSERT_NOT((
boost::mpl::has_key<ArgPack,param::tag::a3>
));
BOOST_MPL_ASSERT((
boost::mpl::equal_to<
typename boost::mpl::count<ArgPack,param::tag::rr>::type
, boost::mpl::int_<1>
>
));
BOOST_MPL_ASSERT((
boost::mpl::equal_to<
typename boost::mpl::count<ArgPack,param::tag::lr>::type
, boost::mpl::int_<1>
>
));
BOOST_MPL_ASSERT((
boost::mpl::equal_to<
typename boost::mpl::count<ArgPack,param::tag::lrc>::type
, boost::mpl::int_<1>
>
));
BOOST_MPL_ASSERT((
typename boost::mpl::if_<
boost::is_same<
typename boost::mpl
::key_type<ArgPack,param::tag::rr>::type
, param::tag::rr
>
, boost::mpl::true_
, boost::mpl::false_
>::type
));
BOOST_MPL_ASSERT((
typename boost::mpl::if_<
boost::is_same<
typename boost::mpl
::key_type<ArgPack,param::tag::lr>::type
, param::tag::lr
>
, boost::mpl::true_
, boost::mpl::false_
>::type
));
BOOST_MPL_ASSERT((
typename boost::mpl::if_<
boost::is_same<
typename boost::mpl
::key_type<ArgPack,param::tag::lrc>::type
, param::tag::lrc
>
, boost::mpl::true_
, boost::mpl::false_
>::type
));
BOOST_MPL_ASSERT((
typename boost::mpl::if_<
boost::is_same<
typename boost::mpl
::order<ArgPack,param::tag::rr>::type
, boost::mpl::void_
>
, boost::mpl::false_
, boost::mpl::true_
>::type
));
BOOST_MPL_ASSERT((
typename boost::mpl::if_<
boost::is_same<
typename boost::mpl
::order<ArgPack,param::tag::lr>::type
, boost::mpl::void_
>
, boost::mpl::false_
, boost::mpl::true_
>::type
));
BOOST_MPL_ASSERT((
typename boost::mpl::if_<
boost::is_same<
typename boost::mpl
::order<ArgPack,param::tag::lrc>::type
, boost::mpl::void_
>
, boost::mpl::false_
, boost::mpl::true_
>::type
));
}
};
} // namespace test
#include <utility>
namespace test {
std::pair<int,int> const& lvalue_const_pair()
{
static std::pair<int,int> const clp = std::pair<int,int>(7, 10);
return clp;
}
struct H
{
std::pair<int,int> i;
std::pair<int,int>& j;
std::pair<int,int> const& k;
template <typename ArgPack>
H(ArgPack const& args)
: i(args[param::_rr | test::lvalue_const_pair()])
, j(args[param::_lr])
, k(args[param::_lrc])
{
#if defined(BOOST_PARAMETER_CAN_USE_MP11)
static_assert(
boost::mp11::mp_map_contains<ArgPack,param::tag::lrc>::value
, "param::tag::lrc must be in ArgPack"
);
static_assert(
boost::mp11::mp_map_contains<ArgPack,param::tag::lr>::value
, "param::tag::lr must be in ArgPack"
);
static_assert(
!std::is_same<
boost::mp11::mp_map_find<ArgPack,param::tag::lrc>
, void
>::value
, "param::tag::lrc must be found in ArgPack"
);
static_assert(
!std::is_same<
boost::mp11::mp_map_find<ArgPack,param::tag::lr>
, void
>::value
, "param::tag::lr must be found in ArgPack"
);
#endif // BOOST_PARAMETER_CAN_USE_MP11
BOOST_MPL_ASSERT((boost::parameter::is_argument_pack<ArgPack>));
BOOST_MPL_ASSERT((boost::mpl::has_key<ArgPack,param::tag::lr>));
BOOST_MPL_ASSERT((boost::mpl::has_key<ArgPack,param::tag::lrc>));
BOOST_MPL_ASSERT((
boost::mpl::equal_to<
typename boost::mpl::count<ArgPack,param::tag::lr>::type
, boost::mpl::int_<1>
>
));
BOOST_MPL_ASSERT((
boost::mpl::equal_to<
typename boost::mpl::count<ArgPack,param::tag::lrc>::type
, boost::mpl::int_<1>
>
));
BOOST_MPL_ASSERT((
typename boost::mpl::if_<
boost::is_same<
typename boost::mpl
::key_type<ArgPack,param::tag::lr>::type
, param::tag::lr
>
, boost::mpl::true_
, boost::mpl::false_
>::type
));
BOOST_MPL_ASSERT((
typename boost::mpl::if_<
boost::is_same<
typename boost::mpl
::key_type<ArgPack,param::tag::lrc>::type
, param::tag::lrc
>
, boost::mpl::true_
, boost::mpl::false_
>::type
));
BOOST_MPL_ASSERT((
typename boost::mpl::if_<
boost::is_same<
typename boost::mpl
::order<ArgPack,param::tag::lr>::type
, boost::mpl::void_
>
, boost::mpl::false_
, boost::mpl::true_
>::type
));
BOOST_MPL_ASSERT((
typename boost::mpl::if_<
boost::is_same<
typename boost::mpl
::order<ArgPack,param::tag::lrc>::type
, boost::mpl::void_
>
, boost::mpl::false_
, boost::mpl::true_
>::type
));
}
};
} // namespace test
#include <boost/core/lightweight_test.hpp>
void test_compose0()
{
#if !defined(LIBS_PARAMETER_TEST_COMPILE_FAILURE_VENDOR_SPECIFIC) && \
BOOST_WORKAROUND(BOOST_MSVC, >= 1700) && \
BOOST_WORKAROUND(BOOST_MSVC, < 1800)
// MSVC 11.0 on AppVeyor fails without this workaround.
test::A a((
param::a0 = 1
, param::a1 = 13
, param::_a2 = std::function<double()>(test::D)
));
#else
test::A a((param::a0 = 1, param::a1 = 13, param::_a2 = test::D));
#endif
BOOST_TEST_EQ(1, a.i);
BOOST_TEST_EQ(13, a.j);
#if !defined(LIBS_PARAMETER_TEST_COMPILE_FAILURE_VENDOR_SPECIFIC) && \
BOOST_WORKAROUND(BOOST_MSVC, >= 1700) && \
BOOST_WORKAROUND(BOOST_MSVC, < 1800)
// MSVC 11.0 on AppVeyor fails without this workaround.
test::B b0((
param::tag::a1::a_one = 13
, param::_a2 = std::function<float()>(test::F)
));
#else
test::B b0((param::tag::a1::a_one = 13, param::_a2 = test::F));
#endif
BOOST_TEST_EQ(1, b0.i);
BOOST_TEST_EQ(13, b0.j);
BOOST_TEST_EQ(4.0f, b0.k());
BOOST_TEST_EQ(2.5, b0.l());
#if !defined(LIBS_PARAMETER_TEST_COMPILE_FAILURE_VENDOR_SPECIFIC) && \
BOOST_WORKAROUND(BOOST_MSVC, >= 1700) && \
BOOST_WORKAROUND(BOOST_MSVC, < 1800)
// MSVC 11.0 on AppVeyor fails without this workaround.
test::B b1((
param::_a3 = std::function<double()>(test::D)
, param::a1 = 13
));
#else
test::B b1((param::_a3 = test::D, param::a1 = 13));
#endif
BOOST_TEST_EQ(1, b1.i);
BOOST_TEST_EQ(13, b1.j);
BOOST_TEST_EQ(4.625f, b1.k());
BOOST_TEST_EQ(198.9, b1.l());
int x = 23;
int const y = 42;
#if defined(LIBS_PARAMETER_TEST_COMPILE_FAILURE_0)
test::G g((param::_lr = 15, param::_rr = 16, param::_lrc = y));
#else
test::G g((param::_lr = x, param::_rr = 16, param::_lrc = y));
#endif
BOOST_TEST_EQ(16, g.i);
BOOST_TEST_EQ(23, g.j);
BOOST_TEST_EQ(42, g.k);
x = 1;
BOOST_TEST_EQ(1, g.j);
std::pair<int,int> p1(8, 9);
std::pair<int,int> const p2(11, 12);
test::H h0((param::_lr = p1, param::_lrc = p2));
#if defined(LIBS_PARAMETER_TEST_COMPILE_FAILURE_1)
test::H h1((
param::_lr = p2
, param::_rr = std::make_pair(7, 10)
, param::_lrc = p2
));
#else
test::H h1((
param::_lr = p1
, param::_rr = std::make_pair(7, 10)
, param::_lrc = p2
));
#endif
BOOST_TEST_EQ(h0.i.first, h1.i.first);
BOOST_TEST_EQ(h0.i.second, h1.i.second);
BOOST_TEST_EQ(p1.first, h1.j.first);
BOOST_TEST_EQ(p1.second, h1.j.second);
BOOST_TEST_EQ(p2.first, h1.k.first);
BOOST_TEST_EQ(p2.second, h1.k.second);
p1.first = 1;
BOOST_TEST_EQ(p1.first, h1.j.first);
}
#if defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING) || \
(2 < BOOST_PARAMETER_COMPOSE_MAX_ARITY)
#include <boost/parameter/compose.hpp>
void test_compose1()
{
#if !defined(LIBS_PARAMETER_TEST_COMPILE_FAILURE_VENDOR_SPECIFIC) && \
BOOST_WORKAROUND(BOOST_MSVC, >= 1700) && \
BOOST_WORKAROUND(BOOST_MSVC, < 1800)
// MSVC 11.0 on AppVeyor fails without this workaround.
test::A a(boost::parameter::compose(
param::a0 = 1
, param::a1 = 13
, param::_a2 = std::function<double()>(test::D)
));
#else
test::A a(boost::parameter::compose(
param::a0 = 1
, param::a1 = 13
, param::_a2 = test::D
));
#endif
BOOST_TEST_EQ(1, a.i);
BOOST_TEST_EQ(13, a.j);
#if !defined(LIBS_PARAMETER_TEST_COMPILE_FAILURE_VENDOR_SPECIFIC) && \
BOOST_WORKAROUND(BOOST_MSVC, >= 1700) && \
BOOST_WORKAROUND(BOOST_MSVC, < 1800)
// MSVC 11.0 on AppVeyor fails without this workaround.
test::B b0(boost::parameter::compose(
param::tag::a1::a_one = 13
, param::_a2 = std::function<float()>(test::F)
));
#else
test::B b0(boost::parameter::compose(
param::tag::a1::a_one = 13
, param::_a2 = test::F
));
#endif
BOOST_TEST_EQ(1, b0.i);
BOOST_TEST_EQ(13, b0.j);
BOOST_TEST_EQ(4.0f, b0.k());
BOOST_TEST_EQ(2.5, b0.l());
#if !defined(LIBS_PARAMETER_TEST_COMPILE_FAILURE_VENDOR_SPECIFIC) && \
BOOST_WORKAROUND(BOOST_MSVC, >= 1700) && \
BOOST_WORKAROUND(BOOST_MSVC, < 1800)
// MSVC 11.0 on AppVeyor fails without this workaround.
test::B b1(boost::parameter::compose(
param::_a3 = std::function<double()>(test::D)
, param::a1 = 13
));
#else
test::B b1(boost::parameter::compose(
param::_a3 = test::D
, param::a1 = 13
));
#endif
BOOST_TEST_EQ(1, b1.i);
BOOST_TEST_EQ(13, b1.j);
BOOST_TEST_EQ(4.625f, b1.k());
BOOST_TEST_EQ(198.9, b1.l());
int x = 23;
int const y = 42;
#if defined(LIBS_PARAMETER_TEST_COMPILE_FAILURE_0)
test::G g(boost::parameter::compose(
param::_lr = 15
, param::_rr = 16
, param::_lrc = y
));
#else
test::G g(boost::parameter::compose(
param::_lr = x
, param::_rr = 16
, param::_lrc = y
));
#endif
BOOST_TEST_EQ(16, g.i);
BOOST_TEST_EQ(23, g.j);
BOOST_TEST_EQ(42, g.k);
x = 1;
BOOST_TEST_EQ(1, g.j);
std::pair<int,int> p1(8, 9);
std::pair<int,int> const p2(11, 12);
test::H h0(boost::parameter::compose(param::_lr = p1, param::_lrc = p2));
#if defined(LIBS_PARAMETER_TEST_COMPILE_FAILURE_1)
test::H h1(boost::parameter::compose(
param::_lr = p2
, param::_rr = std::make_pair(7, 10)
, param::_lrc = p2
));
#else
test::H h1(boost::parameter::compose(
param::_lr = p1
, param::_rr = std::make_pair(7, 10)
, param::_lrc = p2
));
#endif
BOOST_TEST_EQ(h0.i.first, h1.i.first);
BOOST_TEST_EQ(h0.i.second, h1.i.second);
BOOST_TEST_EQ(p1.first, h1.j.first);
BOOST_TEST_EQ(p1.second, h1.j.second);
BOOST_TEST_EQ(p2.first, h1.k.first);
BOOST_TEST_EQ(p2.second, h1.k.second);
p1.first = 1;
BOOST_TEST_EQ(p1.first, h1.j.first);
}
#endif // can invoke boost::parameter::compose
int main()
{
test_compose0();
#if defined(BOOST_PARAMETER_HAS_PERFECT_FORWARDING) || \
(2 < BOOST_PARAMETER_COMPOSE_MAX_ARITY)
test_compose1();
#endif
return boost::report_errors();
}
Reference in New Issue View Git Blame Copy Permalink