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

   1
   2 // Copyright 2019 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/function.hpp>
  11 #include <boost/core/lightweight_test_trait.hpp>
  12 #include <type_traits>
  13
  14 template<class> class X;
  15 template<class...> class Y;
  16
  17 int main()
  18 {
  19     using boost::mp11::mp_similar;
  20     using boost::mp11::mp_true;
  21     using boost::mp11::mp_false;
  22
  23     BOOST_TEST_TRAIT_TRUE((std::is_same<mp_similar<>, mp_true>));
  24     BOOST_TEST_TRAIT_TRUE((std::is_same<mp_similar<void>, mp_true>));
  25     BOOST_TEST_TRAIT_TRUE((std::is_same<mp_similar<void, void>, mp_true>));
  26     BOOST_TEST_TRAIT_TRUE((std::is_same<mp_similar<void, void, void>, mp_true>));
  27     BOOST_TEST_TRAIT_TRUE((std::is_same<mp_similar<void, void, void, void>, mp_true>));
  28     BOOST_TEST_TRAIT_TRUE((std::is_same<mp_similar<void, void, void, void, void>, mp_true>));
  29
  30     BOOST_TEST_TRAIT_TRUE((std::is_same<mp_similar<void, int>, mp_false>));
  31     BOOST_TEST_TRAIT_TRUE((std::is_same<mp_similar<void, void, int>, mp_false>));
  32     BOOST_TEST_TRAIT_TRUE((std::is_same<mp_similar<void, void, void, int>, mp_false>));
  33     BOOST_TEST_TRAIT_TRUE((std::is_same<mp_similar<void, void, void, void, int>, mp_false>));
  34
  35     BOOST_TEST_TRAIT_TRUE((std::is_same<mp_similar<X<void>>, mp_true>));
  36     BOOST_TEST_TRAIT_TRUE((std::is_same<mp_similar<X<void>, X<int>>, mp_true>));
  37     BOOST_TEST_TRAIT_TRUE((std::is_same<mp_similar<X<void>, X<int>, X<float>>, mp_true>));
  38
  39     BOOST_TEST_TRAIT_TRUE((std::is_same<mp_similar<Y<>>, mp_true>));
  40     BOOST_TEST_TRAIT_TRUE((std::is_same<mp_similar<Y<>, Y<void>>, mp_true>));
  41     BOOST_TEST_TRAIT_TRUE((std::is_same<mp_similar<Y<>, Y<void>, Y<void, void>>, mp_true>));
  42     BOOST_TEST_TRAIT_TRUE((std::is_same<mp_similar<Y<>, Y<void>, Y<void, void>, Y<void, void, void>>, mp_true>));
  43
  44     return boost::report_errors();
  45 }