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

   1
   2 //  Copyright 2015 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
  10 #include <boost/mp11/set.hpp>
  11 #include <boost/mp11/list.hpp>
  12 #include <boost/mp11/integral.hpp>
  13 #include <boost/core/lightweight_test_trait.hpp>
  14 #include <type_traits>
  15 #include <tuple>
  16
  17 int main()
  18 {
  19     using boost::mp11::mp_list;
  20     using boost::mp11::mp_set_contains;
  21     using boost::mp11::mp_true;
  22     using boost::mp11::mp_false;
  23
  24     {
  25         using L1 = mp_list<>;
  26
  27         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_set_contains<L1, void>, mp_false>));
  28         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_set_contains<L1, int>, mp_false>));
  29
  30         using L2 = mp_list<void>;
  31
  32         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_set_contains<L2, void>, mp_true>));
  33         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_set_contains<L2, int>, mp_false>));
  34
  35         using L3 = mp_list<void, int>;
  36
  37         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_set_contains<L3, void>, mp_true>));
  38         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_set_contains<L3, int>, mp_true>));
  39         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_set_contains<L3, void const>, mp_false>));
  40
  41         using L4 = mp_list<void, int, char[]>;
  42
  43         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_set_contains<L4, void>, mp_true>));
  44         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_set_contains<L4, int>, mp_true>));
  45         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_set_contains<L4, char[]>, mp_true>));
  46         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_set_contains<L4, void const>, mp_false>));
  47     }
  48
  49     {
  50         using L1 = std::tuple<>;
  51
  52         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_set_contains<L1, void>, mp_false>));
  53         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_set_contains<L1, int>, mp_false>));
  54
  55         using L2 = std::tuple<void>;
  56
  57         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_set_contains<L2, void>, mp_true>));
  58         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_set_contains<L2, int>, mp_false>));
  59
  60         using L3 = std::tuple<void, int>;
  61
  62         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_set_contains<L3, void>, mp_true>));
  63         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_set_contains<L3, int>, mp_true>));
  64         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_set_contains<L3, void const>, mp_false>));
  65
  66         using L4 = std::tuple<void, int, char[]>;
  67
  68         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_set_contains<L4, void>, mp_true>));
  69         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_set_contains<L4, int>, mp_true>));
  70         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_set_contains<L4, char[]>, mp_true>));
  71         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_set_contains<L4, void const>, mp_false>));
  72     }
  73
  74     {
  75         using L3 = std::pair<void, int>;
  76
  77         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_set_contains<L3, void>, mp_true>));
  78         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_set_contains<L3, int>, mp_true>));
  79         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_set_contains<L3, void const>, mp_false>));
  80     }
  81
  82     return boost::report_errors();
  83 }