mp_min_element_q.cpp 1.6 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758
  1. // Copyright 2017 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. struct Q_sizeof_less
  15. {
  16. template<class T, class U> using fn = mp_bool<(sizeof(T) < sizeof(U))>;
  17. };
  18. int main()
  19. {
  20. using boost::mp11::mp_list;
  21. using boost::mp11::mp_min_element_q;
  22. {
  23. using L1 = mp_list<void>;
  24. BOOST_TEST_TRAIT_TRUE((std::is_same<mp_min_element_q<L1, Q_sizeof_less>, void>));
  25. using L2 = mp_list<char[2], char[4], char[3], char[1]>;
  26. BOOST_TEST_TRAIT_TRUE((std::is_same<mp_min_element_q<L2, Q_sizeof_less>, char[1]>));
  27. using L3 = mp_list<char[2], char[4], char[2], char[3], char[1], char[2], char[1]>;
  28. BOOST_TEST_TRAIT_TRUE((std::is_same<mp_min_element_q<L3, Q_sizeof_less>, char[1]>));
  29. }
  30. {
  31. using L1 = std::tuple<void>;
  32. BOOST_TEST_TRAIT_TRUE((std::is_same<mp_min_element_q<L1, Q_sizeof_less>, void>));
  33. using L2 = std::tuple<char[2], char[4], char[3], char[1]>;
  34. BOOST_TEST_TRAIT_TRUE((std::is_same<mp_min_element_q<L2, Q_sizeof_less>, char[1]>));
  35. using L3 = std::tuple<char[2], char[4], char[2], char[3], char[1], char[2], char[1]>;
  36. BOOST_TEST_TRAIT_TRUE((std::is_same<mp_min_element_q<L3, Q_sizeof_less>, char[1]>));
  37. }
  38. return boost::report_errors();
  39. }