feedc0de/boost_mp11
1
0
Fork 0
forked from boostorg/mp11
Code Pull Requests Activity

Add value list support to mp_transform (for up to three lists). Closes #86.

Browse Source
This commit is contained in:
Peter Dimov
2023-12-18 05:53:20 +02:00
parent f8fb53c775
commit 4db3374eed
3 changed files with 65 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
include/boost/mp11/algorithm.hpp
View File

@ -84,6 +84,25 @@ template<template<class...> class F, template<class...> class L1, class... T1, t
#endif
};
#if defined(BOOST_MP11_HAS_TEMPLATE_AUTO)
template<template<class...> class F, template<auto...> class L, auto... A> struct mp_transform_impl<F, L<A...>>
{
using type = L< F< mp_value<A> >::value... >;
};
template<template<class...> class F, template<auto...> class L1, auto... A1, template<auto...> class L2, auto... A2> struct mp_transform_impl<F, L1<A1...>, L2<A2...>>
{
using type = L1< F< mp_value<A1>, mp_value<A2> >::value... >;
};
template<template<class...> class F, template<auto...> class L1, auto... A1, template<auto...> class L2, auto... A2, template<auto...> class L3, auto... A3> struct mp_transform_impl<F, L1<A1...>, L2<A2...>, L3<A3...>>
{
using type = L1< F< mp_value<A1>, mp_value<A2>, mp_value<A3> >::value... >;
};
#endif
#if BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, == 1900 ) || BOOST_MP11_WORKAROUND( BOOST_MP11_GCC, < 40800 )
template<class... L> using mp_same_size_1 = mp_same<mp_size<L>...>;

1
test/Jamfile
View File

@ -73,6 +73,7 @@ run mp_is_value_list.cpp ;
# algorithm
run mp_transform.cpp ;
run mp_transform_2.cpp ;
run mp_transform_q.cpp ;
run mp_transform_q_2.cpp ;
run mp_transform_sf.cpp ;

45
test/mp_transform_2.cpp Normal file
View File

@ -0,0 +1,45 @@
// Copyright 2023 Peter Dimov.
// Distributed under the Boost Software License, Version 1.0.
// https://www.boost.org/LICENSE_1_0.txt
#include <boost/mp11/algorithm.hpp>
#include <boost/mp11/function.hpp>
#include <boost/core/lightweight_test_trait.hpp>
#if !defined(BOOST_MP11_HAS_TEMPLATE_AUTO)
#pragma message("Test skipped because BOOST_MP11_HAS_TEMPLATE_AUTO is not defined")
int main() {}
#else
template<auto... A> struct V1 {};
template<int... I> struct V2 {};
int main()
{
using boost::mp11::mp_transform;
using boost::mp11::mp_identity_t;
using boost::mp11::mp_plus;
using L1 = V1<true, -2, 3U, -4L>;
using L2 = V2<1, -2, 3, -4>;
BOOST_TEST_TRAIT_SAME(mp_transform<mp_identity_t, L1>, L1);
BOOST_TEST_TRAIT_SAME(mp_transform<mp_plus, L1>, V1<1, -2, 3U, -4L>);
BOOST_TEST_TRAIT_SAME(mp_transform<mp_plus, L1, L2>, V1<2, -4, 6U, -8L>);
BOOST_TEST_TRAIT_SAME(mp_transform<mp_plus, L1, L2, L2>, V1<3, -6, 9U, -12L>);
BOOST_TEST_TRAIT_SAME(mp_transform<mp_identity_t, L2>, L2);
BOOST_TEST_TRAIT_SAME(mp_transform<mp_plus, L2>, V2<1, -2, 3, -4>);
BOOST_TEST_TRAIT_SAME(mp_transform<mp_plus, L2, L1>, V2<2, -4, 6, -8>);
BOOST_TEST_TRAIT_SAME(mp_transform<mp_plus, L2, L1, L1>, V2<3, -6, 9, -12>);
//
return boost::report_errors();
}
#endif