boostorg/mp11
1
0
Fork 1
mirror of https://github.com/boostorg/mp11.git synced 2025-12-06 08:29:23 +01:00
Code Issues Packages Projects Releases Wiki Activity

Make mp_transform_if variadic.

Browse Source
This commit is contained in:
Peter Dimov
2017-03-18 19:48:07 +02:00
parent e1edd90c21
commit 8e053269a8
2 changed files with 63 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -71,11 +71,20 @@ template<template<class...> class F, template<class...> class L1, class... T1, t
template<template<class...> class F, class... L> using mp_transform = typename detail::mp_transform_impl<F, L...>::type;
// mp_transform_if<P, F, L>
// mp_transform_if<P, F, L...>
namespace detail
{
template<template<class...> class P, template<class...> class F, class L> struct mp_transform_if_impl;
/*
template<template<class...> class P, template<class...> class F, class... L> struct mp_transform_if_impl
{
// error: pack expansion used as argument for non-pack parameter of alias template
template<class... U> using _f = mp_eval_if<mp_not<P<U...>>, mp_first<mp_list<U...>>, F, U...>;
using type = mp_transform<_f, L...>;
};
*/
template<template<class...> class P, template<class...> class F, class... L> struct mp_transform_if_impl;
template<template<class...> class P, template<class...> class F, template<class...> class L, class... T> struct mp_transform_if_impl<P, F, L<T...>>
{
@@ -92,9 +101,43 @@ template<template<class...> class P, template<class...> class F, template<class.
#endif
};
template<template<class...> class P, template<class...> class F, template<class...> class L1, class... T1, template<class...> class L2, class... T2> struct mp_transform_if_impl<P, F, L1<T1...>, L2<T2...>>
{
static_assert( sizeof...(T1) == sizeof...(T2), "The arguments of mp_transform_if should be of the same size" );
#if defined( BOOST_MSVC ) && BOOST_WORKAROUND( BOOST_MSVC, <= 1910 )
template<class U1, class U2> struct _f { using type = mp_eval_if<mp_not<P<U1, U2>>, U1, F, U1, U2>; };
using type = L1<typename _f<T1, T2>::type...>;
#else
template<class U1, class U2> using _f = mp_eval_if<mp_not<P<U1, U2>>, U1, F, U1, U2>;
using type = L1<_f<T1, T2>...>;
#endif
};
template<template<class...> class P, template<class...> class F, template<class...> class L1, class... T1, template<class...> class L2, class... T2, template<class...> class L3, class... T3> struct mp_transform_if_impl<P, F, L1<T1...>, L2<T2...>, L3<T3...>>
{
static_assert( sizeof...(T1) == sizeof...(T2) && sizeof...(T1) == sizeof...(T3), "The arguments of mp_transform_if should be of the same size" );
#if defined( BOOST_MSVC ) && BOOST_WORKAROUND( BOOST_MSVC, <= 1910 )
template<class U1, class U2, class U3> struct _f { using type = mp_eval_if<mp_not<P<U1, U2, U3>>, U1, F, U1, U2, U3>; };
using type = L1<typename _f<T1, T2, T3>::type...>;
#else
template<class U1, class U2, class U3> using _f = mp_eval_if<mp_not<P<U1, U2, U3>>, U1, F, U1, U2, U3>;
using type = L1<_f<T1, T2, T3>...>;
#endif
};
} // namespace detail
template<template<class...> class P, template<class...> class F, class L> using mp_transform_if = typename detail::mp_transform_if_impl<P, F, L>::type;
template<template<class...> class P, template<class...> class F, class... L> using mp_transform_if = typename detail::mp_transform_if_impl<P, F, L...>::type;
// mp_fill<L, V>
namespace detail