diff --git a/include/boost/mp11/algorithm.hpp b/include/boost/mp11/algorithm.hpp index a25f48f..4cad722 100644 --- a/include/boost/mp11/algorithm.hpp +++ b/include/boost/mp11/algorithm.hpp @@ -490,15 +490,15 @@ template class L, class T1, class... T, template cl template class P> using mp_sort = typename detail::mp_sort_impl::type; -// mp_find_index +// mp_find namespace detail { -template struct mp_find_index_impl; +template struct mp_find_impl; #if !defined( BOOST_MP11_NO_CONSTEXPR ) -template class L, class V> struct mp_find_index_impl, V> +template class L, class V> struct mp_find_impl, V> { using type = mp_size_t<0>; }; @@ -508,7 +508,7 @@ constexpr std::size_t cx_find_index( bool const * first, bool const * last ) return first == last || *first? 0: 1 + cx_find_index( first + 1, last ); } -template class L, class... T, class V> struct mp_find_index_impl, V> +template class L, class... T, class V> struct mp_find_impl, V> { static constexpr bool _v[] = { std::is_same::value... }; using type = mp_size_t< cx_find_index( _v, _v + sizeof...(T) ) >; @@ -518,7 +518,7 @@ template class L, class... T, class V> struct mp_find_index_i #if defined( BOOST_MSVC ) && BOOST_WORKAROUND( BOOST_MSVC, <= 1800 ) -template class L, class... T, class V> struct mp_find_index_impl, V> +template class L, class... T, class V> struct mp_find_impl, V> { static_assert( sizeof...(T) == 0, "T... must be empty" ); using type = mp_size_t<0>; @@ -526,21 +526,21 @@ template class L, class... T, class V> struct mp_find_index_i #else -template class L, class V> struct mp_find_index_impl, V> +template class L, class V> struct mp_find_impl, V> { using type = mp_size_t<0>; }; #endif -template class L, class... T, class V> struct mp_find_index_impl, V> +template class L, class... T, class V> struct mp_find_impl, V> { using type = mp_size_t<0>; }; -template class L, class T1, class... T, class V> struct mp_find_index_impl, V> +template class L, class T1, class... T, class V> struct mp_find_impl, V> { - using _r = typename mp_find_index_impl, V>::type; + using _r = typename mp_find_impl, V>::type; using type = mp_size_t<1 + _r::value>; }; @@ -548,22 +548,22 @@ template class L, class T1, class... T, class V> struct mp_fi } // namespace detail -template using mp_find_index = typename detail::mp_find_index_impl::type; +template using mp_find = typename detail::mp_find_impl::type; -// mp_find_index_if +// mp_find_if namespace detail { -template class P> struct mp_find_index_if_impl; +template class P> struct mp_find_if_impl; #if !defined( BOOST_MP11_NO_CONSTEXPR ) -template class L, template class P> struct mp_find_index_if_impl, P> +template class L, template class P> struct mp_find_if_impl, P> { using type = mp_size_t<0>; }; -template class L, class... T, template class P> struct mp_find_index_if_impl, P> +template class L, class... T, template class P> struct mp_find_if_impl, P> { static constexpr bool _v[] = { P::value... }; using type = mp_size_t< cx_find_index( _v, _v + sizeof...(T) ) >; @@ -573,7 +573,7 @@ template class L, class... T, template class P> str #if defined( BOOST_MSVC ) && BOOST_WORKAROUND( BOOST_MSVC, <= 1800 ) -template class L, class... T, template class P> struct mp_find_index_if_impl, P> +template class L, class... T, template class P> struct mp_find_if_impl, P> { static_assert( sizeof...(T) == 0, "T... must be empty" ); using type = mp_size_t<0>; @@ -581,35 +581,29 @@ template class L, class... T, template class P> str #else -template class L, template class P> struct mp_find_index_if_impl, P> +template class L, template class P> struct mp_find_if_impl, P> { using type = mp_size_t<0>; }; #endif -template class P> struct mp_find_index_if_impl_2 +template class P> struct mp_find_if_impl_2 { - using _r = typename mp_find_index_if_impl::type; + using _r = typename mp_find_if_impl::type; using type = mp_size_t<1 + _r::value>; }; -template class L, class T1, class... T, template class P> struct mp_find_index_if_impl, P> +template class L, class T1, class... T, template class P> struct mp_find_if_impl, P> { - using type = typename mp_if, mp_identity>, mp_find_index_if_impl_2, P>>::type; + using type = typename mp_if, mp_identity>, mp_find_if_impl_2, P>>::type; }; #endif } // namespace detail -template class P> using mp_find_index_if = typename detail::mp_find_index_if_impl::type; - -// mp_find -template using mp_find = mp_drop>; - -// mp_find_if -template class P> using mp_find_if = mp_drop>; +template class P> using mp_find_if = typename detail::mp_find_if_impl::type; // mp_reverse namespace detail diff --git a/test/Jamfile.v2 b/test/Jamfile.v2 index b00e64c..2cd6766 100644 --- a/test/Jamfile.v2 +++ b/test/Jamfile.v2 @@ -48,8 +48,6 @@ run mp_remove.cpp : : : $(REQ) ; run mp_remove_if.cpp : : : $(REQ) ; run mp_partition.cpp : : : $(REQ) ; run mp_sort.cpp : : : $(REQ) ; -run mp_find_index.cpp : : : $(REQ) ; -run mp_find_index_if.cpp : : : $(REQ) ; run mp_find.cpp : : : $(REQ) ; run mp_find_if.cpp : : : $(REQ) ; run mp_reverse.cpp : : : $(REQ) ; diff --git a/test/mp_find.cpp b/test/mp_find.cpp index b9b3b2e..c9ee794 100644 --- a/test/mp_find.cpp +++ b/test/mp_find.cpp @@ -23,31 +23,40 @@ int main() { using boost::mp_list; using boost::mp_find; + using boost::mp_size_t; { using L1 = mp_list<>; - BOOST_TEST_TRAIT_TRUE((std::is_same, L1>)); + BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<0>>)); using L2 = mp_list; - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_list<>>)); - BOOST_TEST_TRAIT_TRUE((std::is_same, L2>)); - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_list>)); - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_list>)); + BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<6>>)); + BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<0>>)); + BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<1>>)); + BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<3>>)); } { using L3 = std::tuple<>; - BOOST_TEST_TRAIT_TRUE((std::is_same, L3>)); + BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<0>>)); using L4 = std::tuple; - BOOST_TEST_TRAIT_TRUE((std::is_same, std::tuple<>>)); - BOOST_TEST_TRAIT_TRUE((std::is_same, L4>)); - BOOST_TEST_TRAIT_TRUE((std::is_same, std::tuple>)); - BOOST_TEST_TRAIT_TRUE((std::is_same, std::tuple>)); + BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<6>>)); + BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<0>>)); + BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<1>>)); + BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<3>>)); + } + + { + using L5 = std::pair; + + BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<2>>)); + BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<0>>)); + BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<1>>)); } return boost::report_errors(); diff --git a/test/mp_find_if.cpp b/test/mp_find_if.cpp index 72fc9e0..2500381 100644 --- a/test/mp_find_if.cpp +++ b/test/mp_find_if.cpp @@ -21,29 +21,38 @@ int main() { using boost::mp_list; using boost::mp_find_if; + using boost::mp_size_t; { using L1 = mp_list<>; - BOOST_TEST_TRAIT_TRUE((std::is_same, L1>)); + BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<0>>)); using L2 = mp_list; - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_list<>>)); - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_list>)); - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_list>)); + BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<6>>)); + BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<1>>)); + BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<3>>)); } { using L1 = std::tuple<>; - BOOST_TEST_TRAIT_TRUE((std::is_same, L1>)); + BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<0>>)); using L2 = std::tuple; - BOOST_TEST_TRAIT_TRUE((std::is_same, std::tuple<>>)); - BOOST_TEST_TRAIT_TRUE((std::is_same, std::tuple>)); - BOOST_TEST_TRAIT_TRUE((std::is_same, std::tuple>)); + BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<6>>)); + BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<1>>)); + BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<3>>)); + } + + { + using L2 = std::pair; + + BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<2>>)); + BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<0>>)); + BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<1>>)); } return boost::report_errors(); diff --git a/test/mp_find_index.cpp b/test/mp_find_index.cpp deleted file mode 100644 index 570f641..0000000 --- a/test/mp_find_index.cpp +++ /dev/null @@ -1,63 +0,0 @@ - -// Copyright 2015 Peter Dimov. -// -// 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 -#include -#include -#include -#include -#include -#include - -struct X1 {}; -struct X2 {}; -struct X3 {}; - -int main() -{ - using boost::mp_list; - using boost::mp_find_index; - using boost::mp_size_t; - - { - using L1 = mp_list<>; - - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<0>>)); - - using L2 = mp_list; - - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<6>>)); - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<0>>)); - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<1>>)); - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<3>>)); - } - - { - using L3 = std::tuple<>; - - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<0>>)); - - using L4 = std::tuple; - - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<6>>)); - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<0>>)); - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<1>>)); - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<3>>)); - } - - { - using L5 = std::pair; - - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<2>>)); - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<0>>)); - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<1>>)); - } - - return boost::report_errors(); -} diff --git a/test/mp_find_index_if.cpp b/test/mp_find_index_if.cpp deleted file mode 100644 index 3544f0b..0000000 --- a/test/mp_find_index_if.cpp +++ /dev/null @@ -1,59 +0,0 @@ - -// Copyright 2015 Peter Dimov. -// -// 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 -#include -#include -#include -#include -#include -#include - -struct X1 {}; - -int main() -{ - using boost::mp_list; - using boost::mp_find_index_if; - using boost::mp_size_t; - - { - using L1 = mp_list<>; - - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<0>>)); - - using L2 = mp_list; - - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<6>>)); - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<1>>)); - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<3>>)); - } - - { - using L1 = std::tuple<>; - - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<0>>)); - - using L2 = std::tuple; - - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<6>>)); - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<1>>)); - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<3>>)); - } - - { - using L2 = std::pair; - - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<2>>)); - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<0>>)); - BOOST_TEST_TRAIT_TRUE((std::is_same, mp_size_t<1>>)); - } - - return boost::report_errors(); -}