1
0
forked from boostorg/mp11

Use fold expressions in mp_all, mp_any

This commit is contained in:
Peter Dimov
2017-05-24 05:59:15 +03:00
parent 8e1da77904
commit e81ce26bf9

View File

@@ -91,6 +91,10 @@ template<class... T> using mp_and = typename detail::mp_and_impl<mp_list<T...>>:
template<class... T> using mp_all = mp_bool< mp_count_if< mp_list<T...>, mp_to_bool >::value == sizeof...(T) >;
#elif defined( BOOST_MP11_HAS_FOLD_EXPRESSIONS )
template<class... T> using mp_all = mp_bool<(static_cast<bool>(T::value) && ...)>;
#else
template<class... T> using mp_all = mp_and<mp_to_bool<T>...>;
@@ -128,8 +132,16 @@ template<class T1, class... T> struct mp_or_impl<T1, T...>
} // namespace detail
// mp_any<T...>
#if defined( BOOST_MP11_HAS_FOLD_EXPRESSIONS )
template<class... T> using mp_any = mp_bool<(static_cast<bool>(T::value) || ...)>;
#else
template<class... T> using mp_any = mp_bool< mp_count_if< mp_list<T...>, mp_to_bool >::value != 0 >;
#endif
// mp_same<T...>
namespace detail
{