mp_sort.cpp 1.7 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455
  1. // Copyright 2015 Peter Dimov.
  2. //
  3. // Distributed under the Boost Software License, Version 1.0.
  4. //
  5. // See accompanying file LICENSE_1_0.txt or copy at
  6. // http://www.boost.org/LICENSE_1_0.txt
  7. #include <boost/mp11/algorithm.hpp>
  8. #include <boost/mp11/list.hpp>
  9. #include <boost/mp11/integral.hpp>
  10. #include <boost/core/lightweight_test_trait.hpp>
  11. #include <type_traits>
  12. #include <tuple>
  13. using boost::mp11::mp_bool;
  14. template<class T, class U> using sizeof_less = mp_bool<(sizeof(T) < sizeof(U))>;
  15. int main()
  16. {
  17. using boost::mp11::mp_list;
  18. using boost::mp11::mp_sort;
  19. {
  20. using L1 = mp_list<>;
  21. BOOST_TEST_TRAIT_TRUE((std::is_same<mp_sort<L1, sizeof_less>, L1>));
  22. using L2 = mp_list<char[2], char[4], char[3], char[1]>;
  23. BOOST_TEST_TRAIT_TRUE((std::is_same<mp_sort<L2, sizeof_less>, mp_list<char[1], char[2], char[3], char[4]>>));
  24. using L3 = mp_list<char[2], char[4], char[2], char[3], char[1], char[2], char[1]>;
  25. BOOST_TEST_TRAIT_TRUE((std::is_same<mp_sort<L3, sizeof_less>, mp_list<char[1], char[1], char[2], char[2], char[2], char[3], char[4]>>));
  26. }
  27. {
  28. using L1 = std::tuple<>;
  29. BOOST_TEST_TRAIT_TRUE((std::is_same<mp_sort<L1, sizeof_less>, L1>));
  30. using L2 = std::tuple<char[2], char[4], char[3], char[1]>;
  31. BOOST_TEST_TRAIT_TRUE((std::is_same<mp_sort<L2, sizeof_less>, std::tuple<char[1], char[2], char[3], char[4]>>));
  32. using L3 = std::tuple<char[2], char[4], char[2], char[3], char[1], char[2], char[1]>;
  33. BOOST_TEST_TRAIT_TRUE((std::is_same<mp_sort<L3, sizeof_less>, std::tuple<char[1], char[1], char[2], char[2], char[2], char[3], char[4]>>));
  34. }
  35. return boost::report_errors();
  36. }