ceph/src/boost/libs/mp11/test/mp_all_of.cpp

   1
   2 // Copyright 2015, 2016 Peter Dimov.
   3 //
   4 // Distributed under the Boost Software License, Version 1.0.
   5 //
   6 // See accompanying file LICENSE_1_0.txt or copy at
   7 // http://www.boost.org/LICENSE_1_0.txt
   8
   9 #include <boost/mp11/detail/config.hpp>
  10
  11 #if BOOST_MP11_MSVC
  12 # pragma warning( disable: 4503 ) // decorated name length exceeded
  13 #endif
  14
  15 #include <boost/mp11/algorithm.hpp>
  16 #include <boost/mp11/list.hpp>
  17 #include <boost/mp11/integral.hpp>
  18 #include <boost/core/lightweight_test_trait.hpp>
  19 #include <type_traits>
  20 #include <tuple>
  21 #include <utility>
  22
  23 struct X1 {};
  24
  25 int main()
  26 {
  27     using boost::mp11::mp_list;
  28     using boost::mp11::mp_all_of;
  29     using boost::mp11::mp_true;
  30     using boost::mp11::mp_false;
  31
  32     {
  33         using L1 = mp_list<>;
  34
  35         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_all_of<L1, std::is_const>, mp_true>));
  36
  37         using L2 = mp_list<X1 const, X1 const, X1 const volatile, X1 const, X1 const volatile>;
  38
  39         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_all_of<L2, std::is_volatile>, mp_false>));
  40         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_all_of<L2, std::is_const>, mp_true>));
  41     }
  42
  43     {
  44         using L1 = std::tuple<>;
  45
  46         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_all_of<L1, std::is_const>, mp_true>));
  47
  48         using L2 = std::tuple<X1 const, X1 const, X1 const volatile, X1 const, X1 const volatile>;
  49
  50         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_all_of<L2, std::is_volatile>, mp_false>));
  51         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_all_of<L2, std::is_const>, mp_true>));
  52     }
  53
  54     {
  55         using L2 = std::pair<X1 const, X1 const volatile>;
  56
  57         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_all_of<L2, std::is_volatile>, mp_false>));
  58         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_all_of<L2, std::is_const>, mp_true>));
  59     }
  60
  61     {
  62         using boost::mp11::mp_repeat_c;
  63         using boost::mp11::mp_to_bool;
  64         using boost::mp11::mp_push_back;
  65
  66         int const N = 1089;
  67
  68         using L1 = mp_repeat_c<mp_list<mp_true>, N>;
  69         using R1 = mp_all_of<L1, mp_to_bool>;
  70
  71         BOOST_TEST_TRAIT_TRUE((std::is_same<R1, mp_true>));
  72
  73         using L2 = mp_push_back<L1, mp_false>;
  74         using R2 = mp_all_of<L2, mp_to_bool>;
  75
  76         BOOST_TEST_TRAIT_TRUE((std::is_same<R2, mp_false>));
  77     }
  78
  79     return boost::report_errors();
  80 }